This is implemented as described in ISO 21090.
Specializes
Attributes
| Name |
Data type |
Occurs |
Description |
| high |
T
|
1..1 |
This is implemented as described in ISO 21090. |
| highClosed |
Boolean
|
1..1 |
This is implemented as described in ISO 21090. |
| low |
T
|
1..1 |
This is implemented as described in ISO 21090. |
| lowClosed |
Boolean
|
1..1 |
This is implemented as described in ISO 21090. |
Constraints
| Type |
Name |
Specification |
| high |
Invariant |
inv: high.oclIsUndefined and highClosed.oclIsUndefined |
| low |
Invariant |
inv: isNotNull implies low.isNotNull and lowClosed |
Reference Model Type