Situation transitions are composed of state transitions.
A state transition is a change in the active state. Normally, the transition is a result of an event
In practice, state transitions are conditional, expressed in terms of rules and constraints. Typically the rules are defined in terms of the situation and the context .
A transition is consistent if the effect of the event does not depend on the situation or the context .
Transitions instigated using a switch are consistent, because the new state is defined by switch position, independent of the previous state.
The transitions of the simple reactive system ..., instigated by a push-button, are not consistent, because they depend on the active state..
A state transition is simple if it is not consistent, and it depends on the state of the same state set only.
The transitions of the simple reactive system ..., are simple, because they depend on the control state only.
A simple transition is normative if the mode dependency describes normative activity.
Updated on 14 Jul 2016.