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: isNotNull implies high.isNotNull and highClosed |
| low |
Invariant |
inv: low.oclIsUndefined and lowClosed.oclIsUndefined |
Reference Model Type