Transition : public class
Created: 2010-05-07 14:34:29
Modified: 2010-06-29 11:08:15
Project:
Advanced:
<p>Statement of state transtion elements in state-machine constraints.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A transition goes from a source state to a target state. A transition can only fire if its source state is active, its read parameter is available, and the related parameter condition(s) holds. When it is fired, a transition can invoke certain transformations and write certain parameters (i.e., making such parameters available).<br/></p>
Element Source Role Target Role Details
StateMachineConstraint
Class  
Name: transition
Owned transitions in the state-machine.
Name:  
 
 
State
Class  
Name:  
 
Name: from
The source state of the transition.
 
Parameter
Class  
Name:  
 
Name: read
The parameters that must be available to fire the transition.
 
Parameter
Class  
Name:  
 
Name: write
The parameters that will be available when the transition is fired.
 
ParameterCondition
Class  
Name:  
 
Name: conditionSpecification
The parameter condition(s)that must hold to fire the transition.
 
State
Class  
Name:  
 
Name: to
The target state of the transition.
 
Transformation
Class  
Name:  
 
Name: invoke
The transformations to be invoked when the transition is fired.
 
Object Type Connection Notes
StateMachineConstraint Class Strong  
EAElement Class Generalization