ГОСТ Р ИСО 21090—2016
о
Определения инвариантов на языке OCL:
:nv "требуемые атрибуты": isNotNull unplies
(event.
с
1IsDefined)
anv "у атрибутов типа данных E1VL нет истории или режима изменений":
noU pdateO rH istory(offsetJ
7.10.14.5 Примеры
«example xsi:type-’EIVL_TS’event-’CM’>
«offset»
<lov value-’ i’ unit-’h’/>
«high value-*
50’
unit-’min*
/>
</cffset>
«/example»
3a 1 ч до завтрака в течение 10 мин.
«example xsi:type-’EIVL_7S’event-’CV’>
« o ffs e t»
«low value-’ЗО’ unit-’min’/>
«high value-’ЗО’ unit-’mm’/>
«/offset»
«/example»
Через 30 мин. после ужина.
7.10.15 Тонкость GTS.BOUNDEDPIVL
7.10.15.1 Описание
Ограничение типа данных QSI
Тонкость I GTS.BOUNDEDPIVL ограничивает тип данных QSI(TS) таким образом, что допускает
пересечение только интервалов типа IVL(TS) и PIVL(TS).
7.10.15.2 Инварианты.
- должно быть два термина;
- один термин должен иметь тип данных IVL(TS);
- другой термин должен иметь тип PIVL(TS);
- атрибут длины width значения типа IVL должен быть пустым (то есть должны присутствовать
либо атрибут low. либо атрибут high, либо оба этих атрибута).
Определения инвариантов на языке OCL:
1
1
anv "GTS. BOU .DEDPIVL":
anv "GTS.BoundedPIVL
2
":
term s-»size -
2
te rm s.ite m > e x is ts (t I
t .o c lls K ir.d O f (IVL(TS)
\ )
inv "GTS.BoundedPIVL 3": terms.item >exists(t I
t.ocllsKir.dOf(PIVL(TS)))
7.11 Типы данных, описывающие неопределенность
Эти типы данных предназначены для описания значений, имеющих неопределенность. Следу
ет учесть, что описанные здесь понятия неопределенности, как и в случае типа данных QTY. отно
сятся к неопределенности количества, а не к медицинским понятиям неопределенности, встречаю
щимся в клинической практике, например, «похоже, что имеет место х», или к дифференциальным
диагнозам (см. рисунок 12).
7.11.1 Тип данных UVP (неопределенное значение — вероятностное)
7.11.1.1 Описание
Специализация типа данных ANY
Параметр: Т : ANY
Общее расширение типа данных, используемое, чтобы указать вероятность, отражающую сте
пень доверия поставщика данных к их значениям.
145