ГОСТ Р HCO/HL7 27951— 2016
demotion HXIT<T>;
l ;
Семантика этого типа данных не содержит принципиального запрета на пересечение интервалов времени
действительности. Но если у двух элементов истории границы IVL.low и IVL.higti интервалов действительности со
впадают. то нет возможности утверждать, который их них должен считаться более ранним, а какой — более поздним.
h
invariant(
ist х
>
where x.nonNull (
x.notEmpty;
((T>xt.equal(x.ldtesL);
);
B.4.2.1 Свойство earliest: HXIT<T>
Определение: элемент множества интервалов действительности, у которого граница IVL.low (время начала
действительности) меньше или равна (то есть более ранняя), чем у любого другого элемента истории из этого
множества.
invariant(HIST х; НХ1Т<Т> е»
where х.contains(е} |
х.earliest.validTime.iOw.iessOrEquai(e.valiriTime.iow}
1 ;
В.4.2.2 Свойство latest: HXIT<T>
Определение: элемент множества интервалов действительности, у которого граница IVL.high (время начала
действительности) больше или равна (то есть более поздняя), чем у любого другого элемента истории из этого
множества.
invariant(HIST х; КХ1Т<Т> е>
where х.contains(е> (
х.lateat.validTime.high.greaterOrEqual(e.validTime.high};
)l
B.4.2.3 Свойство exceptEarliest: HIST<T>
Определение: производная история, из которой исключен самый ранний элемент.
invariant (HIST х}
where x.nonNull (
х.exceptEarliest.equal(x.except(x.earliest
} ) ;
I;
B.4.2.4 Свойство exceptLatest: HIST<T>
Определение: производная история, из которой исключен самый поздний элемент.
invariant(HIST xf
where x.nonNull t
x.exceptLatest.equal(x.except(x.latest>>;
i ;
B.4.2.5 Приведение истории к одному компоненту: НХ1Т<Т>
Преобразование, при котором значение типа HIST преобразуется в значение типа HXIT. Это преобразование
выбирает самый поздний элемент истории.
Такое преобразование полезно в тех случаях, когда поставщик информации передает не одно значение, а
историю изменения значений, а потребитель информации, ожидающий получения не истории, а единственного
значения, выбирает из нее более позднее.
Следует учесть, что согласно определению тип данных HXIT семантически специализирует тип данных Т.
Это означает, что потребитель информации, ожидающий значение типа Т. но получивший значение типа HXIT. не
увидитдля себя никакой разницы (подстановка специализации).
В.4.3 Тип данных вероятностного неопределенного значения UVP (специализация типа данных Т)
Определение: параметризованное расширение типа данных, используемое для указания вероятности, кото
рую. по мнению поставщика информации, имеет данное значение.
399