Statemachine Diagram

From Event-B
Revision as of 12:31, 3 April 2008 by imported>Colin (New page: State machines may be attached to classes. The transitions of a state machine represent events with the additional behaviour associated with the change of state defined by the transition. ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

State machines may be attached to classes. The transitions of a state machine represent events with the additional behaviour associated with the change of state defined by the transition. That is, the event can only occur when the instance is in the source state and, when it fires, the instance changes to the target state. Hence the state machine also models a class variable similar to an attribute. Additional guards and actions can be attached to the transition.