Application module: Mechanical design presentation representation with draughting | ISO/TS 10303-1315:2018-11(E) © ISO |
This clause specifies the information requirements for the Mechanical design presentation representation with draughting application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information requirements is given in Annex C.
NOTE 2 The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.
This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the Mechanical_design_presentation_representation_with_draughting_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Mechanical_design_presentation_representation_with_draughting_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Associative_draughting_elements_arm;
--
ISO/TS 10303-1311
USE FROM
Characterized_representation_arm;
--
ISO/TS 10303-1805
USE FROM
Mechanical_design_geometric_presentation_arm;
--
ISO/TS 10303-1313
USE FROM
Mechanical_design_shaded_presentation_arm;
--
ISO/TS 10303-1314
USE FROM
Part_view_definition_arm;
--
ISO/TS 10303-1023
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Associative_draughting_elements_arm ISO/TS 10303-1311 Characterized_representation_arm ISO/TS 10303-1805 Mechanical_design_geometric_presentation_arm ISO/TS 10303-1313 Mechanical_design_shaded_presentation_arm ISO/TS 10303-1314 Part_view_definition_arm ISO/TS 10303-1023
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.
The mdprwd_draughting_model_element_select type is an extension of the draughting_model_element_select type. It adds the data type Camera_model_d3 to the list of alternate data types.
EXPRESS specification:
*)
TYPE
mdprwd_draughting_model_element_select =
SELECT
BASED_ON
draughting_model_element_select
WITH
(Camera_model_d3);
END_TYPE;
(*
The mdprwd_element_select type is an extensible list of alternate data types that allows for the designation of the data types Axis_placement, and Camera_model_d3.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
mdprwd_element_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(Axis_placement,
Camera_model_d3);
END_TYPE;
(*
The mechanical_design_and_draughting_relationship_select type is an extensible list of alternate data types that allows for the designation of the data types Draughting_model, Geometric_model, Mechanical_design_shaded_styled_model, Mechanical_design_presentation_representation_with_draughting, and Mechanical_representation_styled_model.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
mechanical_design_and_draughting_relationship_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(Draughting_model,
Geometric_model,
Mechanical_design_shaded_styled_model,
Mechanical_design_presentation_representation_with_draughting,
Mechanical_representation_styled_model);
END_TYPE;
(*
This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY Default_model_geometric_view
SUBTYPE OF (Model_geometric_view, Shape_element);
SELF\Shape_element.associated_definition : Part_view_definition;
DERIVE
SELF\Shape_element.product_definitional : BOOLEAN := FALSE;
UNIQUE
UR1: associated_definition;
WHERE
WR1: SELF\Characterizable_object.name = SELF\Shape_element.element_name;
WR2: NOT EXISTS(SELF\Shape_element.description);
WR3: NOT EXISTS(SELF\Shape_element.identified_item);
WR4: NOT EXISTS(SELF\Shape_element.nodes);
WR5: NOT EXISTS(SELF\Shape_element.undirected_link);
END_ENTITY;
(*
Attribute definitions:
associated_definition: the Part_view_definition that has the Default_model_geometric_view
product_definitional: the Default_model_geometric_view shall be non-definitional
Formal propositions:
UR1: No more than one Default_model_geometric_view shall be provided for a specific Part_view_definition.
WR1: The names inherited from Model_geometric_view and from Shape_element are required to be identical.
WR2: The description inherited is not populated.
WR3: The identified_item inherited is not populated.
WR4: The nodes inherited are not populated.
WR5: The undirected_link inherited is not populated.
EXPRESS specification:
*)
ENTITY Mechanical_design_and_draughting_relationship
SUBTYPE OF (Definitional_representation_relationship);
SELF\Representation_relationship.rep_1 : mechanical_design_and_draughting_relationship_select;
SELF\Representation_relationship.rep_2 : mechanical_design_and_draughting_relationship_select;
WHERE
WR1: NOT('ASSOCIATIVE_DRAUGHTING_ELEMENTS_ARM.'+'DRAUGHTING_MODEL' IN TYPEOF(rep_2)) OR
(SIZEOF(['ASSOCIATIVE_DRAUGHTING_ELEMENTS_ARM.'+'DRAUGHTING_MODEL',
'ELEMENTAL_GEOMETRIC_SHAPE_ARM.'+'GEOMETRIC_MODEL'] * TYPEOF(rep_1)) = 1);
WR2: NOT('MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_ARM.'+'MECHANICAL_REPRESENTATION_STYLED_MODEL' IN TYPEOF(rep_2))
OR (SIZEOF(['MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_ARM.'+'MECHANICAL_REPRESENTATION_STYLED_MODEL',
'ELEMENTAL_GEOMETRIC_SHAPE_ARM.'+'GEOMETRIC_MODEL'] * TYPEOF(rep_1)) = 1);
WR3: NOT('MECHANICAL_DESIGN_SHADED_PRESENTATION_ARM.'+'MECHANICAL_DESIGN_SHADED_STYLED_MODEL' IN TYPEOF(rep_2))
OR (SIZEOF(['MECHANICAL_DESIGN_SHADED_PRESENTATION_ARM.'+'MECHANICAL_DESIGN_SHADED_STYLED_MODEL',
'ELEMENTAL_GEOMETRIC_SHAPE_ARM.'+'GEOMETRIC_MODEL'] * TYPEOF(rep_1)) = 1);
END_ENTITY;
(*
Attribute definitions:
rep_1: an attribute inherited from the Representation_relationship shall be redeclared as the mechanical_design_and_draughting_relationship_select for the Mechanical_design_and_draughting_relationship.
rep_2: an attribute inherited from the Representation_relationship shall be redeclared as the mechanical_design_and_draughting_relationship_select for the Mechanical_design_and_draughting_relationship.
Formal propositions:
WR1: If rep_2 is a Draughting_model then rep_1 must also be a Draughting_model or a Geometric_model.
WR2: If rep_2 is a Mechanical_representation_styled_model then rep_1 must also be a Mechanical_representation_styled_model or a Geometric_model.
WR3: If rep_2 is a Mechanical_design_shaded_styled_model then rep_1 must also be a Mechanical_design_shaded_styled_model or a Geometric_model.
EXPRESS specification:
*)
ENTITY Mechanical_design_presentation_representation_with_draughting
SUBTYPE OF (Styled_model);
SELF\Representation.items : SET[1:?] OF mdprwd_element_select;
WHERE
WR1: SELF\Representation.context_of_items\Geometric_coordinate_space.dimension_count = 3;
END_ENTITY;
(*
Attribute definitions:
items: an attribute inherited from the Representation shall be redeclared as the mdprwd_element_select for the Mechanical_design_presentation_representation_with_draughting. There shall exist one or more mdprwd_element_select for the Mechanical_design_presentation_representation_with_draughting.
Formal propositions:
WR1: The context_of_items should be a three-dimensional.
EXPRESS specification:
*)
ENTITY Model_geometric_view
SUBTYPE OF (Characterized_item_within_representation);
SELF\Characterized_item_within_representation.rep : Draughting_model;
SELF\Characterized_item_within_representation.item : Camera_model_d3;
WHERE
WR1: NOT EXISTS(SELF\Characterizable_object.description);
WR2: NOT EXISTS(SELF\Characterizable_object.shape_type);
WR3: NOT EXISTS(SELF\Characterizable_object.primary_shape_representation);
WR4: NOT EXISTS(SELF\Characterizable_object.auxiliary_shape_representations);
END_ENTITY;
(*
Attribute definitions:
rep: the representation of a Draughting_model.
item: the represented item of a Camera_model_d3.
Formal propositions:
WR1: The description is not populated.
WR2: The shape_type is not populated.
WR3: The primary_shape_representation is not populated.
WR4: The auxiliary_shape_representations is not populated.
*)
END_SCHEMA; -- Mechanical_design_presentation_representation_with_draughting_arm
(*
© ISO 2018 — All rights reserved