Created: | 2010-05-07 14:33:26 |
Modified: | 2010-06-29 16:42:49 |
![]() |
|
![]() |
Attribute | Details | ||
public String expression |
|
Element | Source Role | Target Role | Details |
Parameter Class |
Name: |
Name: appliedToParameter The quantity characterized by the parameter condition. |
|
ParameterConstraint Class |
Name: parameterCondition The description of parameter conditions. |
Name: |
|
«atpPrototype» Anomaly Class |
Name: |
Name: representAnomaly The fault(s)/failure(failures) represented by the parameter condition. |
Element | Source Role | Target Role | Details |
State Class |
Name: |
Name: denote The parameter conditions represented by the state. |
|
Transition Class |
Name: |
Name: conditionSpecification The parameter condition(s)that must hold to fire the transition. |
|
Transformation Class |
Name: |
Name: postCondition The parameter conditions that must hold after the execution of the transformation. |
|
Transformation Class |
Name: |
Name: preCondition The parameter conditions that must hold before the transformation can start its execution. |
|
Transformation Class |
Name: |
Name: invariantCondition The parameter conditions that must remain unchanged by the execution of the transformation. |
Object | Type | Connection | Notes |
ParameterConstraint | Class | Strong | |
EAElement | Class | Generalization |