| Created: | 2010-05-07 14:33:26 |
| Modified: | 2010-06-29 16:42:49 |
Project: |
|
Advanced: |
|
| 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 |