ГОСТ Р ИСО 13584-42—2012
Определение класса предметов, как другого условного класса предметов, все чаще используется в прило
жениях. основанных на общей словарной модели ИСО 13584/МЭК 61360. Более того, данная версия настоящего
стандарта требует изменения информационной модели данного понятия. Поэтому принято решение перенести
соответствующую сущностьязыка EXPRESS, называемую условный класс предметов item_class_case_of, иее су
перкласс. называемый априорным семантическим соотношением a_priori_semantic_relationship, из ИСО 13584-
24:2003 в настоящий стандарт. Указанные сущности включены в новую схему, называемую стандартной условной
схемой класса предметов ISO13584_IEC61360_rtem_class_case_of_schema. ИСО 13584-24:2003 и ИСО 13584-25
обновляются путем внесения технических поправок в установленном порядке.
F.6.2 Определения сущностей стандартной условной схемы класса предметов ISO13584_IEC61360_
item_class_case_of_schema
F.6.2.1 Априорное семантическое соотношение
Априорное семантическое соотношение a_priori_semantic_relationship — это абстрактный класс, опреде
ленный на базедругих классов. Данный класс гложетимпортировать свойства, типыданных, таблицы идокументы,
содержащиеся в указанных классах. Он также импортирует все ограничения, накладывающие условия на область
импортированных свойств в классе, из которого они импортированы. Данный абстрактный ресурс разбивается
классами на подтипы. Если класс специализирует некоторое априорное семантическое соотношение a_priori_
semantic_relationship. то свойства, типы данных, таблицы или документы, определения которых импортированы по
наследству с помощью a_priori_semantic_relationship, становятся применимыми в классе, который их импор
тирует. В частности, свойства и типы данных, импортированные таким образом, могут использоваться для описа ний
реализаций класса. Факт наличия аспекта (продукта), соответствующего каждому импортированному свойству,
является необходимым критерием членства в классе.
П р и м е ч а н и е 1 — Все импортированные свойства и типы данных становятся непосредственно при
менимыми без обеспечения их видимости. Таким образом, они не возвращаются функцией вычисления известных
видимых свойств compute_known_visible_properties или функцией вычисления известных видимых типов дан
ных compute_known_visible_data_type.
П р и м е ч а н и е 2 — Соотношение наследственности — это хорошо известный пример установления се
мантического соотношения между классами, моделируемыми в соответствии с имеющейся обьектно-ориентиро-
ванной парадигмой. Все свойства ипрочие ресурсы, определеные в классе, обычно задаются неявно вовсех своих
подклассах. Данное соотношение используется в Серии стандартов ИСО 13584. где все свойства, типы данных,
таблицы или документы, видимые (и. соответственно, применимые) в некоторых классах, являются неявно види
мыми (и. соответственно, применимыми) во всех своих подклассах. Как обычно, в ИСО 13584 данное наследова
ние является неявным (т.е. не объявлено с помощью априорного семантического соотношения a_priori_semantic_
relationship) и глобальным (т.е. все свойства и типы данных унаследованы всеми его подклассами). Априорное
семантическое соотношение a_priori_semantic_relationshipдает возможность определять прочие семантические
соотношения, используемые в области приложений ИСО 13584, и. вчастности, условные соотношения, допускаю
щие явное и частичное импортирование свойств и прочих ресурсов, определенных в классе.
Пример представления на языке EXPRESS:
*)
ENTITY a_priori_semantic_relationship
ABSTRACT SUPERTYPE
SUBTYPE OF(class):
referenced_classes: SET [1:?) OF class_BSU;
referenced_properties: LIST [0:?1OF property_BSU:
referenced_data_types: SET (0:?JOF data_type_BSU:
referenced_tables: SET [0:?] OF table_BSU:
referenced_doajments: SET [0:?] OF docunrent_BSU;
referenced_constraints: SET [0:?] OF constraint_or_conslraint_id;
WHERE
WR1: QUERY (cons <* SELF.referenced_constraints
I NOT((’ISO13584_IEC61360_DICTIONARY_SCHEMA’ +
\ISO_29002_IRDI_type’) IN TYPEOF(cons))
AND NOT {(’ISO13584_IEC61360_CLASS_CONSTRAINT_SCHEMA’
+.PROPERTY CONSTRAINT) IN TYPEOF (cons)))
= []:
WR2: QUERY (cons <* SELF.referenced_constraints
I ((ISO13584_IEC61360_CLASS_CONSTRAINT_SCHEMA‘
+\PROPERTY_CONSTRAINT) IN TYPEOF (cons))
AND NOT (cons\property_conslraint.constrained_property
IN SELF.referenced_properties))
= []:
WR3: compute_known_referenced_property_constraints(SELF)
<= SELF.referenced_constraints;
145