SAFIRE
 
Signals

 

A signal is a token of information that can be sent or received by an FSM. When a signal is received, actions may be triggered in the FSM.  These actions may include making calculations, changing the internal state of the FSM, communicating with an external entity (such as a network device), and sending signals to other FSMs.

-- Signals have a name and parameters, which, if defined must be present

-- Signals are defined in named interfaces