Browsable SPEM 0.1 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/develop/process/spem/bruneliere1/extracted
Source used for this grammar: Hugo Brunelière, SPEM 0.1, SPEM.ecore, 2005/08/10

Summary

• Total 28 production rules with 30 top alternatives and 151 symbols.
• Vocabulary: 33 = 16 nonterminals + 2 terminals + 15 labels + 0 markers.
• Total 16 nonterminal symbols: 16 defined (Boolean, ArtifactUsageName, ProcessDefinitionElement, Guidance, ArtifactKind, WorkItem, RoleKind, Condition, ProcessComponent, Goal, Precondition, WorkDefinition, ActivityKind, Iteration, Phase, Lifecycle), 0 root (—), 0 top (—), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 15 labels: [isInput], [isOutput], [hasWorkPerArtifact], [artifactKind], [workDefinition] ³, [guidances], [processComponents], [processDefinitionElements] ², [artifactUsageNames] ⁵, [responsible], [artifactKinds], [goal] ⁴, [precondition] ⁴, [performer], [assistant].

Syntax

Boolean ::=
	"true"
	"false"

ArtifactUsageName ::=
	[isInput]::Boolean [isOutput]::Boolean [hasWorkPerArtifact]::Boolean [artifactKind]::ArtifactKind [workDefinition]::WorkDefinition

ProcessDefinitionElement ::=
	Guidance

ProcessDefinitionElement ::=
	ArtifactKind

ProcessDefinitionElement ::=
	WorkItem

ProcessDefinitionElement ::=
	RoleKind

ProcessDefinitionElement ::=
	Condition

ProcessDefinitionElement ::=
	ProcessComponent

ProcessDefinitionElement ::=
	[guidances]::Guidance+ [processComponents]::ProcessComponent+

Guidance ::=
	[processDefinitionElements]::ProcessDefinitionElement+

ArtifactKind ::=
	[artifactUsageNames]::ArtifactUsageName+ [responsible]::RoleKind

WorkItem ::=
	WorkDefinition

RoleKind ::=
	[artifactKinds]::ArtifactKind+

Condition ::=
	Goal

Condition ::=
	Precondition

Condition ::=
	Goal
	Precondition

ProcessComponent ::=
	[processDefinitionElements]::ProcessDefinitionElement+

Goal ::=
	[workDefinition]::WorkDefinition

Precondition ::=
	[workDefinition]::WorkDefinition

WorkDefinition ::=
	ActivityKind

WorkDefinition ::=
	Iteration

WorkDefinition ::=
	Phase

WorkDefinition ::=
	Lifecycle

WorkDefinition ::=
	[artifactUsageNames]::ArtifactUsageName+ [goal]::Goal [precondition]::Precondition

ActivityKind ::=
	[performer]::RoleKind+ [assistant]::RoleKind+

Iteration ::=
	[artifactUsageNames]::ArtifactUsageName+ [goal]::Goal [precondition]::Precondition

Phase ::=
	[artifactUsageNames]::ArtifactUsageName+ [goal]::Goal [precondition]::Precondition

Lifecycle ::=
	[artifactUsageNames]::ArtifactUsageName+ [goal]::Goal [precondition]::Precondition

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