ГОСТ РИСО 21090-2016
Рисунок 12 — Типы данных, описывающие неопределенность
7.11.1.2 Синтаксис ИСО/МЭК 11404
type UVP (1 :ANY) - class (
validTimeLow :characterstring,
validTimeHigh :characterstring,
controlInformationRoot :characterstring,
controlInformationKxtension :characterstring,
nullFlavor :NullFlavor,
updateMode :UpdateMode,
flavorld :Set(characterstrir.g),
probability :Decimal,
value :T
7.11.1.3 Атрибуты
7.11.1.3.1 probability : Decimal: вероятность, присвоенная значению, десятичное число от 0 (невоз
можное) до 1 (определенное) включительно.
Значение вероятности «по умолчанию», которое можно было бы использовать, если вероятность
на задана, не существует. Поэтому невозможно провести семантическое различие между значением типа
UVP. вероятность которого не указана, и значением простого типа Т. Использование типа данных UVP
не означает «неопределенность», а использование простого типа данных Т — «определенность». Дей
ствительно, вероятность значения типа UVP может составлять 0.999 или 1, то есть это значение имеет
высокую степень определенности, в то время как значение типа Т может быть очень смутной догадкой.
7.11.1.3.2 value : Т: значение типа Т. к которому относится вероятность.
7.11.1.4 Равенство
Два непустых экземпляра типа данных UVP равны, если попарно равны их атрибуты probability и value.
7.11.1.5 Инварианты:
- атрибут value должен иметь значение;
- атрибут probability должен иметь значение:
- значение атрибута probability должно быть между 0 и 1.
Определение инвариантов на языке OCL:
inv "значение не пустоisNotNull implies value.isNotNull
inv "должно иметь вероятность": IsNotNull implies
(probability.ocllsDefined and probability >- 0
and probability <- 1)
inv "нет истории или режима изменений": noUpdateOrHistory(probability)
and noUpdateOrHistory(value)
146