Browsable Simulink/Stateflow 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/SimulinkStateFlow/extracted
Source used for this grammar: Youssef Srour, Simulink/Stateflow 1.0, SimulinkStateFlow.ecore, 2006/07/10

Summary

• Total 27 production rules with 31 top alternatives and 160 symbols.
• Vocabulary: 47 = 20 nonterminals + 0 terminals + 27 labels + 0 markers.
• Total 20 nonterminal symbols: 20 defined (Simulink, System, Connector, Line, BranchPoint, Port, Block, BlockRef, Primitive, OutPut, TriggerPort, EnablePort, Reference, Annotation, Parameter, Units, TriggerEnum, EnableEnum, String, Integer), 0 root (—), 1 top (Connector), 0 bottom (—).
• Total 27 labels: [subSystem] ², [name] ³, [simulink], [blocks], [lines] ², [block] ³, [system] ², [units], [description], [priority], [natagme], [blockType], [parameters], [annotations], [blockRefs], [deadLine], [period], [executionTime], [number], [triggerType], [statesWhenEnabling], [sourceBlock], [sourceType], [text], [value], [alpha] ³, [beta] ³.

Syntax

Simulink ::=
	[subSystem]::System+

System ::=
	[name]::String [simulink]::Simulink [blocks]::Block [lines]::Line [subSystem]::System+

Connector ::=
	BranchPoint

Connector ::=
	Port

Connector ::=
	BranchPoint
	Port

Line ::=
	[name]::String [block]::Block [system]::System

BranchPoint ::=
	ε

Port ::=
	OutPut

Port ::=
	TriggerPort

Port ::=
	EnablePort

Port ::=
	[units]::Units

Block ::=
	Primitive

Block ::=
	Reference

Block ::=
	[description]::String [name]::String [priority]::String [natagme]::String [blockType]::String [lines]::Line+ [parameters]::Parameter+ [annotations]::Annotation+ [blockRefs]::BlockRef+ [system]::System

BlockRef ::=
	ε

Primitive ::=
	[deadLine]::String [period]::String [executionTime]::String

OutPut ::=
	[number]::Integer

TriggerPort ::=
	[triggerType]::TriggerEnum

EnablePort ::=
	[statesWhenEnabling]::EnableEnum

Reference ::=
	[sourceBlock]::String [sourceType]::String

Annotation ::=
	[text]::String [block]::Block

Parameter ::=
	[value]::String [block]::Block

Units ::=
	[alpha]::ε
	[beta]::ε

TriggerEnum ::=
	[alpha]::ε
	[beta]::ε

EnableEnum ::=
	[alpha]::ε
	[beta]::ε

String ::=
	string

Integer ::=
	integer

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