ГОСТ Р ИСО 13584-42—2012
П р и м е ч а н и е 3 — Другой подтип item_class, называемый классом особенностей feature_class. опре
делен ИСО 13584-24:2003. Данный подтип также больше не используется. Его использование не допускается в но
вых практических реализациях настоящего стандарта.
П р и м е ч а н и е 4 — Нижеследующие изменения гарантируют, что определения класса словаря, удов
летворяющего требованиям ИСО 13584-25. удовлетворяют также и настоящему стандарту: (1) замена класса осо
бенностей feature_class на класс предметов item_class с помощью ссылочного словаря: (2) добавление к каж
дому новому классу предметов item_class атрибута совместного использования реализаций instance_sharable со
значением false; (3) добавление к каждому новому классу предметов rtem_class вспомогательного атрибута
hierarchical_position без значения: (4) добавление к каждому новому классу предметов item_class атрибута клю
чевого слова keywords, значением которого является пустое множество.
F.3.6.1.1 БСЕ класса (Class_BSU)
Сущность class_BSU обеспечивает идентификацию класса.
Пример представления на языке EXPRESS:
’)
ENTITY c!ass_BSU
SUBTYPE OF(basic_semantic_unit):
SELF\basic_semantic_unit.code: class_code_type;
defmed_by: supplier_BSU;
DERIVE
absolutejd: identifier
:= defmed_by.absolute Jd + sep_id + dicjdentifier:
known_visible_properties: SET [0:?] OF property_BSU
:= compute_known_visible_properties(SELF);
known_visible_data_types: SET [0:?] OF data_type_BSU
:= сотриte_known_visible_data_types (SELF);
INVERSE
subclasses: SET [0:?] OF class FOR its_superclass;
added_visible_proper1ies: SET (0:?) OF property_BSU
FOR name_scope;
added_visible_data_types: SET [0:?] OF data_type_BSU
FOR name_scope:
UNIQUE
UR1: absolute_»d;
END_ENTITY; — class_BSU
<*
Определения атрибутов:
code: код. назначенный данному классу его поставщиком.
defined_by: поставщик, определяющий данный класс и его словарный элемент.
absolute_id: уникальная идентификация данного класса.
known_visible_properties: набор БСЕ свойств property_BSU, ссылающихся на класс как атрибут имени
name_scope, или на любой известный суперкласс данного класса, и. следовательно, являющихся видимыми в
данном классе (любом его подклассе).
П р и м е ч а н и е 1 — Если словарное определение dictionary_definition некоторого класса не при
сутствует в рассматриваемом контексте обмена (а контекст обмена PLIB никогда не предполагается полным), то
суперкласс для рассматриваемого класса может быть не известен. Следовательно, свойства, определенные как
видимые в данном суперклассе, не принадлежат атрибуту known_visible_properties. Только для получаю щей
системы все словарные определения dictionary_definition БСЕ должны быть доступными. Следовательно, для
получающей системы атрибут known_visible_properties содержит все свойства, видимые вданном классе.
known_visible_data_types: набор БСЕ типов данных data_type_BSU, ссылающихся на класс как атрибут
name_scope или на любой известный суперкласс данного класса, и. следовательно, являющихся видимыми вдан
ном классе (любом его подклассе).
П р и м е ч а н и е 2 — Если некоторые словарные определения dictionary_definition класса не присут
ствуют в рассматриваемом контексте обмена (а контекст обмена библиотеки PLIB никогда не предполагается
полным), то суперкласс для данного класса может быть не известен. Следовательно, типы данных data_types,
определенные как видимые данным суперклассом, не принадлежат атрибуту известного видимого типа данных
known_visible_data_type. Для получающей системы все словарные определения dictionary_definition БСЕдолж ны
быть доступными. Следовательно, для получающей системы, атрибут known_visible_data_type содержит все типы
данных datatypes, видимые в данном классе.
subclasses набор классов, определяющих данный класс как их суперкласс.
73