Browsable Business Process Model Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/business/process/extracted
Source used for this grammar: Julien Baudry, BusinessProcessModel.ecore, 2006/07/20

Summary

• Total 45 production rules with 53 top alternatives and 177 symbols.
• Vocabulary: 40 = 29 nonterminals + 2 terminals + 9 labels + 0 markers.
• Total 29 nonterminal symbols: 29 defined (Namespace, Task, DataSet, Parameter, DataElement, ModelElement, Flow, DataFlow, ControlFlow, ControlPoint, Input, Output, OutputSet, InputSet, Exception, SimpleTask, CoumpoundTask, MutliTask, InvokerTask, TerminatorTask, ApplicationTask, Decision, Clock, SendCommunication, ReceiveCommunication, BusinessProcess, Boolean, Integer, String), 0 root (—), 6 top (Namespace, Parameter, ModelElement, Boolean, Integer, String), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 9 labels: [sink] ², [source], [containsOutput], [containsInput], [containsTask] ², [containsFlow] ², [realizes] ², [invokes], [terminates].

Syntax

Namespace ::=
	Task

Namespace ::=
	DataSet

Task ::=
	SimpleTask

Task ::=
	CoumpoundTask

DataSet ::=
	OutputSet

DataSet ::=
	InputSet

Parameter ::=
	DataElement

DataElement ::=
	Input

DataElement ::=
	Output

ModelElement ::=
	Flow

ModelElement ::=
	ControlPoint

Flow ::=
	DataFlow

Flow ::=
	ControlFlow

Flow ::=
	DataFlow
	ControlFlow

DataFlow ::=
	ε

ControlFlow ::=
	ε

ControlPoint ::=
	[sink]::ControlFlow+

Input ::=
	[sink]::DataFlow [source]::DataFlow

Output ::=
	Exception

OutputSet ::=
	[containsOutput]::Output+

InputSet ::=
	[containsInput]::Input+

Exception ::=
	ε

SimpleTask ::=
	InvokerTask

SimpleTask ::=
	TerminatorTask

SimpleTask ::=
	ApplicationTask

SimpleTask ::=
	InvokerTask
	TerminatorTask
	ApplicationTask

CoumpoundTask ::=
	MutliTask

CoumpoundTask ::=
	[containsTask]::Task+ [containsFlow]::Flow+ [realizes]::BusinessProcess

MutliTask ::=
	[containsTask]::Task+ [containsFlow]::Flow+ [realizes]::BusinessProcess

InvokerTask ::=
	[invokes]::Task+

TerminatorTask ::=
	[terminates]::Task+

ApplicationTask ::=
	Decision

ApplicationTask ::=
	Clock

ApplicationTask ::=
	SendCommunication

ApplicationTask ::=
	ReceiveCommunication

ApplicationTask ::=
	BusinessProcess

ApplicationTask ::=
	Decision
	Clock
	SendCommunication
	ReceiveCommunication
	BusinessProcess

Decision ::=
	ε

Clock ::=
	ε

SendCommunication ::=
	ε

ReceiveCommunication ::=
	ε

BusinessProcess ::=
	ε

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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