Action

The available actions which could be performed inside transitions include: skip (internal action), informal (observable action), task (variable assignments), set (clock setting), reset (clock and variable resetting), output (signal sending, possible via signalroutes), call (procedure calls), fork (process/signalroute instance creation), kill (process/signalroute instance destruction). In particular, note that call and fork actions return values which could be used in assignments.

xxxxxxxxxxxxxxxxxxaction ::=  

skip ; $\vert$ 

informal string ; $\vert$ 

task expression := expression ; $\vert$ 

set expression := expression ; $\vert$ 

reset expression ; $\vert$ 

output signal-id ( $[$ expression { , expression }$^*$ $]$) 

$[$ via signalroute-id $]$    $[$ to expression $]$ ; $\vert$ 

$[$ expression := $]$ call procedure-id ( $[$ expression { , expression }$^*$ $]$ ) ; $\vert$ 

$[$ expression := $]$ fork process-id (    $[$ expression { , expression }$^*$ $]$ ) ; $\vert$ 

$[$ expression := $]$ fork signalroute-id (    $[$ expression { , expression }$^*$ $]$ ) ; $\vert$ 

kill expression ;