Statemachine Diagram - Revision history

imported>Vitaly at 11:45, 14 January 2010

2010-01-14T11:45:05Z

← Older revision		Revision as of 11:45, 14 January 2010
Line 2:		Line 2:

	State machines may be attached to classes, to states of another statemachine or simply at the Machine level. 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.		State machines may be attached to classes, to states of another statemachine or simply at the Machine level. 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.

			{{Clr}}
			Statemachine diagrams can also be animated using the ProB tool and a special animation plug-in. [[UML-B_-_Statemachine_Animation\|Here]] you can find more information about it.

	[[Category:User documentation]]		[[Category:User documentation]]
	[[Category:UML-B]]		[[Category:UML-B]]

imported>Mathieu: Robot: Changing Category:User Documentation

2008-09-10T20:30:53Z

Robot: Changing Category:User Documentation

← Older revision		Revision as of 20:30, 10 September 2008
Line 3:		Line 3:
	State machines may be attached to classes, to states of another statemachine or simply at the Machine level. 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.		State machines may be attached to classes, to states of another statemachine or simply at the Machine level. 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.

			[[Category:User documentation]]
	[[Category:User ~~Documentation~~]]
	[[Category:UML-B]]		[[Category:UML-B]]

imported>Mathieu: Category:UML-B

2008-07-10T07:02:58Z

Category:UML-B

← Older revision		Revision as of 07:02, 10 July 2008
Line 5:		Line 5:

	[[Category:User Documentation]]		[[Category:User Documentation]]
	[[Category:~~Plugin~~]]		[[Category:UML-B]]

imported>Mathieu: Category:User Documentation Category:Plugin

2008-07-02T17:23:06Z

Category:User Documentation Category:Plugin

← Older revision		Revision as of 17:23, 2 July 2008
Line 2:		Line 2:

	State machines may be attached to classes, to states of another statemachine or simply at the Machine level. 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.		State machines may be attached to classes, to states of another statemachine or simply at the Machine level. 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.


			[[Category:User Documentation]]
			[[Category:Plugin]]

imported>Colin at 12:34, 3 April 2008

2008-04-03T12:34:47Z

← Older revision		Revision as of 12:34, 3 April 2008
Line 1:		Line 1:
			Return to [[UML-B]]

	State machines may be attached to classes, to states of another statemachine or simply at the Machine level. 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.		State machines may be attached to classes, to states of another statemachine or simply at the Machine level. 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.

imported>Colin at 12:32, 3 April 2008

2008-04-03T12:32:09Z

← Older revision		Revision as of 12:32, 3 April 2008
Line 1:		Line 1:
	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.		State machines may be attached to classes, to states of another statemachine or simply at the Machine level. 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.

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. ...

2008-04-03T12:31:10Z

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. ...

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. 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.