ГОСТ Р ИСО 13584-42—2012
Определения атрибутов:
code: дает уникальную идентификацию типа данных для всех онтологий, определенных рассматриваемым
поставщиком name_scope.defined_by.
name_scope: ссылка на класс, на уровне которого (или ниже которого) рассматриваемый элемент типадан
ных доступен для ссылки атрибутом defined_type.
absolute_id: уникальная идентификация данного свойства.
defining_class: класс, объявляющий данный тип данных data_type доступным для использования вописа
нии продукта.
Пояснения к тексту программы:
WR1: класс, используемый в атрибуте name_scope, является суперклассом для класса, где данный тип
data_type определен.
Примечание — Атрибут name_scope используется для кодирования ссылки на класс, которому принад
лежит соответственный тип данных. Данный атрибут, кроме сущности data_type_element (смотри ниже), является
частью кода атрибута «Видимый тип» класса.
F.3.8.1.2 Элемент типаданных (Datajype_element)
Сущность data_type_element описывает типы словарных элементов. Отметим, что нет необходимости
в каждом отдельном случае для заданного типа данных data_type иметь ВСЕ и словарный элемент dictionary_
element, потому что атрибут property_DET может ссылаться на тип данных data_type прямо.
Использование ВСЕ соотношений необходимо, если поставщик ссылается на один и тот же тип в различных
физических файлах.
Пример представления на языке EXPRESS:
*)
ENTITY dala_type_element
SUBTYPE OF(dictionary_e»ement);
SELF\dictionary_element.identified_by: dataJype_BSU.
names: item_names;
type_definition: datatype:
ENDENTITY; — data_type_eiemenl
(*
Определения атрибутов:
identified_by: BCE. задающий описанный элемент data_type_element.
names: имена, дающие описания определенного элемента data_type_element.
type_definition: описание типа элемента data_type_element
Примечание — Повторно объявленный атрибут identified_by используется для кодирования ссылки
на ВСЕ, к которому относится данный элемент типа данных data_type_element. Данный элемент, кроме сущности
data_type_BSU (смотри выше), используется для кодирования атрибута класса «Видимые типы».
F.3.8.2 Система типов
F.3.8.2.1 Тип данных (Datatype)
Сущность data_type служит общим супертипом для сущностей, используемых для указания типа ассоцииро
ванного типа элемента данных DET.
Пример представления на языке EXPRESS:
*)
ENTITY datajype
ABSTRACT SUPERTYPE OF(ONEOF(
simple_type.
complex_type,
named_type));
constraints: SET (0:?) OF domain_constraint;
WHERE
WR1: QUERY (cons <* constraints
|NOT correct_constraint_type (oons. SELF)) = [J;
END_ENTITY; — datajype
(*
Определения атрибутов:
constraints: набор ограничений, ограничивающих область значений типа данных.
Примечание — Каждое ограничение области в атрибуте constraints должно быть выполнено. Таким об
разом. атрибут constraints есть сопряжение ограничений.
Пояснение к тексту программы:
WR1: набор ограничений области должен определять ограничения, совместимые с областью значений
типа данных.
88