StateMachineConstraint : public class
Created: 2010-05-26 01:19:44
Modified: 2010-06-29 11:07:00
Project:
Advanced:
<p>Statement of state-machine constraints of behaviors to be fulfilled by a vehicle feature, a system artifact, or an environment entity.<br/></p><p><br/></p><p>Semantics:<br/></p><p>State-machine constraints refine textual requirements and provide detailed specifications about the states of quantities and the state transitions in the operation of behaviors.<br/></p><p><br/></p><p>The definition of state-machine constraint follows a generic definition of automata: In one state, read certain parameter, upon certain parameter condition(s), do certain transformation(s), then go to another state.<br/></p><p><br/></p><p>Each state-machine description normally has a set of states and transitions. A state-machine has a single initial state. Only one state is active during the operation. <br/></p>
Element Source Role Target Role Details
State
Class  
Name:  
 
Name: subStateMachineConstraint
The subordinate state machine in the state.
 
State
Class  
Name: state
Owned states in the state-machine.
Name:  
 
 
Transition
Class  
Name: transition
Owned transitions in the state-machine.
Name:  
 
 
Object Type Connection Notes
State Class Strong  
Transition Class Strong  
BehaviorConstraint Class Generalization