ГОСТ Р ИСО/ТС 10303-1203—2009
EXPRESS-спецификация:
*)
TYPE externally_identified_schematic_element_definition = SELECT
BASED_ON external JdentificationJtem WITH
(implicit_schematic_element_definition);
END_TYPE;
r
5.2.2 Определения объектов ИММ
В данном пункте определены объекты ИММдля настоящего прикладного модуля.
5.2.2.1 Объектdrawing_revislon_class_of_document
Объектdrawing_revisfon_class_of_documentявляетсяподтипомобъекта
product_definition_formation, подтипом объекта class (класс), который в данном контексте представ
ляет классдокумента, и подтипом объекта drawing_revision.
EXPRESS-спецификация:
‘ )
ENTITY drawing_revision_cJass_of_document
SUBTYPE OF (class. product_definition_formation. drawing_revision);
WHERE
appropriate_category: SELF.of_product.name =’document’;
END_ENTITY:
r
Формальное утверждение:
appropriate_category.рольатрибутаof_product.наследуемогоотобъекта
product_defmition_formation, играет объект типа product, у которого атрибут name имеет значение
’document’ (документ).
5 2.2.2 Объект drawing_sheet_revision_class_of_documont
Объектdrawing_sheet_revision_class_of_documentявляетсяподтипомобъекта
product_definition_formation. подтипом объекта class (класс), который в данном контексте представ
ляет классдокумента, и подтипом объекта drawing_sheet_revislon.
EXPRESS-спецификация:
*)
ENTITY drawing_sheet_revision_class_of_document
SUBTYPE OF (class. product_definition_formation, drawing_sheet revision);
WHERE
appropriate_category: SELF.of_product.name = ’document’;
END_ENTITY;
r
Формальное утверждение
appropriate_category:рольатрибутаof_product.наследуемогоотобъекта
product_definition_formation, играет объект типа product, у которого атрибут name имеет значение
’document’ (документ).
*)
END_SCHEMA: — Schematic_and_symbolization_mim
(*
ю