ГОСТ Р HCO/HL7 27951— 2016
настоящей спецификации и рассматриваются в других стандартах HL7. Исходный текст должен представлять со
бой извлечение из оригинального источника, а не точную копию его содержания или указатель на этот источник.
Поэтому исходный текст должен представляться в неформатированном виде.
Значения типа CV могут иметь непустое свойство исходного текста, даже если свойство code имеет пустое
значение и, следовательно, является исключительным. В этом случав свойство originaiTex! является именем или
описанием понятия, которое не было закодировано. Такие исключительные значения могут также содержать пре
образования translation. Такие преобразования обеспечивают непосредственное кодирование понятия, описанного
в свойстве originalText.
Тип данных CV может быть понижен до типа данных ST. В этом случае значение типа ST будет представлено
только свойством onginalText значения типа CV.
.invariant.(CV х)
where х.originalText.nonNull (
((ST?x>.equal(x.originalText);
1;
B.2.9.7 Свойство translation: SET<CD> (фиксированное)
invariant(CV x) (
x.translation.not. Applicable;
B.2.9.8 Свойство qualifier: LIST<CR> (фиксированное)
invariant(CV x| (
x.qualifier.notApplюаЫе;
t;
B.2.10 Тип данных CodedOrdinal (СО) (специализация типа данных CV)
Определение: кодированные данные, принадлежащие системе кодирования с упорядоченными кодами.
В типе данных СО добавлена семантика упорядоченности: таким образом, в моделях, использующих такие до
мены. могут быть определены элементы, содержащие утверждения о порядке следования терминов в домене.
type CodedOrainaJ alias СО specializes CV t
BL lessorEqual(CO o);
BL lessThan(CO o);
BL grealerThan(CO o>;
BL greaterOrEqual(CO
o\;
I ;
Относительный порядок значений типа СО не обязан очевидно вытекать из их литерального представления.
Предполагается, что приложение будет определять упорядоченность этих значений по некоторой таблице.
В.2.10.1 Свойство lessOrEqual: BL (отношение «меньше или равно»)
Определение: отношение порядка основано на свойстве lessOrEqual, которое считается примитивным в на
стоящей спецификации.
Из него могут быть выведены все другие отношения порядка. Так как свойство lessOrEqual является прими
тивным. то оно может задавать и частичную упорядоченность.
Отношения порядка обычно распространяются только внутри одной системы кодирования.
В.2.10.2 Свойство lessThan: BL (отношение «меньше»)
invariant (СО х, yt
where х.nonNull.and(y.nonNull) (
x.lessThan(y|.equal(y.lessOrEqual(x).ana(x.equal(y>.not>!;
I;
B.2.10.3 Свойство grealerThan: BL (отношение «больше»)
invariant (CO x, yt
where x.nonNull.ana(y.nonNull) t
x.greaterThan(y).equal(y.lessThan(x
>};
11
327