Define transitions between modes in mode chart
transitions begins a transitions declaration
block in a mode chart. The
transitions block, terminated
end keyword, can contain one or more transition
Each transition construct has the following syntax:
from_mode -> to_mode : predicate_condition
from_mode is the mode active
before the transition.
to_mode is the mode active
after the transition.
the expression that needs to be true for the transition to happen.
For example, if a mode chart declares two modes,
the following syntax specifies that the system transitions from mode
m2 when the
transitions m1 -> m2 : p1 end
If multiple predicates become true simultaneously, the transition
priority is defined by the order they are listed. For example, a mode
chart declares three modes,
m3, and defines the following transitions:
transitions m1 -> m2 : p1 m1 -> m3 : p2 end
true simultaneously, the system transitions from mode
m2 (the first transition listed).