Unified Modeling Language Reference Manual, The, Second Edition
by James Rumbaugh, Ivar Jacobson, Grady Booch
guard condition
A condition that must be satisfied in order to enable an associated transition to fire.
See also any trigger, branch, junction, transition.
Semantics
A guard condition is a Boolean expression that is part of the specification of a transition. When a signal is received, it is saved until the state machine has completed any current run-to-completion step. When any run-to-completion step is completed, the triggers of transitions leaving the current state (including containing states) are examined to find those eligible to fire. The guard conditions of eligible transitions are evaluated, not necessarily in a fixed order. If the condition of at least one eligible transition is satisfied, the transition is enabled to fire (but if more ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access