Browsable Quality of Service Grammar

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

Summary

• Total 35 production rules with 36 top alternatives and 189 symbols.
• Vocabulary: 55 = 27 nonterminals + 2 terminals + 26 labels + 0 markers.
• Total 27 nonterminal symbols: 27 defined (Boolean, Integer, String, QoSComponent, QoSProfile, QoSContraints, Operation, CompoundProfile, SimpleProfile, ProfileTransition, QoSStatement, SingleQoSStatement, CoumpoundQoSStatement, QoSContraint, QualificationKind, QoSCharacteristic, BooleanExpression, MappingExpression, StatisticalAttributekindKind, Parameter, DataType, Domain, DirectionKind, Numeric, Set, Enumeration, StringSet), 0 root (—), 5 top (Boolean, Integer, QoSComponent, QoSCharacteristic, DataType), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 26 labels: [profile], [operations] ², [invariant] ², [parallel_and_composition] ², [parallel_or_composition] ², [sequential_composition] ², [values] ², [statisticalAttribute] ², [parameter] ³, [domain] ², [profileTransition], [simpleProfile], [compoundProfile] ², [use], [provides], [from], [to], [contraints], [relation], [contraint], [statement], [qualification], [value] ⁴, [direction] ³, [stringSet], [string].

Syntax

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

QoSComponent ::=
	[profile]::QoSProfile+ [operations]::Operation

QoSProfile ::=
	CompoundProfile

QoSProfile ::=
	SimpleProfile

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

Operation ::=
	ε

CompoundProfile ::=
	[profileTransition]::ProfileTransition+ [simpleProfile]::SimpleProfile+

SimpleProfile ::=
	[compoundProfile]::CompoundProfile [use]::QoSStatement [provides]::QoSStatement

ProfileTransition ::=
	[operations]::Operation+ [from]::SimpleProfile [to]::SimpleProfile [compoundProfile]::CompoundProfile

QoSStatement ::=
	SingleQoSStatement

QoSStatement ::=
	CoumpoundQoSStatement

QoSStatement ::=
	[contraints]::QoSContraints+ [relation]::CoumpoundQoSStatement [parameter]::Parameter+

SingleQoSStatement ::=
	[contraint]::QoSContraint

CoumpoundQoSStatement ::=
	[statement]::QoSStatement

QoSContraint ::=
	[qualification]::QualificationKind

QualificationKind ::=
	[value]::String

QoSCharacteristic ::=
	QoSContraints

QoSCharacteristic ::=
	QualificationKind

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

Domain ::=
	Numeric

Domain ::=
	Set

Domain ::=
	Enumeration

Domain ::=
	[direction]::DirectionKind

DirectionKind ::=
	[value]::String

Numeric ::=
	[direction]::DirectionKind

Set ::=
	[stringSet]::StringSet+

Enumeration ::=
	[direction]::DirectionKind

StringSet ::=
	[string]::String+

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