Browsable MAS Grammar

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

Summary

• Total 40 production rules with 41 top alternatives and 239 symbols.
• Vocabulary: 78 = 33 nonterminals + 0 terminals + 45 labels + 0 markers.
• Total 33 nonterminal symbols: 33 defined (String, Agent, Service, Non Functionnal Requirement, Requirement, Organization, Organizational Structure, SafetyRule, LivenessRule, CooperationRules, NCS, FIPA-Platform Agent, FIPA-Platform Task, Task, Role, Representation, Characteristic, Skill, Aptitude, Ontology, Concept, Predicat, Action, Environnement, Responsibility, LivenessProperty, SafetyProperty, Resource, Communication, AIP, Performative, Message, Scenario), 0 root (—), 0 top (—), 0 bottom (—).
• Total 45 labels: [service], [non_Functionnal_Requirement], [requirement], [belongs], [cooperationRules] ², [fipa_Platform_Agent], [role], [representation], [characteristic], [skill], [aptitude], [inputs], [outputs], [pre-conditions], [post-conditions], [observes], [organizational_Structure], [organization], [ncs], [agentF], [fipa_Platform_Task], [fipa_Platform_AgentF], [task], [name] ⁴, [fipa_Platform_TaskT], [agentR], [activity], [actsOn], [scenario] ², [participant], [has], [agentRep], [ontology], [environnement] ⁶, [agentC], [agentS], [agentA], [resource], [action], [Exchanged Knoledge], [aip] ², [message], [performative], [communication], [Comm_Act].

Syntax

String ::=
	string

Agent ::=
	[service]::Service+ [non_Functionnal_Requirement]::Non Functionnal Requirement+ [requirement]::Requirement+ [belongs]::Organization [cooperationRules]::CooperationRules+ [fipa_Platform_Agent]::FIPA-Platform Agent [role]::Role [representation]::Representation [characteristic]::Characteristic [skill]::Skill [aptitude]::Aptitude

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

Non Functionnal Requirement ::=
	ε

Requirement ::=
	ε

Organization ::=
	[observes]::Organizational Structure+ [organizational_Structure]::Organizational Structure

Organizational Structure ::=
	SafetyRule

Organizational Structure ::=
	LivenessRule

Organizational Structure ::=
	[organization]::Organization+

SafetyRule ::=
	ε

LivenessRule ::=
	ε

CooperationRules ::=
	[ncs]::NCS

NCS ::=
	[cooperationRules]::CooperationRules

FIPA-Platform Agent ::=
	[agentF]::Agent [fipa_Platform_Task]::FIPA-Platform Task+

FIPA-Platform Task ::=
	[fipa_Platform_AgentF]::FIPA-Platform Agent [task]::Task

Task ::=
	[name]::String [fipa_Platform_TaskT]::FIPA-Platform Task

Role ::=
	[agentR]::Agent [activity]::Task+ [actsOn]::Resource+ [scenario]::Scenario+ [participant]::Communication+ [has]::Responsibility+

Representation ::=
	[agentRep]::Agent [ontology]::Ontology [environnement]::Environnement

Characteristic ::=
	[agentC]::Agent

Skill ::=
	[agentS]::Agent

Aptitude ::=
	[agentA]::Agent

Ontology ::=
	Concept

Ontology ::=
	Predicat

Ontology ::=
	Action

Ontology ::=
	[environnement]::Environnement

Concept ::=
	[environnement]::Environnement

Predicat ::=
	[environnement]::Environnement

Action ::=
	[environnement]::Environnement

Environnement ::=
	[resource]::Resource

Responsibility ::=
	LivenessProperty

Responsibility ::=
	SafetyProperty

Responsibility ::=
	LivenessProperty
	SafetyProperty

LivenessProperty ::=
	ε

SafetyProperty ::=
	ε

Resource ::=
	[name]::String [environnement]::Environnement [action]::Action

Communication ::=
	[name]::String [Exchanged Knoledge]::Ontology [scenario]::Scenario+ [aip]::AIP [message]::Message+

AIP ::=
	[name]::String [performative]::Performative

Performative ::=
	[aip]::AIP

Message ::=
	[communication]::Communication [Comm_Act]::Performative

Scenario ::=
	ε

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