Browsable GAIA Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/multi-agent/gaia/simon/extracted
Source used for this grammar: Eric Simon, GAIA.ecore, 2006/07/13

Summary

• Total 24 production rules with 26 top alternatives and 155 symbols.
• Vocabulary: 48 = 20 nonterminals + 0 terminals + 28 labels + 0 markers.
• Total 20 nonterminal symbols: 20 defined (OrganizationalStructure, Organization, OrganizationalRule, SafetyRule, LivenessRule, AgentType, Service, Role, Activity, Responsibility, LivenessProperty, SafetyProperty, AssociationConnector, Permission, Resource, Environnement, Action, Communication, Protocol, String), 0 root (—), 1 top (OrganizationalStructure), 0 bottom (—).
• Total 28 labels: [organization], [collaborates] ², [interacts], [member], [observes] ², [provides], [agentType], [plays], [inputs] ², [outputs] ², [pre-conditions], [post-conditions], [activity], [communication], [responsibility], [actsOn] ², [role], [permission], [association], [name] ², [description] ², [permitted_action], [environnement], [resource], [type], [protocol], [initiator], [partner].

Syntax

OrganizationalStructure ::=
	[organization]::Organization+

Organization ::=
	[collaborates]::Organization [interacts]::Organization [member]::AgentType+ [observes]::OrganizationalRule+

OrganizationalRule ::=
	SafetyRule

OrganizationalRule ::=
	LivenessRule

OrganizationalRule ::=
	SafetyRule
	LivenessRule

SafetyRule ::=
	ε

LivenessRule ::=
	ε

AgentType ::=
	[provides]::Service+ [collaborates]::AgentType [agentType]::AgentType [plays]::Role+

Service ::=
	[inputs]::String [outputs]::String [pre-conditions]::String [post-conditions]::String

Role ::=
	[activity]::Activity+ [communication]::Communication+ [responsibility]::Responsibility+ [actsOn]::AssociationConnector

Activity ::=
	ε

Responsibility ::=
	LivenessProperty

Responsibility ::=
	SafetyProperty

Responsibility ::=
	LivenessProperty
	SafetyProperty

LivenessProperty ::=
	ε

SafetyProperty ::=
	ε

AssociationConnector ::=
	[actsOn]::Resource+ [role]::Role [permission]::Permission+

Permission ::=
	[association]::AssociationConnector

Resource ::=
	[name]::String [description]::String [permitted_action]::Action+ [environnement]::Environnement

Environnement ::=
	[resource]::Resource+

Action ::=
	[type]::String

Communication ::=
	[observes]::OrganizationalRule+ [protocol]::Protocol

Protocol ::=
	[name]::String [initiator]::String [partner]::String [inputs]::String [outputs]::String [description]::String

String ::=
	string

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