Application module: Datum difference based model ISO/TS 10303-1660:2018-11(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definition
   4.3 ARM entity definitions
   4.4 ARM subtype constraint definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM entity definitions
     5.2.2 MIM subtype constraint definition

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index

5.2 MIM EXPRESS short listing

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.

5.2.1 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.1.1 datum_difference   EXPRESS-G

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.

5.2.1.2 datum_difference_based_characteristic   EXPRESS-G

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;
(*

5.2.1.3 datum_difference_based_model_parameter   EXPRESS-G

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;
(*

5.2.1.4 datum_difference_functional_unit_usage_view_terminal_assignment   EXPRESS-G

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.

5.2.2 MIM subtype constraint definition

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.

5.2.2.1 ddbm_model_parameter_subtypes   EXPRESS-G

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