|
|
Application module:
Feature and connection zone |
ISO/TS 10303-1671: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 Feature_and_connection_zone_mim;
USE FROM
Shape_feature_mim;
--
ISO/TS 10303-1764
USE FROM
Surface_conditions_mim;
--
ISO/TS 10303-1110
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Shape_feature_mim |
ISO/TS 10303-1764 |
| Surface_conditions_mim |
ISO/TS 10303-1110 |
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 connection_zone_interface_plane_relationship is a type of
shape_aspect
and of
shape_aspect_relationship
that implements the ARM concept of
Connection_zone_bare_die_interface_plane_relationship.
EXPRESS specification:
*)
ENTITY connection_zone_interface_plane_relationship
SUBTYPE OF (shape_aspect, shape_aspect_relationship);
UNIQUE
UR1: SELF\shape_aspect.name;
END_ENTITY;
(*
Formal propositions:
UR1:
The
name
shall be unique within a population of connection_zone_interface_plane_relationships.
A feature_definition_with_connection_area is a type of
shape_feature_definition
that implements the ARM concept of
Feature_definition_with_connection_area.
EXPRESS specification:
*)
ENTITY feature_definition_with_connection_area
SUBTYPE OF (shape_feature_definition);
END_ENTITY;
(*
*)
END_SCHEMA; -- Feature_and_connection_zone_mim
(*
© ISO 2018 — All rights reserved
