Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 9.24 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>OrganizationalStructure</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>Organization</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>collaborates</selector><bgf:expression><nonterminal>Organization</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>interacts</selector><bgf:expression><nonterminal>Organization</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>member</selector><bgf:expression><nonterminal>AgentType</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>observes</selector><bgf:expression><nonterminal>OrganizationalRule</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>OrganizationalRule</nonterminal><bgf:expression><nonterminal>SafetyRule</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>OrganizationalRule</nonterminal><bgf:expression><nonterminal>LivenessRule</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>OrganizationalRule</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>SafetyRule</nonterminal></bgf:expression><bgf:expression><nonterminal>LivenessRule</nonterminal></bgf:expression></choice></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>AgentType</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>provides</selector><bgf:expression><nonterminal>Service</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>collaborates</selector><bgf:expression><nonterminal>AgentType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>agentType</selector><bgf:expression><nonterminal>AgentType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>plays</selector><bgf:expression><nonterminal>Role</nonterminal></bgf:expression></selectable></bgf:expression></plus></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>Role</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>activity</selector><bgf:expression><nonterminal>Activity</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>communication</selector><bgf:expression><nonterminal>Communication</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>responsibility</selector><bgf:expression><nonterminal>Responsibility</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>actsOn</selector><bgf:expression><nonterminal>AssociationConnector</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Activity</nonterminal><bgf:expression><epsilon/></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>AssociationConnector</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>actsOn</selector><bgf:expression><nonterminal>Resource</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>role</selector><bgf:expression><nonterminal>Role</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>permission</selector><bgf:expression><nonterminal>Permission</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Permission</nonterminal><bgf:expression><selectable><selector>association</selector><bgf:expression><nonterminal>AssociationConnector</nonterminal></bgf:expression></selectable></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>description</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>permitted_action</selector><bgf:expression><nonterminal>Action</nonterminal></bgf:expression></selectable></bgf:expression></plus></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>Environnement</nonterminal><bgf:expression><plus><bgf:expression><selectable><selector>resource</selector><bgf:expression><nonterminal>Resource</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></bgf:production><bgf:production><nonterminal>Action</nonterminal><bgf:expression><selectable><selector>type</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Communication</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>observes</selector><bgf:expression><nonterminal>OrganizationalRule</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>protocol</selector><bgf:expression><nonterminal>Protocol</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Protocol</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>initiator</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>partner</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><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>description</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>String</nonterminal><bgf:expression><value>string</value></bgf:expression></bgf:production></bgf:grammar>