Reactive Activities
The syntax for reactive mini-spec is “E[C]/A,” that is on the event E, when the condition C is true, do the reaction A. Consider the following example, for a mini-spec defined as:
With Event - ALARM_ON, Condition – WORKING, and Event -