|
|
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:
-
use of a supertype entity does not make applicable any of its
specializations, unless the specialization is also imported in the
MIM schema;
-
use of a SELECT type does not make applicable any of its listed types
unless the listed type is also imported in the MIM schema.
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
