TemporalConstraint::Transition

Header Image

EAST-ADL / Annexes / BehaviorDescription / TemporalConstraint / Transition

Content:
Transition : Public Class TemporalConstraint, LogicalTimeConditionMappingToTiming, Transition, ComputationConstraint
Discrete transitions (Transition) describe the possible switches between discrete states due to the occurrences of discrete events or due to the violations of a state invariant in time or in value quantification.<br/><br/>See also Transition.<br/><br/>Constraints:<br/>[1] A transition connects one or two states. This means that the from and to roles can be applied to two distinct states or a single state.<br/><br/>Semantics:<br/>When all the given guard conditions are met, a transition will be fired. A transition, when fired, will lead to the exit of the associated "from" state and an entrance to the associated "to" state, while invoking one or more logical transformations (TransformationOccurrance! ) as the effects of the transition.<br/>
  • Associations
  • Associations From
  • Advanced
  • Other Links
Element Source Role Target Role
State
Class   		Name:  
  		Name: from
The source state of the transition.
Details:
 
Quantification
Class   		Name:  
  		Name: quantificationGuard
The value guard conditions of a transition.
Details:
 
TransformationOccurrence
Class   		Name:  
  		Name: effect
The transformations to be activated when the transition is fired.
Details:
 
LogicalTimeCondition
Class   		Name:  
  		Name: timeGuard
The time guard conditions of a transition.
Details:
 
State
Class   		Name:  
  		Name: to
The target state of the transition.
Details:
 
Element Source Role Target Role
TemporalConstraint
Class   		Name:  
  		Name: transition
Owned transitions.
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
EAElement Class Generalization To  
SynchronousTransition Class Generalization From  
TemporalConstraint Class Weak From