Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 16 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>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>Integer</nonterminal><bgf:expression><value>int</value></bgf:expression></bgf:production><bgf:production><nonterminal>LQN</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>comment</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>author</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>created_On</selector><bgf:expression><nonterminal>Date</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>modified_On</selector><bgf:expression><nonterminal>Date</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>task</selector><bgf:expression><nonterminal>Task</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>processor</selector><bgf:expression><nonterminal>Processor</nonterminal></bgf:expression></selectable></bgf:expression></plus></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>type</selector><bgf:expression><nonterminal>TaskType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>priority</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>mutliplicity</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>replicas</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>entry</selector><bgf:expression><nonterminal>Entry</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>processor</selector><bgf:expression><nonterminal>Processor</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>lqn</selector><bgf:expression><nonterminal>LQN</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>activity</selector><bgf:expression><nonterminal>Activity</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Processor</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>scheduling</selector><bgf:expression><nonterminal>SchedulingType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>mutliplicity</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>replicas</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>spped</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>task</selector><bgf:expression><nonterminal>Task</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>lqn</selector><bgf:expression><nonterminal>LQN</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Entry</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>num_Phase</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>arrival_Rate</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>contained_In</selector><bgf:expression><nonterminal>Task</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>replay_To</selector><bgf:expression><nonterminal>Entry</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>callreceives</selector><bgf:expression><nonterminal>Call</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>callsends</selector><bgf:expression><nonterminal>Call</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>phase</selector><bgf:expression><nonterminal>Phase</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>activity</selector><bgf:expression><nonterminal>Activity</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>Phase</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>number</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>type</selector><bgf:expression><nonterminal>PhaseType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>think_Time</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>execution_Demand</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>COV</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>entry</selector><bgf:expression><nonterminal>Entry</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>activity</selector><bgf:expression><nonterminal>Activity</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Activity</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>arrival_Rate</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>contained_In</selector><bgf:expression><nonterminal>Task</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>replay_To</selector><bgf:expression><nonterminal>Entry</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>linkPrecedes</selector><bgf:expression><nonterminal>Link</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>linkfollows</selector><bgf:expression><nonterminal>Link</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>call</selector><bgf:expression><nonterminal>Call</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>phase</selector><bgf:expression><nonterminal>Phase</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>entry</selector><bgf:expression><nonterminal>Entry</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>Link</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>type</selector><bgf:expression><nonterminal>LinkType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>mean_Links</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>fromActivity</selector><bgf:expression><nonterminal>Activity</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>toActivity</selector><bgf:expression><nonterminal>Activity</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>activityPrecedes</selector><bgf:expression><nonterminal>Activity</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>activityfollows</selector><bgf:expression><nonterminal>Activity</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>CallPhase</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>mean_Calls</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>refers_To</selector><bgf:expression><nonterminal>Phase</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>call</selector><bgf:expression><nonterminal>Call</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Call</nonterminal><bgf:expression><nonterminal>EntryCall</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Call</nonterminal><bgf:expression><nonterminal>ActivityCall</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Call</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>toEntry</selector><bgf:expression><nonterminal>Entry</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>num_Phases</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>type</selector><bgf:expression><nonterminal>CallType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>callPhase</selector><bgf:expression><nonterminal>CallPhase</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>activity</selector><bgf:expression><nonterminal>Activity</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>entryreceives</selector><bgf:expression><nonterminal>Entry</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>entrysends</selector><bgf:expression><nonterminal>Entry</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>EntryCall</nonterminal><bgf:expression><selectable><selector>from_Entry</selector><bgf:expression><nonterminal>Entry</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>ActivityCall</nonterminal><bgf:expression><selectable><selector>fromActivity</selector><bgf:expression><nonterminal>Activity</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Date</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>day</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>month</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>year</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>SchedulingType</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>FCFS</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>preemptive_Priority</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>head_of_line</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>random</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>PhaseType</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>stochastic</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>deterministic</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>CallType</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>synchronous</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>asynchronous</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>forwording</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>LinkType</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>and_Fork</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>and_join</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>basic</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>or_Fork</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>or_join</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>TaskType</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>a_reference</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>non_reference</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production></bgf:grammar>