|
|
Application module:
Component feature |
ISO/TS 10303-1657:2019(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 Component_feature_mim;
USE FROM
Assembly_component_mim;
--
ISO/TS 10303-1802
USE FROM
Assembly_shape_mim;
--
ISO/TS 10303-1808
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Assembly_component_mim |
ISO/TS 10303-1802 |
| Assembly_shape_mim |
ISO/TS 10303-1808 |
NOTE 2
See Annex D,
Figures
D.1and D.2
for a graphical representation of this schema.
This subclause specifies the MIM type
for this application module. The MIM type and
definition is specified below.
The cf_groupable_item type is an extension
of the
groupable_item type.
It adds the data
type
component_feature
to the list of alternate data types.
EXPRESS specification:
*)
TYPE
cf_groupable_item =
SELECT
BASED_ON
groupable_item
WITH
(component_feature);
END_TYPE;
(*
This subclause specifies the MIM entities for this
module. The MIM entities and definitions are specified below.
A component_feature is a type of
shape_aspect
that implements the ARM concept of
Component_feature.
EXPRESS specification:
*)
ENTITY component_feature
SUBTYPE OF (shape_aspect);
SELF\shape_aspect.of_shape : assembly_component;
END_ENTITY;
(*
Attribute definitions:
of_shape:
an inherited attribute shall be of type
assembly_component
for the component_feature.
A component_feature_joint is a type of
shape_aspect
and a
shape_aspect_relationship
that implements the ARM concept of
Component_feature_joint.
EXPRESS specification:
*)
ENTITY component_feature_joint
SUBTYPE OF (shape_aspect_relationship, shape_aspect);
SELF\shape_aspect_relationship.relating_shape_aspect : component_feature;
SELF\shape_aspect_relationship.related_shape_aspect : component_feature;
END_ENTITY;
(*
Attribute definitions:
relating_shape_aspect:
an inherited attribute shall be of type
component_feature
for the component_feature_joint.
related_shape_aspect:
an inherited attribute shall be of type
component_feature
for the component_feature_joint.
A component_feature_relationship is a type of shape_aspect_relationship that implements the ARM concept of Component_feature_relationship
EXPRESS specification:
*)
ENTITY component_feature_relationship
SUBTYPE OF (shape_aspect_relationship);
SELF\shape_aspect_relationship.relating_shape_aspect : component_feature;
SELF\shape_aspect_relationship.related_shape_aspect : component_feature;
WHERE
WR1: SELF\shape_aspect_relationship.related_shape_aspect :<>:
SELF\shape_aspect_relationship.relating_shape_aspect;
END_ENTITY;
(*
Attribute definitions:
relating_shape_aspect:
an inherited attribute shall be of type
component_feature
for the component_feature_relationship.
related_shape_aspect:
an inherited attribute shall be of type
component_feature
for the component_feature_relationship.
Formal propositions:
WR1:
The related element shall not be the relating element.
A component_terminal is a type of component_feature that implements the ARM concepts of:
EXPRESS specification:
*)
ENTITY component_terminal
SUBTYPE OF (component_feature);
END_ENTITY;
(*
A make_from_feature_relationship is a type of component_feature_relationship that implements
the ARM concept
of Component_feature_make_from_relationship.
EXPRESS specification:
*)
ENTITY make_from_feature_relationship
SUBTYPE OF (component_feature_relationship);
END_ENTITY;
(*
*)
END_SCHEMA; -- Component_feature_mim
(*
© ISO 2019 — All rights reserved
