Browsable Klaper 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/Klaper/extracted
Source used for this grammar: Youssef Srour, Klaper 1.0, Klaper.ecore, 2006/07/19

Summary

• Total 30 production rules with 35 top alternatives and 270 symbols.
• Vocabulary: 60 = 19 nonterminals + 2 terminals + 39 labels + 0 markers.
• Total 19 nonterminal symbols: 19 defined (Resource, Service, Behavior, WorkLoad, Step, Start, End, Control, InternalActivity, ServiceCall, ActualParam, Branch, Fork, Join, Acquire, Release, String, Boolean, Integer), 0 root (—), 0 top (—), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 39 labels: [name] ⁶, [type], [capacity], [schedulingPolicy], [description] ², [acquire], [release], [formalParams], [speedAttr], [failAttr], [behavior] ⁶, [behaviorUsed], [serviceCall] ⁶, [stepn], [stepb], [service], [usedService], [workLoad], [workLoadType], [arrivalProcess], [population], [initialResource], [repetition] ⁴, [internalExecTime] ⁴, [internalFailProb] ⁴, [completionModel] ⁴, [predecessor] ⁴, [successor] ⁴, [nestedBehavior] ⁴, [resourceType], [serviceName], [isSynch], [actualParam], [step], [calledService], [value], [branchProbs], [resourceUnits] ², [resource] ².

Syntax

Resource ::=
	[name]::String [type]::String [capacity]::Integer [schedulingPolicy]::String [description]::String [acquire]::Acquire [release]::Release

Service ::=
	[name]::String [formalParams]::String [speedAttr]::String [failAttr]::String [description]::String [behavior]::Behavior+ [behaviorUsed]::Behavior+ [serviceCall]::ServiceCall+

Behavior ::=
	Step

Behavior ::=
	[stepn]::Step [stepb]::Step+ [service]::Service [usedService]::Service+ [workLoad]::WorkLoad

WorkLoad ::=
	[workLoadType]::String [arrivalProcess]::String [population]::String [initialResource]::String [behavior]::Behavior

Step ::=
	Start

Step ::=
	End

Step ::=
	Control

Step ::=
	InternalActivity

Step ::=
	ServiceCall

Step ::=
	[name]::String [repetition]::String [internalExecTime]::String [internalFailProb]::String [completionModel]::String [serviceCall]::ServiceCall+ [predecessor]::Step+ [successor]::Step+ [behavior]::Behavior [nestedBehavior]::Behavior

Start ::=
	[name]::String [repetition]::String [internalExecTime]::String [internalFailProb]::String [completionModel]::String [serviceCall]::ServiceCall+ [predecessor]::Step+ [successor]::Step+ [behavior]::Behavior [nestedBehavior]::Behavior

End ::=
	[name]::String [repetition]::String [internalExecTime]::String [internalFailProb]::String [completionModel]::String [serviceCall]::ServiceCall+ [predecessor]::Step+ [successor]::Step+ [behavior]::Behavior [nestedBehavior]::Behavior

Control ::=
	Branch

Control ::=
	Fork

Control ::=
	Join

Control ::=
	Acquire

Control ::=
	Release

Control ::=
	Branch
	Fork
	Join
	Acquire
	Release

InternalActivity ::=
	[name]::String [repetition]::String [internalExecTime]::String [internalFailProb]::String [completionModel]::String [serviceCall]::ServiceCall+ [predecessor]::Step+ [successor]::Step+ [behavior]::Behavior [nestedBehavior]::Behavior

ServiceCall ::=
	[resourceType]::String [serviceName]::String [isSynch]::Boolean [actualParam]::ActualParam+ [step]::Step [calledService]::Service

ActualParam ::=
	[value]::String [serviceCall]::ServiceCall

Branch ::=
	[branchProbs]::String

Fork ::=
	ε

Join ::=
	ε

Acquire ::=
	[resourceUnits]::String [resource]::Resource

Release ::=
	[resourceUnits]::String [resource]::Resource

String ::=
	string

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

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