Browsable ebXML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/business/ebxml/bruneliere/extracted
Source used for this grammar: Hugo Brunelière, ebXML (Electronic Business using eXtensible Markup Language) 0.1, ebXML.ecore, 2005/08/03

Summary

• Total 35 production rules with 36 top alternatives and 244 symbols.
• Vocabulary: 73 = 26 nonterminals + 2 terminals + 45 labels + 0 markers.
• Total 26 nonterminal symbols: 26 defined (MultyPartyCollaboration, BusinessPartnerRole, Performs, AuthorizedRole, Transaction, BinaryCollaboration, BusinessState, Start, Fork, Join, CompletionState, Failure, Success, BusinessActivity, BusinessTransactionActivity, CollaborationActivity, BusinessTransaction, BusinessAction, RequestingBusinessActivity, RespondingBusinessActivity, DocumentSecurity, DocumentEnvelope, Attachment, BusinessDocument, Boolean, String), 0 root (—), 2 top (BusinessAction, DocumentSecurity), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 45 labels: [partners], [collaboration] ⁴, [transition], [performers] ², [performedBy], [role], [isInitiator], [onInitiation], [conditionGuard], [conditionExpression] ², [from] ³, [to] ³, [pattern] ², [timeToPerform] ², [preCondition] ², [postCondition] ², [beginsWhen] ², [endsWhen] ², [roles], [transitions], [states], [waitForAll], [guardCondition] ³, [isConcurrent], [isLegallyBinding], [use] ², [isGuaranteedDeliveryRequired], [requester], [responder], [timeToAcknowledgeAcceptance], [transaction] ², [documentEnvelope] ², [isPositiveResponse], [requesting], [responding], [attachements], [document] ², [mimeType], [specification], [version], [envelope], [specificationLocation], [specificationElement], [envelopes], [attachments].

Syntax

MultyPartyCollaboration ::=
	[partners]::BusinessPartnerRole+

BusinessPartnerRole ::=
	[collaboration]::MultyPartyCollaboration [transition]::Transaction [performers]::Performs+

Performs ::=
	[performedBy]::BusinessPartnerRole [collaboration]::BinaryCollaboration [role]::AuthorizedRole

AuthorizedRole ::=
	[isInitiator]::Boolean [performers]::Performs+

Transaction ::=
	[onInitiation]::String [conditionGuard]::String [conditionExpression]::String [from]::BusinessState [to]::BusinessState

BinaryCollaboration ::=
	[pattern]::String [timeToPerform]::String [preCondition]::String [postCondition]::String [beginsWhen]::String [endsWhen]::String [roles]::Performs+ [transitions]::Transaction+ [states]::BusinessState+

BusinessState ::=
	Start

BusinessState ::=
	Fork

BusinessState ::=
	Join

BusinessState ::=
	CompletionState

BusinessState ::=
	BusinessActivity

Start ::=
	[collaboration]::BinaryCollaboration [from]::AuthorizedRole [to]::AuthorizedRole

Fork ::=
	[waitForAll]::String

Join ::=
	[collaboration]::BinaryCollaboration [from]::AuthorizedRole [to]::AuthorizedRole

CompletionState ::=
	Failure

CompletionState ::=
	Success

CompletionState ::=
	[guardCondition]::String

Failure ::=
	[guardCondition]::String

Success ::=
	[guardCondition]::String

BusinessActivity ::=
	BusinessTransactionActivity

BusinessActivity ::=
	CollaborationActivity

BusinessTransactionActivity ::=
	[timeToPerform]::String [isConcurrent]::Boolean [isLegallyBinding]::Boolean [use]::BusinessTransaction

CollaborationActivity ::=
	[use]::BinaryCollaboration

BusinessTransaction ::=
	[pattern]::String [isGuaranteedDeliveryRequired]::Boolean [preCondition]::String [postCondition]::String [beginsWhen]::String [endsWhen]::String [requester]::RequestingBusinessActivity [responder]::RespondingBusinessActivity

BusinessAction ::=
	RequestingBusinessActivity

BusinessAction ::=
	RespondingBusinessActivity

RequestingBusinessActivity ::=
	[timeToAcknowledgeAcceptance]::String [transaction]::BusinessTransaction [documentEnvelope]::DocumentEnvelope

RespondingBusinessActivity ::=
	[transaction]::BusinessTransaction [documentEnvelope]::DocumentEnvelope

DocumentSecurity ::=
	DocumentEnvelope

DocumentSecurity ::=
	Attachment

DocumentEnvelope ::=
	[isPositiveResponse]::Boolean [requesting]::RequestingBusinessActivity [responding]::RespondingBusinessActivity [attachements]::Attachment+ [document]::BusinessDocument

Attachment ::=
	[mimeType]::String [specification]::String [version]::String [envelope]::DocumentEnvelope [document]::BusinessDocument

BusinessDocument ::=
	[specificationLocation]::String [specificationElement]::String [conditionExpression]::String [envelopes]::DocumentEnvelope+ [attachments]::Attachment+

Boolean ::=
	"true"
	"false"

String ::=
	string

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