ComputationConstraint::LogicalTransformation

EAST-ADL / Annexes / BehaviorDescription / ComputationConstraint / LogicalTransformation

Content:

LogicalTransformation : Public Class LogicalTimeConditionMappingToTiming, ComputationConstraint

A logical transformation (LogicalTransformation) is a set of restrictions on the computation activity for some data. That is, given some in-&local-data that meet certain preconditions, such a computation activity always maps such data to some out-data that meet the related postconditions if the time-&value-invariants are not violated during the computation. Each computation activity executes some functions for the mapping of quantities, which can be based on arithmetic, Boolean- or string-related calculations. The expressions (Expression) for any further lower level details of a transformation can be based on an external language, such as the MISRA-C. A logical transformation can define the following conditions of computation activity: 1. The pre-conditions, i.e. the quantifications that must be satisfied just prior to data-processing, 2. The value-invariants, i.e. the value conditions that must be satisfied throughout the execution of data-processing, 3. The time-invariants, i.e. the time conditions that must be satisfied throughout the execution of data-processing, 4. The post-conditions, i.e. the quantifications that must be satisfied just after the execution of data-processing. Constraints: [1] If a logical transformation description is applied to a client-server interface (isClientServerInterface=true), it has at least one corresponding operation specified in a client-server interface definition (FunctionModelling::Operation). Semantics: The computation activity of a logical transformation can be activated in logical paths or in state transitions. The execution follows the run-to-completion assumption. This means that the execution is only possible when the previous execution instance of the same transformation is fully completed. For a system function, the amount of time to execute its transformations is constrained by the EAST-ADL function event in the timing package. Extension: EAElement.

Attributes
Associations
Associations From
Advanced
Other Links

Attribute	Scope	Type
isClientServerInterface	Public	Boolean

Element	Source Role	Target Role
«atpPrototype» Attribute Class	Name:	Name: out The output data of the transformation.
Details:
«atpPrototype» Attribute Class	Name:	Name: in The input data of the transformation.
Details:
«atpPrototype» Attribute Class	Name:	Name: contained The data that are used both as internal attribute of the transformation.
Details:
LogicalTimeCondition Class	Name:	Name: timeInvariant The duration bounds when the transformation takes place.
Details:
Quantification Class	Name:	Name: postCondition The parameter conditions that must hold after the execution of the transformation.
Details:
Quantification Class	Name:	Name: preCondition The parameter conditions that must hold before the execution of the transformation.
Details:
Operation Class	Name:	Name: clientServerInterfaceOperation The client-server interface that a logical transformation description is applied to (isClientServerInterface=true).
Details:
Quantification Class	Name:	Name: quantificationInvariant The parameter conditions that must remain unchanged by the execution of the transformation.
Details:

Element	Source Role	Target Role
ComputationConstraint Class	Name:	Name: logicalTransformation The required computation activities.
Details:
«atpMixedString» EAExpression Class	Name: expression	Name:
Details:
TransformationOccurrence Class	Name:	Name: invokedLogicalTransformation The definitions of logical transformations to be invoked.
Details:

Property	Value
isFinalSpecialization:	0

Object	Type	Connection	Direction	Notes
ComputationConstraint	Class	Weak	From
«atpMixedString» EAExpression	Class	Strong	From
EAElement	Class	Generalization	To