StateMachineConstraint : public class
Created: |
2010-05-26 01:19:44 |
Modified: |
2010-06-29 11:07:00 |
|
Project: |
|
Author: |
CHEN |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{B8757AB8-DF54-49dc-98D3-4721432645EB} |
Appears In: |
BehaviorConstraintsOrganization |
<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>
- Associations From
- Other Links
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:
|
|