Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 15.6 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>MultyPartyCollaboration</nonterminal><bgf:expression><plus><bgf:expression><selectable><selector>partners</selector><bgf:expression><nonterminal>BusinessPartnerRole</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessPartnerRole</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>collaboration</selector><bgf:expression><nonterminal>MultyPartyCollaboration</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>transition</selector><bgf:expression><nonterminal>Transaction</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>performers</selector><bgf:expression><nonterminal>Performs</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Performs</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>performedBy</selector><bgf:expression><nonterminal>BusinessPartnerRole</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>collaboration</selector><bgf:expression><nonterminal>BinaryCollaboration</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>role</selector><bgf:expression><nonterminal>AuthorizedRole</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>AuthorizedRole</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>isInitiator</selector><bgf:expression><nonterminal>Boolean</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>performers</selector><bgf:expression><nonterminal>Performs</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Transaction</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>onInitiation</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>conditionGuard</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>conditionExpression</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>from</selector><bgf:expression><nonterminal>BusinessState</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>to</selector><bgf:expression><nonterminal>BusinessState</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>BinaryCollaboration</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>pattern</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>timeToPerform</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>preCondition</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>postCondition</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>beginsWhen</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>endsWhen</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>roles</selector><bgf:expression><nonterminal>Performs</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>transitions</selector><bgf:expression><nonterminal>Transaction</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>states</selector><bgf:expression><nonterminal>BusinessState</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessState</nonterminal><bgf:expression><nonterminal>Start</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessState</nonterminal><bgf:expression><nonterminal>Fork</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessState</nonterminal><bgf:expression><nonterminal>Join</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessState</nonterminal><bgf:expression><nonterminal>CompletionState</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessState</nonterminal><bgf:expression><nonterminal>BusinessActivity</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Start</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>collaboration</selector><bgf:expression><nonterminal>BinaryCollaboration</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>from</selector><bgf:expression><nonterminal>AuthorizedRole</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>to</selector><bgf:expression><nonterminal>AuthorizedRole</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Fork</nonterminal><bgf:expression><selectable><selector>waitForAll</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Join</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>collaboration</selector><bgf:expression><nonterminal>BinaryCollaboration</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>from</selector><bgf:expression><nonterminal>AuthorizedRole</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>to</selector><bgf:expression><nonterminal>AuthorizedRole</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>CompletionState</nonterminal><bgf:expression><nonterminal>Failure</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>CompletionState</nonterminal><bgf:expression><nonterminal>Success</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>CompletionState</nonterminal><bgf:expression><selectable><selector>guardCondition</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Failure</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>guardCondition</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Success</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>guardCondition</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessActivity</nonterminal><bgf:expression><nonterminal>BusinessTransactionActivity</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessActivity</nonterminal><bgf:expression><nonterminal>CollaborationActivity</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessTransactionActivity</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>timeToPerform</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>isConcurrent</selector><bgf:expression><nonterminal>Boolean</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>isLegallyBinding</selector><bgf:expression><nonterminal>Boolean</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>use</selector><bgf:expression><nonterminal>BusinessTransaction</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>CollaborationActivity</nonterminal><bgf:expression><selectable><selector>use</selector><bgf:expression><nonterminal>BinaryCollaboration</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessTransaction</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>pattern</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>isGuaranteedDeliveryRequired</selector><bgf:expression><nonterminal>Boolean</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>preCondition</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>postCondition</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>beginsWhen</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>endsWhen</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>requester</selector><bgf:expression><nonterminal>RequestingBusinessActivity</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>responder</selector><bgf:expression><nonterminal>RespondingBusinessActivity</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessAction</nonterminal><bgf:expression><nonterminal>RequestingBusinessActivity</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessAction</nonterminal><bgf:expression><nonterminal>RespondingBusinessActivity</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>RequestingBusinessActivity</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>timeToAcknowledgeAcceptance</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>transaction</selector><bgf:expression><nonterminal>BusinessTransaction</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>documentEnvelope</selector><bgf:expression><nonterminal>DocumentEnvelope</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>RespondingBusinessActivity</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>transaction</selector><bgf:expression><nonterminal>BusinessTransaction</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>documentEnvelope</selector><bgf:expression><nonterminal>DocumentEnvelope</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>DocumentSecurity</nonterminal><bgf:expression><nonterminal>DocumentEnvelope</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>DocumentSecurity</nonterminal><bgf:expression><nonterminal>Attachment</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>DocumentEnvelope</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>isPositiveResponse</selector><bgf:expression><nonterminal>Boolean</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>requesting</selector><bgf:expression><nonterminal>RequestingBusinessActivity</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>responding</selector><bgf:expression><nonterminal>RespondingBusinessActivity</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>attachements</selector><bgf:expression><nonterminal>Attachment</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>document</selector><bgf:expression><nonterminal>BusinessDocument</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Attachment</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>mimeType</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>specification</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>version</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>envelope</selector><bgf:expression><nonterminal>DocumentEnvelope</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>document</selector><bgf:expression><nonterminal>BusinessDocument</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>BusinessDocument</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>specificationLocation</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>specificationElement</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>conditionExpression</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>envelopes</selector><bgf:expression><nonterminal>DocumentEnvelope</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>attachments</selector><bgf:expression><nonterminal>Attachment</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Boolean</nonterminal><bgf:expression><choice><bgf:expression><terminal>true</terminal></bgf:expression><bgf:expression><terminal>false</terminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>String</nonterminal><bgf:expression><value>string</value></bgf:expression></bgf:production></bgf:grammar>