next up previous
Next: Behaviour Up: Structure Previous: Signalroute

Signal

Signals are used to communicate between processes. At execution, signal instances are sent (possible through signalroutes) from one process instance to some other instance(s). Signal specifications include the signal name and the list of parameter types carried by the signal.


xxxxxxxxxxxxxxxxxxsignal-decl ::=  

signal signal-id ( $[$ type-id { , type-id }$^*$ $]$ ) ;