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 (;;).