ГОСТ РИСО 21090—2016
Определение инвариантов на языке OCL:
inv "если нет причины пустоты, должно иметься значение":
isNotNull implies pares >count > 0
7.12.32.5 Операции
7.12.32.5.1 asEDQ : ED: представление значения типа SD.TEXT в качестве значения типа ED.
Атрибут parts становится значением атрибута ED.xml в соответствии с правилами преобразования в
формат XML. изложенными в приложении А. Атрибуту language присваивается значение атрибута base,
language, атрибуту mediaType — значение «text/x-hl7-text+xml». Значение атрибута charset определяет ся
контекстом, в котором используется значение типа SD.TEXT. а остальным свойствам значения типа ED
присваиваются пустые значения.
7.12.33 Тип данных SD.TITLE
7.12.33.1 Описание
Специализация типа данных ANY
Определение структурированного заголовка, который может быть использован в здравоохране
нии.
Используется то же определение структурированного текста, что и для типа данных SD.TEXT, но
при этом набор свойств более ограничен, поскольку он присваивается заголовку, а не документу обще
го вида.
Тип данных SD.TITLE известен также под унаследованным именем StrucDoc.Title.
7.12.33.2 Ассоциации
7.12.33.2.1 base . StrucDoc.Base[1..1] «Anonymous»: атрибуты базовой идентификации и стилей
представления.
7.12.33.2.2 parts : StrucDoc.CMTItle[0..* ordered] «Anonymous»: содержание заголовка.
Значение стереотипа Anonymous описано в А.2 приложения А.
7.12.33.3 Равенство
Два значения типа SD.TITLE равны, если они не имеют причины пустоты nullFlavor и имеют рав
ное содержание (атрибуты language. styleCode и parts).
7.12.33.4 Инварианты:
- непустой экземпляр типа данных SD.TITLE должен иметь некоторые части parts.
Определение инвариантов на языке OCL:
inv "если нет причины пустоты, должно иметься значение":
isNotNull implies parts->count > 0
7.12.33.5 Операции
7.12.33.5.1asED() : ED: представление значения типа SD.TITLE в качестве значения типа ED.
Атрибут parts становится значением атрибута ED.xml в соответствии с правилами преобразования в
формат XML. изложенными в приложении А. Атрибуту language присваивается значение атрибута base,
language, атрибуту mediaType — значение «text/x-hl7-title+xml». Значение атрибута charset определяет
ся контекстом, в котором используется значение типа SD.TITLE. а остальным свойствам значения типа
ED присваиваются пустые значения.
164