Browsable QoS Characteristic Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: toy/qos/characteristic/extracted
Source used for this grammar: Julien Baudry, QoS Characteristic, QoS_Characteristic.ecore, 2006/07/10

Summary

• Total 19 production rules with 20 top alternatives and 89 symbols.
• Vocabulary: 29 = 15 nonterminals + 2 terminals + 12 labels + 0 markers.
• Total 15 nonterminal symbols: 15 defined (QoSCharacteristic, BooleanExpression, MappingExpression, StatisticalAttributekindKind, Parameter, DataType, Domain, DirectionKind, Numeric, Set, Enumeration, StringSet, Boolean, Integer, String), 0 root (—), 4 top (QoSCharacteristic, DataType, Boolean, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 12 labels: [invariant], [parallel_and_composition], [parallel_or_composition], [sequential_composition], [values], [statisticalAttribute], [parameter], [domain], [value] ³, [direction] ³, [stringSet], [string].

Syntax

QoSCharacteristic ::=
	[invariant]::BooleanExpression [parallel_and_composition]::MappingExpression [parallel_or_composition]::MappingExpression [sequential_composition]::MappingExpression [values]::MappingExpression [statisticalAttribute]::StatisticalAttributekindKind+ [parameter]::Parameter [domain]::Domain

BooleanExpression ::=
	[value]::String

MappingExpression ::=
	[value]::String

StatisticalAttributekindKind ::=
	ε

Parameter ::=
	ε

DataType ::=
	Domain

DataType ::=
	Domain

Domain ::=
	Numeric

Domain ::=
	Set

Domain ::=
	Enumeration

Domain ::=
	[direction]::DirectionKind

DirectionKind ::=
	[value]::String

Numeric ::=
	[direction]::DirectionKind

Set ::=
	[stringSet]::StringSet+

Enumeration ::=
	[direction]::DirectionKind

StringSet ::=
	[string]::String+

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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