Browsable Unified Enterprise Modelling Language (UEML) Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/ueml/social/extracted
Source used for this grammar: SIMON Eric, UEML extension Capturing social effects 1.0, UEMLExtensionCapturingSocialEffects.ecore, 2006/07/18

Summary

• Total 52 production rules with 53 top alternatives and 262 symbols.
• Vocabulary: 62 = 29 nonterminals + 0 terminals + 33 labels + 0 markers.
• Total 29 nonterminal symbols: 29 defined (UEMLObject, UEMLModel, Geometry, Port, Flow, Activity, Object, InformationObject, Resource, MaterialResource, HumanResource, ResourceFlow, IOFlow, ControlFlow, TriggerFlow, ConstraintFlow, ResourceRole, RoleType, Anchor, OutputPort, InputPort, ConnectionOperator, AssociationConnector, Process, Service, Agent, Contract, Task, Commitment), 0 root (—), 0 top (—), 0 bottom (—).
• Total 33 labels: [has], [model], [contains], [object], [associationConnector], [resourceRole], [parent], [hasOutput], [ioFlow], [controlFlow], [carries] ⁷, [plays] ³, [resourceCarries], [resourcePlays], [roleQualifier], [in], [target] ⁴, [origin] ⁴, [activity], [classAssociation], [child], [fulfills] ², [realises], [process] ², [obliger], [claimer], [has_parties], [agent], [collection_of], [task], [agentO], [agentC], [contract].

Syntax

UEMLObject ::=
	UEMLModel

UEMLObject ::=
	Port

UEMLObject ::=
	Flow

UEMLObject ::=
	Activity

UEMLObject ::=
	Object

UEMLObject ::=
	[has]::Geometry [model]::UEMLModel

UEMLModel ::=
	[contains]::UEMLObject+

Geometry ::=
	[object]::UEMLObject

Port ::=
	ResourceRole

Port ::=
	Anchor

Port ::=
	ResourceRole
	Anchor

Flow ::=
	ResourceFlow

Flow ::=
	IOFlow

Flow ::=
	ControlFlow

Flow ::=
	[associationConnector]::AssociationConnector

Activity ::=
	Process

Activity ::=
	Task

Activity ::=
	[resourceRole]::ResourceRole+ [parent]::Process [hasOutput]::OutputPort

Object ::=
	InformationObject

Object ::=
	Resource

Object ::=
	[ioFlow]::IOFlow

InformationObject ::=
	[controlFlow]::ControlFlow

Resource ::=
	MaterialResource

Resource ::=
	HumanResource

Resource ::=
	Service

Resource ::=
	Agent

Resource ::=
	[carries]::ResourceFlow [plays]::ResourceRole+

MaterialResource ::=
	[carries]::ResourceFlow [plays]::ResourceRole+

HumanResource ::=
	[carries]::ResourceFlow [plays]::ResourceRole+

ResourceFlow ::=
	[resourceCarries]::Resource+

IOFlow ::=
	[carries]::Object+

ControlFlow ::=
	TriggerFlow

ControlFlow ::=
	ConstraintFlow

ControlFlow ::=
	[carries]::InformationObject+

TriggerFlow ::=
	[carries]::InformationObject+

ConstraintFlow ::=
	[carries]::InformationObject+

ResourceRole ::=
	[resourcePlays]::Resource+ [roleQualifier]::RoleType [in]::Activity

RoleType ::=
	ε

Anchor ::=
	OutputPort

Anchor ::=
	InputPort

Anchor ::=
	ConnectionOperator

Anchor ::=
	[target]::AssociationConnector [origin]::AssociationConnector

OutputPort ::=
	[activity]::Activity

InputPort ::=
	[target]::AssociationConnector [origin]::AssociationConnector

ConnectionOperator ::=
	[target]::AssociationConnector [origin]::AssociationConnector

AssociationConnector ::=
	[origin]::Anchor+ [target]::Anchor+ [classAssociation]::Flow

Process ::=
	[child]::Activity [fulfills]::Contract+ [realises]::Service

Service ::=
	[process]::Process

Agent ::=
	[obliger]::Commitment [claimer]::Commitment [has_parties]::Contract

Contract ::=
	[process]::Process+ [agent]::Agent [collection_of]::Commitment+

Task ::=
	[fulfills]::Commitment+

Commitment ::=
	[task]::Task [agentO]::Agent [agentC]::Agent [contract]::Contract

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