Reserved Words and Expressions : Expressions

Expressions

Expressions within Rational Statemate take the form Trigger/Action:

A trigger expression is an event or condition that defines the criteria for a change in system status. A trigger expression can be an event expression with a guarding condition. Refer to “Trigger Expressions” for more information.
An action expression specifies what to do as a consequence of a trigger occurring. Refer to “Action Expressions” for more information.

Mini-specs and static reactions can contain multiple expressions separated by double semicolons (;;).