Browsable WfMC 0.1 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/business/wfmc/bruneliere/extracted
Source used for this grammar: Hugo Brunelière, WfMC 0.1, WfMC.ecore, 2005/08/09

Summary

• Total 7 production rules with 7 top alternatives and 90 symbols.
• Vocabulary: 18 = 7 nonterminals + 0 terminals + 11 labels + 0 markers.
• Total 7 nonterminal symbols: 7 defined (WorkflowProcessDefinition, WorkflowApplicationDeclaration, WorkflowRelevantData, WorkflowParticipantSpecification, WorkflowProcessActivity, TransitionInformation, String), 0 root (—), 1 top (String), 0 bottom (—).
• Total 11 labels: [participantSpecificatons], [revelantDatas] ⁵, [applicationDeclarations] ³, [processActivities] ⁴, [transitionInformations] ², [processDefinition] ⁵, [participantSpecifications] ², [to_transitionInformation], [from_transitionInformation], [to_processActivity], [from_processActivity].

Syntax

WorkflowProcessDefinition ::=
	[participantSpecificatons]::WorkflowParticipantSpecification+ [revelantDatas]::WorkflowRelevantData+ [applicationDeclarations]::WorkflowApplicationDeclaration+ [processActivities]::WorkflowProcessActivity+ [transitionInformations]::TransitionInformation+

WorkflowApplicationDeclaration ::=
	[processDefinition]::WorkflowProcessDefinition [processActivities]::WorkflowProcessActivity+ [revelantDatas]::WorkflowRelevantData+

WorkflowRelevantData ::=
	[processDefinition]::WorkflowProcessDefinition [applicationDeclarations]::WorkflowApplicationDeclaration+ [processActivities]::WorkflowProcessActivity+ [participantSpecifications]::WorkflowParticipantSpecification+ [transitionInformations]::TransitionInformation+

WorkflowParticipantSpecification ::=
	[processDefinition]::WorkflowProcessDefinition [revelantDatas]::WorkflowRelevantData+ [processActivities]::WorkflowProcessActivity+

WorkflowProcessActivity ::=
	[processDefinition]::WorkflowProcessDefinition [applicationDeclarations]::WorkflowApplicationDeclaration+ [revelantDatas]::WorkflowRelevantData+ [participantSpecifications]::WorkflowParticipantSpecification+ [to_transitionInformation]::TransitionInformation [from_transitionInformation]::TransitionInformation

TransitionInformation ::=
	[processDefinition]::WorkflowProcessDefinition [revelantDatas]::WorkflowRelevantData+ [to_processActivity]::WorkflowProcessActivity [from_processActivity]::WorkflowProcessActivity

String ::=
	string

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