ГОСТ РИСО 21090—2016
uncertamRange : IVL(QTY)
numerator :QTY,
denominator : QTY
7.8.8.3 Атрибуты
7 8.8.3.1 numerator: QTY: числитель, то есть величина, представляющая собой делимое в отно
шении.
7.8.8.3.2 denominator: QTY: знаменатель, то есть величина, представляющая собой делитель в
отношении.
7.8.8.3.3 Делитель не должен равняться нулю.
7.8.8.4 Равенство
Два непустых значения типа RTO равны, если попарно равны их числители и знаменатели.
7.8.8.5 Инварианты:
- если значение типа RTO не имеет причины пустоты nullFlavor. то оба атрибута numerator и
denominator требуются:
- атрибут неопределенности (uncertainty) не должен иметь значение;
- ни атрибут numerator, ни атрибут denominator не могут иметь тип данных TS.
Представление инвариантов на языке OCL:
inv "атрибуты numerator и denominator треОуются": isNuLl хог
(numerator.isNotNulI and denominator.isNotNull)
inv "у атриоугов типа данных RTO нет истории или режима изменения":
r.oUpdateOrHistory(numerator) and
noUpdateCrHistory(denominator)
inv "атрибут uncertainty отсутствует": uncertainty.oclIsUndefined and
uncertamRange.oclIaUndefined
inv "тип данных TS запретен": (numerator.isNotNull implies not
numerator.oclIsKindOf("TS")) and (denominator.isNotNull
implies not denominator.oclIsKindOf("TS"))
7.8.8.6 Операции
7.8.8.6.1 comparable(other: QTY): BL: текущее значение (this) и другое значение (other) могут быть
сравнимыми, если сравнимы и их числители, и их знаменатели.
7.8.8.7 Примеры
«example xsi:type-"RTO">
«numerator xsi:type-"MO" value-"103.00" currer.cy-"USD"/>
«denominator xsi:type-"PQ" value-"1" unit-"day“/>
«/exam.ple>
103 доллара США в день.
Следует учесть, что внутренние декларации xsi:type требуются всегда.
7.8.9 PQ (физическая величина)
7.8.9.1 Описание
Специализация типа данных QTY
Размерностная величина, представляющая результат измерения.
7.8.3.2 Синтаксис ISO 11404
type PQ - class {
validTimeLow : characterstring,
validlimeHigh : characterstring,
controllnformationRoot : characterstring,
controlInformationKxtension : characterstring,
nullFlavor
updateMode
:NullFlavor,
:UpdateMode,
104