Signalroute

Signalroutes denote communication paths between processes. At execution, signalroute instances could be created and destroyed dynamically. Again, each signalroute instance has a unique identifier number (the pid of the instance). Signalroute specifications include the name of the signalroute, the initial number of instances, the source and destination endpoints (process or environment) and the set of signals which could be transported on it. In addition, several options are available to refine the signalroute behaviour: the queueing policy (fifo or multiset), the reliability (reliable or lossy), the delivering policy ([point-to-point] peer, multicast or unicast) and the delaying policy ([immediate] urgent, [overall] delay or [transmission] rate).

xxxxxxxxxxxxxxxxxxsignalroute-decl ::=  

signalroute signalroute-id ( const )  

{ signalroute-option }$^*$ 

from  { process-id $\vert$ env }     to { process-id $\vert$ env } 

with signal-id { , signal-id }$^*$ ;  



signalroute-option ::=  

#fifo $\vert$ #multiset $\vert$ 

#reliable $\vert$ #lossy $\vert$ 

#peer $\vert$ #multicast $\vert$ #unicast $\vert$ 

#urgent $\vert$ #delay[l,u] $\vert$ #rate[l,u]