ComputationConstraint::TransformationOccurrence

EAST-ADL / Annexes / BehaviorDescription / ComputationConstraint / TransformationOccurrence

Content:

TransformationOccurrence : Public Class LogicalTimeConditionMappingToTiming, Transition, ComputationConstraint

A transformation occurrence (TransformationOccurrence) denotes the activations of logical transformations due to state transitions or logical paths. A transformation occurrence can also have a time condition (timeCondition), stating the time instances when the invocation happens. If a logical transformation is invoked, its in-data will be assigned with particular values by the invocation context (inQuantification). As the consequence of transformation, the out-data will also be assigned with particular value (outQuantification). Semantics: A logical transformation can only occur in a state transition or a logical path. In such an occurrence, a set of logical transformations are invoked. Given some particular quantifications of in-data (inQuantification) and time conditions (timeCondition), some the particular quantifications of out-data will be satisfied after the invocation. Extension: EAElement.

Associations
Associations From
Advanced
Other Links

Element	Source Role	Target Role
Quantification Class	Name:	Name: outQuantification
Details:
Quantification Class	Name:	Name: inQuantification
Details:
LogicalTimeCondition Class	Name:	Name: timeCondition
Details:
LogicalPath Class	Name: transformationOccurrence The activation of logical transformations in a logical path.	Name:
Details:
LogicalTransformation Class	Name:	Name: invokedLogicalTransformation The definitions of logical transformations to be invoked.
Details:

Element	Source Role	Target Role
Transition Class	Name:	Name: effect The transformations to be activated when the transition is fired.
Details:

Property	Value
isFinalSpecialization:	0

Object	Type	Connection	Direction	Notes
EAElement	Class	Generalization	To
LogicalPath	Class	Strong	To