Browsable Collaborations and Interactions Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: uml/collab/extracted
Source used for this grammar: Julien Baudry, Collaborations and Interactions in UML Metamodel, Collaborations_Interactions_UML.ecore, 2006/07/10

Summary

• Total 18 production rules with 19 top alternatives and 127 symbols.
• Vocabulary: 42 = 16 nonterminals + 2 terminals + 24 labels + 0 markers.
• Total 16 nonterminal symbols: 16 defined (Package, ProviderClause, CollaborationPackage, Collaboration, InteractionPackage, Interaction, AssociationRole, ClassifierRole, AssociationEndRole, Message, Request, Operation, Interface, Boolean, Integer, String), 0 root (—), 3 top (Boolean, Integer, String), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 24 labels: [ownedEltColl] ², [ownedEltInt] ², [ownedElt] ², [interaction] ², [ownedEltAss], [ownedEltClass], [providerClause], [context], [message] ³, [connection], [associationEndRole], [receiverMess], [senderMess], [availableFeature], [base], [associationRole], [type], [activator], [receiver], [sender], [specification], [classifierRole] ², [owner], [feature].

Syntax

Package ::=
	[ownedEltColl]::CollaborationPackage [ownedEltInt]::InteractionPackage+

ProviderClause ::=
	Package

ProviderClause ::=
	[ownedEltColl]::CollaborationPackage [ownedEltInt]::InteractionPackage+

CollaborationPackage ::=
	[ownedElt]::Collaboration

Collaboration ::=
	[interaction]::Interaction+ [ownedEltAss]::AssociationRole [ownedEltClass]::ClassifierRole

InteractionPackage ::=
	[providerClause]::ProviderClause [ownedElt]::Interaction

Interaction ::=
	[context]::Collaboration [message]::Message+

AssociationRole ::=
	[connection]::AssociationEndRole

ClassifierRole ::=
	[associationEndRole]::AssociationEndRole+ [receiverMess]::Message [senderMess]::Message [availableFeature]::Operation+ [base]::Interface

AssociationEndRole ::=
	[associationRole]::AssociationRole [type]::ClassifierRole

Message ::=
	[message]::Message+ [activator]::Message [interaction]::Interaction+ [receiver]::ClassifierRole [sender]::ClassifierRole [specification]::Request

Request ::=
	Operation

Request ::=
	[message]::Message+

Operation ::=
	[classifierRole]::ClassifierRole+ [owner]::Interface

Interface ::=
	[classifierRole]::ClassifierRole+ [feature]::Operation+

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]