ГОСТ Р ИСО 21090—2016
7.10.9.6 Примеры
7.10.9.6.1 Целочисленный интервал
«example xsi:type-’LVL.INT’>
<low value-’2*/>
<high value-’4’/>
</example>
Простой интервал значений типа INT между 2 и 4. Это то же самое, что указать множество (2. 3,
4) типа DSET.
Интервал значений типа PQ между 2.8 м включительно и 4,6 м исключительно.
7.10.9.6.2 Дневник операции
<exarr.ple xsi:type-’1VL_JTS’>
«.width xsi:type-’PQ’ value-’2’ unit-’h’/>
<any value-’200012C41000’/>
«/example»
Операция длилась два часа и в момент времени 10:00 4 декабря 2000 года все еще продолжа
лась. Спецификация xsi:type значения длины width необходима, поскольку ее тип данных (QTY) явля
ется абстрактным.
7.10.10 Тонкость IVL.LOW
7.10.10.1 Описание
Ограничение типа данных IVL
Тонкость IVL.LOW ограничивает тип данных IVL таким образом, чтобы его атрибут нижней гра
ницы low присутствовал, а атрибут замыкания lowClosed имел значение true. Все остальные свойства
запрещены.
7.10.10.2 Инварианты:
- атрибуты low и lowClosed должны иметь значения; -
атрибуты high и highClosed должны быть пустыми.
Определения инвариантов на языке OCL:
inv "нижняя граница
inv "верхняя граница":
isNotNull implies low.isNotNull and lowClosed
high.ocllsUndefined and highClosed.oclIsUr.defined
7.10.11 Тонкость IIVL.HIGH
7.10.11.1 Описание
Ограничение типа данных IVL
Тонкость IVL.HIGH ограничивает тип данных IVL таким образом, чтобы его атрибут верхней гра
ницы high присутствовал, а атрибут замыкания highClosed имел значение true. Все остальные свойства
запрещены.
7.10.11.2 Инварианты:
- атрибуты low и lowClosed должны быть пустыми;
- атрибуты high и highClosed должны иметь значения.
Определения инвариантов на языке OCL:
inv "верхняя граница": isNotNull implies high.isNotNull and highClosed
inv "нижняя граница": low.ocllsUndefir.ed and lowClo3ed.ocllsUr.def:ned
7.10.12 Тонкость IIVL.WIDTH
7.10.12.1 Описание
Ограничение типа данных IVL
Тонкость IVL.HIGH ограничивает тип данных IVL таким образом, что его атрибут длины width обя
зателен. а атрибуты low. lowClosed. high, highClosed запрещены.
7.10.12.2 Инварианты:
- атрибут width должен иметь значение;
139