Predefined Events in Static Reactions and Mini-Specs The Rational Statemate action language supports the use of “entering” and “exiting” for static reaction triggers, and “started” for mini-spec triggers. Examples: started/ACT1;; started or EV_1/ACT1;;
The Rational Statemate action language supports the use of “entering” and “exiting” for static reaction triggers, and “started” for mini-spec triggers.
Examples:
started/ACT1;;
started or EV_1/ACT1;;