Browsable UsiXML Task Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: markup/interface/usixml/sottet/extracted
Source used for this grammar: Jean-Sébastien Sottet, UsiXML-task.ecore, 2008/11/15

Summary

• Total 12 production rules with 22 top alternatives and 106 symbols.
• Vocabulary: 46 = 10 nonterminals + 2 terminals + 34 labels + 0 markers.
• Total 10 nonterminal symbols: 10 defined (Task, Operator, BinaryOperator, UnaryOperator, FiniteInteration, BinaryType, UnaryType, Boolean, Integer, String), 0 root (—), 2 top (Operator, Boolean), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 34 labels: [id], [name], [category], [frequency], [importance], [structurationLevel], [complexityLevel], [criticity], [centrality], [terminationValue], [taskType], [taskItem], [decompositionTasks], [decomposedTask], [leftOperator], [rightOperator], [decoration], [type], [leftTask], [rightTask], [UnaryType], [decoratedTask], [interation], [Enabling], [Disabling], [SuspendResume], [OrderIndependence], [IndependentConcurrency], [ConcurencyWithInformationPassing], [UnderterministicChoice], [EnablingWithInformationPassing], [Optional], [Iteration], [finitIteration].

Syntax

Task ::=
	[id]::String [name]::String [category]::String [frequency]::Integer [importance]::Integer [structurationLevel]::Integer [complexityLevel]::Integer [criticity]::Integer [centrality]::Integer [terminationValue]::String [taskType]::String [taskItem]::String [decompositionTasks]::Task+ [decomposedTask]::Task [leftOperator]::BinaryOperator [rightOperator]::BinaryOperator [decoration]::UnaryOperator

Operator ::=
	BinaryOperator

Operator ::=
	UnaryOperator

BinaryOperator ::=
	[type]::BinaryType [leftTask]::Task [rightTask]::Task

UnaryOperator ::=
	FiniteInteration

UnaryOperator ::=
	[UnaryType]::UnaryType [decoratedTask]::Task

FiniteInteration ::=
	[interation]::Integer

BinaryType ::=
	[Enabling]::ε
	[Disabling]::ε
	[SuspendResume]::ε
	[OrderIndependence]::ε
	[IndependentConcurrency]::ε
	[ConcurencyWithInformationPassing]::ε
	[UnderterministicChoice]::ε
	[EnablingWithInformationPassing]::ε

UnaryType ::=
	[Optional]::ε
	[Iteration]::ε
	[finitIteration]::ε

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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