Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 14.2 KB
<?xml version="1.0" encoding="UTF-8"?>
<bgf:grammar xmlns:bgf="http://planet-sl.org/bgf" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"><bgf:production><nonterminal>String</nonterminal><bgf:expression><value>string</value></bgf:expression></bgf:production><bgf:production><nonterminal>Agent</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>service</selector><bgf:expression><nonterminal>Service</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>non_Functionnal_Requirement</selector><bgf:expression><nonterminal>Non Functionnal Requirement</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>requirement</selector><bgf:expression><nonterminal>Requirement</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>belongs</selector><bgf:expression><nonterminal>Organization</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>cooperationRules</selector><bgf:expression><nonterminal>CooperationRules</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>fipa_Platform_Agent</selector><bgf:expression><nonterminal>FIPA-Platform Agent</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>role</selector><bgf:expression><nonterminal>Role</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>representation</selector><bgf:expression><nonterminal>Representation</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>characteristic</selector><bgf:expression><nonterminal>Characteristic</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>skill</selector><bgf:expression><nonterminal>Skill</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>aptitude</selector><bgf:expression><nonterminal>Aptitude</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Service</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>inputs</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>outputs</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>pre-conditions</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>post-conditions</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Non Functionnal Requirement</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>Requirement</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>Organization</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>observes</selector><bgf:expression><nonterminal>Organizational Structure</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>organizational_Structure</selector><bgf:expression><nonterminal>Organizational Structure</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Organizational Structure</nonterminal><bgf:expression><nonterminal>SafetyRule</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Organizational Structure</nonterminal><bgf:expression><nonterminal>LivenessRule</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Organizational Structure</nonterminal><bgf:expression><plus><bgf:expression><selectable><selector>organization</selector><bgf:expression><nonterminal>Organization</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></bgf:production><bgf:production><nonterminal>SafetyRule</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>LivenessRule</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>CooperationRules</nonterminal><bgf:expression><selectable><selector>ncs</selector><bgf:expression><nonterminal>NCS</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>NCS</nonterminal><bgf:expression><selectable><selector>cooperationRules</selector><bgf:expression><nonterminal>CooperationRules</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>FIPA-Platform Agent</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>agentF</selector><bgf:expression><nonterminal>Agent</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>fipa_Platform_Task</selector><bgf:expression><nonterminal>FIPA-Platform Task</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>FIPA-Platform Task</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>fipa_Platform_AgentF</selector><bgf:expression><nonterminal>FIPA-Platform Agent</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>task</selector><bgf:expression><nonterminal>Task</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Task</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>fipa_Platform_TaskT</selector><bgf:expression><nonterminal>FIPA-Platform Task</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Role</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>agentR</selector><bgf:expression><nonterminal>Agent</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>activity</selector><bgf:expression><nonterminal>Task</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>actsOn</selector><bgf:expression><nonterminal>Resource</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>scenario</selector><bgf:expression><nonterminal>Scenario</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>participant</selector><bgf:expression><nonterminal>Communication</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>has</selector><bgf:expression><nonterminal>Responsibility</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Representation</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>agentRep</selector><bgf:expression><nonterminal>Agent</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>ontology</selector><bgf:expression><nonterminal>Ontology</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>environnement</selector><bgf:expression><nonterminal>Environnement</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Characteristic</nonterminal><bgf:expression><selectable><selector>agentC</selector><bgf:expression><nonterminal>Agent</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Skill</nonterminal><bgf:expression><selectable><selector>agentS</selector><bgf:expression><nonterminal>Agent</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Aptitude</nonterminal><bgf:expression><selectable><selector>agentA</selector><bgf:expression><nonterminal>Agent</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Ontology</nonterminal><bgf:expression><nonterminal>Concept</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Ontology</nonterminal><bgf:expression><nonterminal>Predicat</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Ontology</nonterminal><bgf:expression><nonterminal>Action</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Ontology</nonterminal><bgf:expression><selectable><selector>environnement</selector><bgf:expression><nonterminal>Environnement</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Concept</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>environnement</selector><bgf:expression><nonterminal>Environnement</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Predicat</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>environnement</selector><bgf:expression><nonterminal>Environnement</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Action</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>environnement</selector><bgf:expression><nonterminal>Environnement</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Environnement</nonterminal><bgf:expression><selectable><selector>resource</selector><bgf:expression><nonterminal>Resource</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Responsibility</nonterminal><bgf:expression><nonterminal>LivenessProperty</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Responsibility</nonterminal><bgf:expression><nonterminal>SafetyProperty</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Responsibility</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>LivenessProperty</nonterminal></bgf:expression><bgf:expression><nonterminal>SafetyProperty</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>LivenessProperty</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>SafetyProperty</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>Resource</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>environnement</selector><bgf:expression><nonterminal>Environnement</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>action</selector><bgf:expression><nonterminal>Action</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Communication</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>Exchanged Knoledge</selector><bgf:expression><nonterminal>Ontology</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>scenario</selector><bgf:expression><nonterminal>Scenario</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>aip</selector><bgf:expression><nonterminal>AIP</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>message</selector><bgf:expression><nonterminal>Message</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>AIP</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>performative</selector><bgf:expression><nonterminal>Performative</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Performative</nonterminal><bgf:expression><selectable><selector>aip</selector><bgf:expression><nonterminal>AIP</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Message</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>communication</selector><bgf:expression><nonterminal>Communication</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>Comm_Act</selector><bgf:expression><nonterminal>Performative</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Scenario</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production></bgf:grammar>