Browsable Statecharts Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: uml/statecharts/extracted
Source used for this grammar: Hugo Brunelière, Statecharts.ecore, 2005/08/03

Summary

• Total 13 production rules with 14 top alternatives and 91 symbols.
• Vocabulary: 34 = 11 nonterminals + 2 terminals + 21 labels + 0 markers.
• Total 11 nonterminal symbols: 11 defined (Integer, String, Boolean, BooleanExpression, StateMachine, State, CompositeState, Transition, StateVertex, Guard, Event), 0 root (—), 1 top (Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 21 labels: [value], [transitions], [top], [state_container], [internalTransitions], [deferrableEvents], [subVertexes], [isConcurrent], [transSM_container], [transS_container], [trigger], [guard], [source], [target], [sv_container], [outgoing], [incoming], [gua_container], [expression], [evt_container], [targets].

Syntax

Integer ::=
	integer

String ::=
	string

Boolean ::=
	"true"
	"false"

BooleanExpression ::=
	[value]::String

StateMachine ::=
	[transitions]::Transition+ [top]::State+

State ::=
	CompositeState

State ::=
	[state_container]::StateMachine [internalTransitions]::Transition+ [deferrableEvents]::Event+

CompositeState ::=
	[subVertexes]::StateVertex+ [isConcurrent]::Boolean

Transition ::=
	[transSM_container]::StateMachine [transS_container]::State [trigger]::Event [guard]::Guard [source]::StateVertex [target]::StateVertex

StateVertex ::=
	State

StateVertex ::=
	[sv_container]::CompositeState [outgoing]::Transition+ [incoming]::Transition+

Guard ::=
	[gua_container]::Transition [expression]::BooleanExpression

Event ::=
	[evt_container]::Transition+ [targets]::State+

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