ГОСТ РИСО 21090—2016
Примечание — Переводы могут содержать другие представления физической величины в терминах
единиц системы UCUM. но обычно это не практикуется, поскольку вэтой системе одну форму единиц можно при
вести к другой.
7.8.3.4 Равенство
Два экземпляра типа REAL равны, если атрибуты value и units в их канонических формах равны,
либо их интервалы неопределенности uncertainRange не пусты, не имеют причины пустоты nullFlavor и
равны. Атрибуты codingRationale. source и translation в проверке на равенство не участвуют.
7.8.3.5 Инварианты:
- если экземпляр типа REAL не имеет причины пустоты nullFlavor, то атрибуты value или
uncertainRange должны иметь значение;
- атрибуты value и uncertainRange не могут одновременно иметь значение;
- атрибуты uncertainty должны иметь тип данных PQ;
- если атрибуты uncertainty указаны, их канонические формы должны совпадать.
Определение инвариантов на языке OCL:
def: let unitsMacch (other : PQ) : Boolean -
(car.onical.ur.it - other.canonical,unit)
inv
"либо
null, ливо value": isNull xor (value.oclisDefined or
uncertainRange.isNotNull)
inv "value xor uncertainRange": not (value,oclIsDefined and
uncertainRange.isNotNull)
inv "uncertain types": uncertainRange. low.oclIsDefined implies
uncertainRange.low.oclIsKindOf(PQ) ar.a
uncertainRange.high,ocl IsDefined implies
uncertainRange.high.oclIsKindOf(PQ) and
uncertainty.oclis-efined implies
uncertainty.oclIsKindOf(PQ)
inv "неопределенности - канонические формы":
uncertainRange.low.ocl IsDefined implies
unitsMatch(uncertainRange.low) and
uncertainRange.high.oclIsDefined implies
unitsKatch(uncertainRange.high) and
uncertainty.oclIsDefined implies unitsMatch(uncertainty)
context PQ::isDifferenee(other : QTY): Boolean
post: other.oclIsKindOf(PQ) and
canonical.unit.equals(other.oclAsTypeOf(PQ).canonical.unit)
7.8.3.6 Операции
7.8.9.6.1 canonical: PQ. значение, приведенное к каноническим единицам измерения. В описании
системы UCUM приведена подробная информация о канонических единицах.
7.8.3.6.2 comparable(other; QTY): BL: текущее значение (this) и другое значение (other) могут срав
ниваться. если одинаковы единицы в их канонических формах.
7.8.9.6.3 invertedQ : PQ: Обратная величина для значения типа PQ. Должны быть обращены зна
чения обоих атрибутов value и unit.
7 8.9.6.4 negated(-): PQ: изменение знака текущего значения (this).
7 8.9.6.5 plus[+] (other : PQ) : PQ: значение суммы текущего значения (this) и другого значения
(other), если единицы измерения не совпадают, то причина пустоты nullFlavor с кодом NI.
7.8.3.6.6 minus[-] (other: PQ ): PQ: значение разности текущего значения (this) и другого значения
(other); если единицы измерения не совпадают, то причина пустоты nullFlavor с кодом NI.
7.8.3.6.7 times[*] (other: PQ ): PQ: значение произведения текущего значения (this) на другое зна
чение (other) с соответствующими изменениями единиц измерения.
7.8.9.6.8 times[*J (other : REAL): PQ. значение произведения текущего значения (this) на другое
значение (other).
106