Application module: Datum difference based model | ISO/TS 10303-1660:2018-11(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:
Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.
EXPRESS specification:
*)
SCHEMA Datum_difference_based_model_mim;
USE FROM
Geometric_tolerance_mim;
--
ISO/TS 10303-1051
USE FROM
Model_parameter_mim;
--
ISO/TS 10303-1703
USE FROM
Functional_usage_view_mim;
--
ISO/TS 10303-1705
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Geometric_tolerance_mim ISO/TS 10303-1051 Model_parameter_mim ISO/TS 10303-1703 Functional_usage_view_mim ISO/TS 10303-1705
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
A datum_difference is a type of shape_aspect and a shape_aspect_relationship that implements the ARM concept of Datum_difference.
EXPRESS specification:
*)
ENTITY datum_difference
SUBTYPE OF (shape_aspect, shape_aspect_relationship);
SELF\shape_aspect_relationship.relating_shape_aspect : datum;
SELF\shape_aspect_relationship.related_shape_aspect : datum;
WHERE
WR1: SELF\shape_aspect_relationship.relating_shape_aspect :<>:
SELF\shape_aspect_relationship.related_shape_aspect;
END_ENTITY;
(*
Attribute definitions:
relating_shape_aspect: an inherited attribute shall be of type datum for the datum_difference.
related_shape_aspect: an inherited attribute shall be of type datum for the datum_difference.
Formal propositions:
WR1: The relating_shape_aspect shall not be equal to the related_shape_aspect.
A datum_difference_based_characteristic is a type of representation_item that implements the ARM concept of Datum_difference_based_characteristic.
EXPRESS specification:
*)
ENTITY datum_difference_based_characteristic
SUBTYPE OF (representation_item);
END_ENTITY;
(*
A datum_difference_based_model_parameter is a type of model_parameter that implements the ARM concept of Datum_difference_based_model_parameter.
EXPRESS specification:
*)
ENTITY datum_difference_based_model_parameter
SUBTYPE OF (model_parameter);
END_ENTITY;
(*
A datum_difference_functional_unit_usage_view_terminal_assignment is a type of shape_aspect_relationship that implements the ARM concept of Datum_difference_functional_unit_usage_view_terminal_assignment.
EXPRESS specification:
*)
ENTITY datum_difference_functional_unit_usage_view_terminal_assignment
SUBTYPE OF (shape_aspect_relationship);
SELF\shape_aspect_relationship.relating_shape_aspect : datum_difference;
SELF\shape_aspect_relationship.related_shape_aspect : functional_unit_terminal_definition;
END_ENTITY;
(*
Attribute definitions:
relating_shape_aspect: specifies a role of the datum_difference for the datum_difference_functional_unit_usage_view_terminal_assignment.
related_shape_aspect: specifies a role of the functional_unit_terminal_definition for the datum_difference_functional_unit_usage_view_terminal_assignment.
This subclause specifies the MIM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The MIM subtype constraint and definition is specified below.
The ddbm_model_parameter_subtypes constraint specifies a constraint that applies to instances of model_parameter and enforces the rule that its subtypes datum_difference_based_model_parameter and schema_based_model_parameter are exclusive.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT ddbm_model_parameter_subtypes FOR model_parameter;
ONEOF (datum_difference_based_model_parameter,
schema_based_model_parameter);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Datum_difference_based_model_mim
(*
© ISO 2018 — All rights reserved