TemporalConstraint::State

Header Image

EAST-ADL / Annexes / BehaviorDescription / TemporalConstraint / State

Content:
State : Public Class TemporalConstraint, LogicalTimeConditionMappingToTiming, Transition
A system or component can have a finite set of discrete states. Each state defines a situation where certain value invariant (quantificationInvariant) and/or time invariant (timeInvariant) hold.<br/><br/>A state s is an initial state when isInitState=true. <br/><br/>In the context of system design, a state s can represent one or multiple operation modes when isMode=true; or one or multiple errors in the system when isError=true, or hazards when isHazard=true.<br/><br/>Semantics:<br/>Each state defines a situation where certain value- and/or time-conditions in terms of state invariants hold.<br/>
  • Attributes
  • Associations
  • Associations From
  • Advanced
  • Other Links
Attribute Scope Type
isErrorState Public Boolean
 
isHazard Public Boolean
 
isInitState Public Boolean
Notes: Indicating an initial state when the value is true.<br/>
isMode Public Boolean
 
Element Source Role Target Role
Mode
Class   		Name:  
  		Name: modeDeclaration
The operation modes represented by a state (when isMode=true)
Details:
 
Quantification
Class   		Name:  
  		Name: quantificationInvariant
The value invariants of a state, i.e. the value conditions that must hold in a state.
Details:
 
Hazard
Class   		Name:  
  		Name: hazardDeclaration
The hazards represented by a state (when isHazard=true).
Details:
 
LogicalTimeCondition
Class   		Name:  
  		Name: timeInvariant
The time invariants of a state, i.e. the time conditions that must hold in a state.
Details:
 
Element Source Role Target Role
Transition
Class   		Name:  
  		Name: from
The source state of the transition.
Details:
 
TemporalConstraint
Class   		Name:  
  		Name: initState
A state s is an initial state when isInitState=true.
Details:
 
StateEvent
Class   		Name:  
  		Name: start
 
Details:
 
Transition
Class   		Name:  
  		Name: to
The target state of the transition.
Details:
 
TemporalConstraint
Class   		Name:  
  		Name: state
Owned states.
Details:
 
StateEvent
Class   		Name:  
  		Name: end
 
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
EAElement Class Generalization To  
TemporalConstraint Class Weak From