Transformation : public class
Created: 2010-05-07 14:34:43
Modified: 2010-06-29 11:10:49
Project:
Advanced:
<p>A transformation defines an expected computation activity on two sets of quantities in terms of parameters. It describes one set of parameters as a function of other parameters, under the constraint of pre-, post-, and invariant parameter conditions. <br/></p><p><br/></p><p>Constraints:<br/></p><p>[1] A transformation has at least one out or one inOut parameter.<br/></p><p><br/></p><p>Semantics:<br/></p><p>Each transformation specifies one computation activity of executing some mathematical functions, each of which maps two sets of quantities by performing some arithmetic, Boolean- or string-related calculations. EAST-ADL does not define expressions of such functions but would support the definitions in future extensions.<br/></p><p><br/></p><p>Inside an EAST-ADL function behavior, the execution of transformations follows the run-to-completion assumption. This means that the execution of a transformation 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.<br/></p>
Element Source Role Target Role Details
Flow
Class  
Name:  
 
Name: incomingFlow
The related incoming flows to the transformation. The definitions are derived according to the declarations of flows connected to the input parameters of the transformation.
 
ParameterCondition
Class  
Name:  
 
Name: postCondition
The parameter conditions that must hold after the execution of the transformation.
 
ParameterCondition
Class  
Name:  
 
Name: preCondition
The parameter conditions that must hold before the transformation can start its execution.
 
ComputationConstraint
Class  
Name: transformation
The required computation activities.
Name:  
 
 
Parameter
Class  
Name:  
 
Name: in
The input parameters of the transformation.
 
Parameter
Class  
Name:  
 
Name: out
The output parameters of the transformation.
 
Flow
Class  
Name:  
 
Name: outgoingFlow
The related outgoing flows from the transformation. The definitions are derived according to the declarations of flows connected to the output parameters of the transformation.
 
Parameter
Class  
Name:  
 
Name: inOut
The parameters that are used both as inputs and as outputs of the transformation.
 
ComputationConstraint
Class  
Name:  
 
Name: subComputationConstraint
The subordinate computation constraint in the transformation.
 
ParameterCondition
Class  
Name:  
 
Name: invariantCondition
The parameter conditions that must remain unchanged by the execution of the transformation.
 
Element Source Role Target Role Details
Transition
Class  
Name:  
 
Name: invoke
The transformations to be invoked when the transition is fired.
 
Object Type Connection Notes
ComputationConstraint Class Strong  
EAElement Class Generalization