This is implemented as described in ISO 21090.
Specializes
Attributes
| Name |
Data type |
Occurs |
Description |
| any |
T
|
1..1 |
In ISO 21090 it is possible to also specify an IVL as a range that contains a specific point. So the IVL<INT> with attribute
any=10 and width=5 represents all the intervals 5-10, 6-11, 7-12, 8-13, 9-14 and 10-15. This appears represent a specific
type of uncertain interval which is different from uncertain range (URG). Within the LRA, as in ISO 21090, the use of IVL
with only IVL.any and IVL.width attributes defined is allowable, and should be used with caution for the specification of
loosely constrained time intervals. It is not however appropriate to use it for loosely defined time points for which URG<TS>
is an appropriate choice.
This is implemented as described in ISO 21090.
|
| high |
T
|
0..1 |
This is implemented as described in ISO 21090. |
| highClosed |
Boolean
|
0..1 |
This is implemented as described in ISO 21090. |
| low |
T
|
0..1 |
This is implemented as described in ISO 21090. |
| lowClosed |
Boolean
|
0..1 |
This is implemented as described in ISO 21090. |
| width |
QTY
|
0..1 |
IVL start and end may be underspecified in ISO 21090 to allow for ranges of known size (using IVL.width) but undefined low
and high end points. NB: It does not appear to be allowable to specify IVL.width and IVL.low, and leave IVL.high as implicitly
defined.
This is implemented as described in ISO 21090.
|
Constraints
| Type |
Name |
Specification |
| high |
Invariant |
inv: high.oclIsUndefined and highClosed.oclIsUndefined |
| low |
Invariant |
inv: low.oclIsUndefined and lowClosed.oclIsUndefined |
| width |
Invariant |
inv: isNotNull implies width.isNotNull |
Reference Model Type
