ГОСТ Р ИСО/ТС 10303-1160—2009
В данном пункте определена интерпретированная модель (ИММ) для настоящего прикладного
модуля, а также определены модификации, которым подвергаются конструкции, импортированные из
общих ресурсов.
На использованиев даннойсхеме конструкций, определенных вобщих ресурсах или вприкладных
модулях, накладываются следующиеограничения:
- использование объекта супертипа не означает применение любой из его конкретизаций, если
толькоданная конкретизация также неимпортирована в схему ИММ:
- использование типа SELECT не означает применение любого из указанных в нем типов, если
толькоданный тип также не импортирован в схему ИММ.
EXPRESS-спсиификация:
’*)
SCHEMA Class_of_containment_of_product_mim;
USE FROM Class_mim: -- ISO/TS 10303-1070
USE FROM Class_of_product_mim; -- ISO/TS 10303-1077
USE FROM Product_version_relationship_mim; -- ISO/TS 10303-1020
Г
П р и м е ч а н и я
1 Схемы, ссылки на которые даны выше, можно найти а следующих стандартах комплекса ИСО 10303:
Class_mim
Ctass_of_product_mim
- ИСО/ТС 10303-1070
-ИСО/ТС 10303-1077
Product_version_relattonshlp_mim - ИСО/ТС 10303-1020
2 Графическое представление этих схем см. в приложении D. рисунки 0.1 и D.2.
5.2.1 Определение объекта ИММ
В данном пункте определенобъект ИММ для настоящего прикладного модуля.
5.2.1.1 Объект class_of_containment_of_product
Объект class_of_containment_of_product является подтипом объекта product_defmition_
formation_relationship и объекта class, что соответствует объекту Class_of_containment_of_product
(какопределено для ПЭМ).
EXPRESS-спецификация:
ENTITYclass_of_containment_of_product
SUBTYPE OF (product_definition_formation_relationship. class);
SELF\product_definition_formation_relationship. relating_product_definition_formation : dass of product:
SELF’product_definition_ formation_relationship. related_product_definition_formation:class ofproduct;
END_ENTITY;
C
Определения атрибутов:
relating_product_definition_formation: экземпляр объекта Class_of_product. содержащий эле
менты. являющиеся «контейнерами»;
related_product_definition_formation: экземпляр объекта Class_of_product. содержащий эле
менты. находящиеся внутри «контейнеров».
’)
END_SCHEMA; - Class_of_containment_of_product_mim
(*
7