Browsable ACME Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/architecture/acme/baudry/extracted
Source used for this grammar: Julien Baudry, ACME.ecore, 2006/05/21

Summary

• Total 27 production rules with 28 top alternatives and 150 symbols.
• Vocabulary: 43 = 19 nonterminals + 2 terminals + 22 labels + 0 markers.
• Total 19 nonterminal symbols: 19 defined (ACMEFile, ACMEEntry, Element, Type, System, Representation, Component, ComponentInstance, ComponentType, Port, Connector, Role, Property, Link, Attachment, Binding, Boolean, Integer, String), 0 root (—), 4 top (ACMEFile, Element, Boolean, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 22 labels: [entries], [name] ⁴, [representations] ³, [property] ³, [componentDeclaration], [connectorDeclaration], [attachments], [bindings], [systems], [instanceOf], [extend], [roles], [system], [val], [comp], [port], [con], [role], [compSrc], [portSrc], [compDest], [portDest].

Syntax

ACMEFile ::=
	[entries]::ACMEEntry+

ACMEEntry ::=
	System

ACMEEntry ::=
	ComponentType

Element ::=
	Type

Element ::=
	Component

Element ::=
	Port

Element ::=
	Connector

Element ::=
	Role

Element ::=
	System

Type ::=
	[name]::String [representations]::Representation+ [property]::Property+

System ::=
	[componentDeclaration]::ComponentInstance+ [connectorDeclaration]::Connector+ [attachments]::Link+ [bindings]::Link+

Representation ::=
	[systems]::System+

Component ::=
	ComponentInstance

Component ::=
	ComponentType

ComponentInstance ::=
	[instanceOf]::String

ComponentType ::=
	[extend]::String

Port ::=
	[name]::String [representations]::Representation+ [property]::Property+

Connector ::=
	[roles]::Role+ [system]::System

Role ::=
	[name]::String [representations]::Representation+ [property]::Property+

Property ::=
	[name]::String [val]::String

Link ::=
	Attachment

Link ::=
	Binding

Attachment ::=
	[comp]::String [port]::String [con]::String [role]::String

Binding ::=
	[compSrc]::String [portSrc]::String [compDest]::String [portDest]::String

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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