Browsable Unified Enterprise Modelling Language (UEML) Grammar

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

Summary

• Total 54 production rules with 59 top alternatives and 241 symbols.
• Vocabulary: 53 = 29 nonterminals + 0 terminals + 24 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, PassiveObject, Commitment, Contract, Agent, Software, Organisation), 0 root (—), 0 top (—), 0 bottom (—).
• Total 24 labels: [has], [model], [contains], [object], [associationConnector], [resourceRole], [child], [parent], [hasOutput], [hasInput], [ioFlow], [controlFlow], [carries] ⁵, [plays], [commitment], [resourceCarries], [resourcePlays], [roleQualifier], [in], [target] ³, [origin] ³, [activity] ², [classAssociation], [resource].

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 ::=
	[resourceRole]::ResourceRole+ [child]::Activity+ [parent]::Activity [hasOutput]::OutputPort+ [hasInput]::InputPort+

Object ::=
	InformationObject

Object ::=
	Resource

Object ::=
	[ioFlow]::IOFlow

InformationObject ::=
	[controlFlow]::ControlFlow

Resource ::=
	PassiveObject

Resource ::=
	Agent

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

MaterialResource ::=
	ε

HumanResource ::=
	ε

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 ::=
	[activity]::Activity

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

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

PassiveObject ::=
	MaterialResource

PassiveObject ::=
	Commitment

PassiveObject ::=
	Contract

PassiveObject ::=
	MaterialResource
	Commitment
	Contract

Commitment ::=
	[resource]::Resource+

Contract ::=
	ε

Agent ::=
	HumanResource

Agent ::=
	Software

Agent ::=
	Organisation

Agent ::=
	HumanResource
	Software
	Organisation

Software ::=
	ε

Organisation ::=
	ε

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