ГОСТ Р HCO/HL7 27951—2016
четное число элементов. Если одна или обе границы интервала неизвестны, свойство center тем не менее может
быть задано. В действительности это свойство в основном предназначено для использования, когда границы ин
тервала неизвестны.
invariant(IVL<T> х>
where х.low.nonNull.ana(x.high.nonNull) t
x.eenter.equal(x.low.plus(x.width,times(0.э!M >;
);
invariant(IVL<T> x»
where x.low.isNuil.or(x.high.isNull) !
x.center.riotApplicable;
i ;
B.3.6.5 Свойство lowClosed: BL
Определение: указывает, включается ли нижняя граница low в значение типа IVL (закрытая граница) или ис
ключается из него (открытая граница).
invariant(IVL<T> х)
where х.nonNull (
x.low.nonNull.implies(x.lowClosen.equal(x.centains(x.low))>;
x.low.IsNull.implies(x.lowClosed.not>;
•J
B.3.6.6 Свойство bighClosed: BL
Определение: указывает, включается ли верхняя граница high в значение типа IVL (закрытая граница) или
исключается из него (открытая граница).
invariant(IVL<T> х»
where х.nonNull )
x.high.nonNull.impiles(x.haghClosea.equal(x.contarns(x.high>>>;
x.high.isNull.implies(x.highClosed.not);
l ;
B.3.6.7 Литеральная форма
Литеральные формы типа данных IVLопределены таким образом, чтобы они по возможности были интуитив
но очевидными для человека. Определены следующие пять различных форм1>:
1. Форма интервала с квадратными скобками, например. «{3.5; 5.5[»:
2. Форма с дефисом, например, «3.5-5.5»;
3. Форма с оператором сравнения, используя символы операторов отношения, например. «<5.5»;
4. Форма с центром и шириной, например. <х4.5[2.0{>»;
5. Форма только с шириной и квадратными скобками, например. «[2.0[».
IVL<T>.literal ST (
IVL<T> range : interval
l dash
| comparator
1
center_wiath
Iwidth
( 3.equal<S1>;
( $.equal
($1
} ;
< 3.equal(Sl>;
{ S.equal(Sl);
( $.equal($1J;
Наличие столь большого числа вариантов заслуживает разьяснений. В принципе, достаточно было бы
иметь форму интервала и форму только с шириной. Однако форма интервала воспринимается чужеродной во мно
гих приложениях медицинской информатики. Одной из важных целей литеральных форм является искоренение
несоответствия за счет облегчения соответствия, не входящего в противоречие со значением понятий.
Далее, различные литеральные формы имеют свою силу и свою слабость. Сипа формы интервала и фор
мы с центром и шириной в том. что они более точны и позволяют указать открытость и закрытость границ. Но их
слабость в том. что для обозначения бесконечных границ требуются специальные символы, что не требуется для
формы с оператором сравнения. Форма с центром и шириной вообще не позволяет задавать интервалы с беско
нечными границами. Но форма с оператором сравнения может представлять только интервалы с одной границей
(то есть когда другая граница бесконечна или неизвестна). Форма с дефисом слабее всех, но при этом наиболее
интуитивна для интервалов с двумя границами.
394