ГОСТ Р ИСО 10303-22-2002
6.4.6 О б ъ е к т referencedjtem
Объект referencedjtem является объектом explicitJtem Jd, доступным текущей схеме через спе
цификацию интерфейса на языке EXPRESS для оператора REFERENCE.
EXPRESS-спеиификаиия
*>
ENTITY referenced item
SUBTYPE OF (explicit item id);
END_ENTITY;
<•
6.4.7 О б ъ е к т implicitJtem_id
Объект implicit_itemjd является объектом namedjype или global_rule. неявно импортирован
ным в текущую схему через спецификацию интерфейса на языке EXPRESS для операторов USE
или REFERENCE (см. 11.4 ГОСТ Р ИСО 10303-11).
EXPRESS-спеиификаиия
*)
ENTI TY implicit item id
SUBTYPE OF (interfacedJtem);
local definition : tvpe_or_rule;
END_ENTITY;
C
Определение атрибута
local_definition —определение в текущей схеме элемента на языке EXPRESS, неявно импорти
рованного из инородной схемы.
6.4.8 О б ъ е к т extemal_schema
Объект e.\ternal_schema является EXPRESS-схемоЙ, типы из которой объявляются как имею
щие эквивалентные области значений с типами из собственной схемы.
EXPRESS-снециФикация
*>
ENTITY external_schema;
name: expressjd;
native schema : schema definition;
INVERSE
forjvpes : SET |I:?| OF domain_equivalent tvpe FOR owner;
END_ENTITY;
C
Определения атрибутов
name: — имя внешней схемы;
native_schema — локальная схема, в которой типы, определенные во внешней схеме, имеют
эквиваленте области значений;
forjypes —типы в собственной и внешней схемах, определенные эквивалентными по области
значений.
Неформальные утверждения
IPI —должен существовать отдельный экземпляр внешней схемы для каждой схемы, содержа
щей типы объектов, объявленные эквивалентными по области значений с типами объектов в соб
ственной схеме.
6.4.9 О б ъ е к т domain_equivalent_type
Объект domain_equivalent_type связывает имя объекта namedjype из внешней схемы с объек
том namedjype из собственной схемы. Этим объявляется, что объект namedjype. определенный во
внешней схеме, эквивалентен по области значения с объектом namedjype, определенным в соб
ственной схеме.
EXPRESS-спецификация
*)
ENTITY domain_equivalentjype;
externaljypejd: e.xpress_id;
native type: namedjype;
owner: external schema;
END_ENT1TY;
C
12