Application module: Schematic and symbolization | ISO/TS 10303-1203:2005(E) © ISO |
This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.
This clause constitutes the Module Interpreted Module (MIM) of the application module.
This clause also specifies the modifications that apply to the constructs imported from the common resources.
The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:
*)
SCHEMA Schematic_and_symbolization_mim;
USE FROM
Schematic_element_library_mim;
--
ISO/TS 10303-1208
USE FROM
Schematic_drawing_mim;
--
ISO/TS 10303-1204
USE FROM
Document_and_version_identification_mim;
--
ISO/TS 10303-1121
USE FROM
Class_mim;
--
ISO/TS 10303-1070
USE FROM
Symbolization_by_schematic_element_mim;
--
ISO/TS 10303-1209
USE FROM
External_item_identification_assignment_mim;
--
ISO/TS 10303-1128
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Schematic_element_library_mim ISO/TS 10303-1208 Schematic_drawing_mim ISO/TS 10303-1204 Document_and_version_identification_mim ISO/TS 10303-1121 Class_mim ISO/TS 10303-1070 Symbolization_by_schematic_element_mim ISO/TS 10303-1209 External_item_identification_assignment_mim ISO/TS 10303-1128
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM type for this application module. The MIM type and definition is specified below.
An implicit_schematic_element_definition that has an external identification.
EXPRESS specification:
*)
TYPE
externally_identified_schematic_element_definition =
SELECT
BASED_ON
external_identification_item
WITH
(implicit_schematic_element_definition);
END_TYPE;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
A drawing_revision_class_of_document is a product_definition that is a class of document and drawing_revision.
EXPRESS specification:
*)
ENTITY drawing_revision_class_of_document
SUBTYPE OF (class, product_definition_formation, drawing_revision);
WHERE
appropriate_category: appropriate_category: SELF.of_product.name = 'document';
END_ENTITY;
(*
Formal propositions:
appropriate_category: The product_definition_formation shall be for a product that has a product_category with the name 'document'.
A drawing_sheet_revision_class_of_document is a product_definition that is a class of document and a drawing_sheet_revision.
EXPRESS specification:
*)
ENTITY drawing_sheet_revision_class_of_document
SUBTYPE OF (class, product_definition_formation, drawing_sheet_revision);
WHERE
appropriate_category: appropriate_category: SELF.of_product.name = 'document';
END_ENTITY;
(*
Formal propositions:
appropriate_category: The product_definition_formation shall be for a product that has a product_category with the name 'document'.
*)
END_SCHEMA; -- Schematic_and_symbolization_mim
(*
© ISO 2005 — All rights reserved