Browsable Sync Charts Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/SyncCharts/extracted
Source used for this grammar: Julien Baudry, Sync Charts, SyncCharts.ecore, 2006/07/10

Summary

• Total 24 production rules with 25 top alternatives and 106 symbols.
• Vocabulary: 32 = 18 nonterminals + 2 terminals + 12 labels + 0 markers.
• Total 18 nonterminal symbols: 18 defined (ModelElement, SyncChart, ReferenceState, Arc, Vertex, PseudoState, PseudoStateKind, State, SimpleState, CompositeState, Stg, Transition, TransitionKind, PseudoTransition, PseudoTransitionKind, Boolean, Integer, String), 0 root (—), 2 top (Integer, String), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 12 labels: [context], [referenceState] ², [subSyncChart], [containers], [kind] ³, [isFinal] ², [canTerminate], [isSuspendable], [stg], [withFinal], [compositeState], [arc].

Syntax

ModelElement ::=
	Arc

ModelElement ::=
	Vertex

SyncChart ::=
	[context]::ModelElement [referenceState]::ReferenceState+

ReferenceState ::=
	CompositeState

ReferenceState ::=
	[subSyncChart]::SyncChart [containers]::Stg

Arc ::=
	Transition

Arc ::=
	PseudoTransition

Vertex ::=
	PseudoState

Vertex ::=
	State

PseudoState ::=
	[kind]::PseudoStateKind

PseudoStateKind ::=
	ε

State ::=
	SimpleState

State ::=
	CompositeState

State ::=
	[isFinal]::Boolean

SimpleState ::=
	[isFinal]::Boolean

CompositeState ::=
	[canTerminate]::Boolean [isSuspendable]::Boolean [stg]::Stg+

Stg ::=
	[withFinal]::Boolean [compositeState]::CompositeState [arc]::Arc+ [referenceState]::ReferenceState+

Transition ::=
	[kind]::TransitionKind

TransitionKind ::=
	ε

PseudoTransition ::=
	[kind]::PseudoTransitionKind

PseudoTransitionKind ::=
	ε

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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