Browsable ebXML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: markup/textual/r2ml/giurca-milanovic/extracted
Source used for this grammar: Adrian Giurca, Milan Milanovic, R2ML (REWERSE I1 Rule Markup Language) language metamodel 4.0, R2ML.ecore, 2006/12/15 [Atlantic]

Summary

• Total 17 production rules with 33 top alternatives and 110 symbols.
• Vocabulary: 46 = 20 nonterminals + 2 terminals + 24 labels + 0 markers.
• Total 20 nonterminal symbols: 14 defined (CollectionTypes, PredicateCategory, ExternalVocabularyLanguage, PredicateType, ReactionRuleSet, ProductionRuleSet, EventType, RuleSet, RuleBase, IntegrityRuleSet, DerivationRuleSet, Integer, Boolean, String), 0 root (—), 8 top (CollectionTypes, PredicateCategory, ExternalVocabularyLanguage, PredicateType, EventType, RuleBase, Integer, Boolean), 6 bottom (Rules/ReactionRule, Rules/IntegrityRule, Rules/ProductionRule, Vocabulary/VocBuiltin/ExternalVocabulary, Rules/DerivationRule, Vocabulary/VocBasic/Vocabulary).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 24 labels: [individual], [set], [orderedSet], [bag], [sequence], [closed], [open], [partial], [RDFS], [UML], [OWL], [ObjectClassificationPredicate], [AttributionPredicate], [AssociationPredicate], [ReferencePropertyPredicate], [EqualityPredicate], [InequalityPredicate], [DatatypePredicate], [DataClassificationPredicate], [rules] ⁵, [eventTypeID], [vocabularies], [externalVocabulaires], [ruleBaseID].

Syntax

CollectionTypes ::=
	[individual]::ε
	[set]::ε
	[orderedSet]::ε
	[bag]::ε
	[sequence]::ε

PredicateCategory ::=
	[closed]::ε
	[open]::ε
	[partial]::ε

ExternalVocabularyLanguage ::=
	[RDFS]::ε
	[UML]::ε
	[OWL]::ε

PredicateType ::=
	[ObjectClassificationPredicate]::ε
	[AttributionPredicate]::ε
	[AssociationPredicate]::ε
	[ReferencePropertyPredicate]::ε
	[EqualityPredicate]::ε
	[InequalityPredicate]::ε
	[DatatypePredicate]::ε
	[DataClassificationPredicate]::ε

ReactionRuleSet ::=
	[rules]::Rules/ReactionRule+

ProductionRuleSet ::=
	[rules]::Rules/ProductionRule+

EventType ::=
	[eventTypeID]::String

RuleSet ::=
	ReactionRuleSet

RuleSet ::=
	ProductionRuleSet

RuleSet ::=
	IntegrityRuleSet

RuleSet ::=
	DerivationRuleSet

RuleBase ::=
	[vocabularies]::Vocabulary/VocBasic/Vocabulary [externalVocabulaires]::Vocabulary/VocBuiltin/ExternalVocabulary+ [rules]::RuleSet+ [ruleBaseID]::String

IntegrityRuleSet ::=
	[rules]::Rules/IntegrityRule+

DerivationRuleSet ::=
	[rules]::Rules/DerivationRule+

Integer ::=
	integer

Boolean ::=
	"true"
	"false"

String ::=
	string

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