ГОСТ Р HCO/HL7 27951—2016
Формальные языки обеспечивают возможность составления весьма четких утверждений, которые могут
использоваться для представления некоторого формального аргумента в пользу подтверждения или опровер
жения. Однако лаконичность таких формальных утверждений может также затруднить их понимание человеком.
Поэтому все важные выводы из формальных утверждений представлены также в виде предложений на есте
ственном языке.
В.1.7.2 Таблицы свойств
Для удобства ознакомления в начало описаний многих типов данных, приведенных в настоящей специфи
кации. включены таблицы «основных» свойств. К числу «основных» относится несколько расплывчатая группа тех
свойств, которые более похожи на «поля», когда такие типыданных реализуются как записи, или которые наиболее
часто используются. Эти таблицы предназначены для облегчения обзора содержания и назначения типов данных.
Не требуется, чтобы свойства, перечисленные в этих таблицах, были представлены как поля, и эти таблицы не
являются определениями абстрактного синтаксиса.
Каждая строка таблицы свойств описывает одно свойство и содержит следующие элементы:
1. Имя — имя свойства, указанное в формальном определении. Для некоторых типов данных поле имени
первого свойства в таблице может быть пустым. Это может иметь место для тех типов данных, которые определе ны
как расширения других типов данных и в перечне свойств дочернего типа нет смысла показывать какие-либо
свойства родительского типа.
2. Тип — тип данных этого свойства.
3. Определение — краткий текст, описывающий смысл свойства.
В.1.7.3 Диаграммы на Унифицированном языке моделирования UML (Unified Modeling Language)
Для графического представления связей между типами данных используются диаграммы классов на Унифи
цированном языке моделирования UML (Unified Modeling Language). Типы данных показаны как классы UML. кото
рым присвоены краткие имена. Порождающие типы показаны как параметризованные классы UML с отношениями
реализации, связывающими их экземпляры.
Многие детали объявлений типов данных не могут быть представлены на диаграммах UML. Поэтому для
детальной спецификации таких типов данных должно использоваться формальное определение на языке DTDL
(Data Type Definition Language — язык описания типов данных}.
Некоторые изограничений в определениях на языхе DTDL представлены как ограничения на операции. Если
ограничения присутствуют, то они представляют собой утверждения, взятые из спецификации на языке DTDL.
которые должны быть истинными.
В диаграммах UML используется стереотип «mixin». Он применяется к параметризованному классу и озна
чает. что этот класс является специализацией типа данных, имя которого является значением параметра Т, и в
дополнение к собственным свойствам содержит все свойства этого типа данных.
В.1.8 Обзор типов данных
Представление типов данных в форме диаграммы классов на языке UML показано на рисунке В.1. Перечень
этих типов данных приведен в таблице В. 1.
Таблица В.1 — Перечень типов данных в модели RIM
Имя
СимволОписание
DataValue
ANY Определяет основные свойства каждого типа данных. Это абстрактный тип.
означающий, что никакое значение не может быть только значением данных,
не принадлежащим никакому конкретному типу. Каждый конкретный тип явля
ется специализацией этого общего абстрактного типа DataValue
Boolean
BL Булевский тип представляет значения двузначной лотки. Булевское значение
может быть или TRUE (истина), или FALSE (ложь), или. как и любое другое
значение, может быть пустым (NULL)
BooleanNonNull
BNТип данных BN представляет собой ограничение типа данных BL. в котором
запрещено пустое значение. Этот тип предназначен для использования в тех
случаях, когда пустое значение недопустимо
284