|
|
Application module:
Part shape |
ISO/TS 10303-1807:2019(E)
© ISO
|
This clause specifies the information requirements for the
Part shape
application module. The information requirements are specified as the
Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information
requirements is given in
Annex C.
NOTE 2 The mapping specification is specified in
5.1. It shows how
the information requirements are met by using common resources and
constructs defined or imported in the MIM schema of this application
module.
This clause defines the information requirements to which implementations shall
conform using the EXPRESS language as defined in ISO 10303-11.
The following begins the
Part_shape_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Part_shape_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Part_view_definition_arm;
--
ISO/TS 10303-1023
USE FROM
Shape_feature_arm;
--
ISO/TS 10303-1764
USE FROM
Shape_property_assignment_arm;
--
ISO/TS 10303-1032
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Part_view_definition_arm |
ISO/TS 10303-1023 |
| Shape_feature_arm |
ISO/TS 10303-1764 |
| Shape_property_assignment_arm |
ISO/TS 10303-1032 |
NOTE 2
See Annex C,
Figures
C.1and C.2
for a graphical representation of this schema.
This subclause specifies the ARM types
for this application module. The ARM types and
definitions are specified below.
The part_shape_element_definition_select type is an
extensible list of alternate data types
that allows for the designation of the data
types Shape_feature_definition and Part_shape_element.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
part_shape_element_definition_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(Shape_feature_definition,
Part_shape_element);
END_TYPE;
(*
The part_view_definition_or_part_shape_element_select type is an
extensible list of alternate data types
that allows for the designation of the data
types Part_shape_element and Part_view_definition.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
part_view_definition_or_part_shape_element_select =
EXTENSIBLE
SELECT
(Part_shape_element,
Part_view_definition);
END_TYPE;
(*
A ps_additional_application_domain_enumeration provides predefined identifiers for the additional application domains of
Additional_view_definition_contexts.
EXPRESS specification:
*)
TYPE
ps_additional_application_domain_enumeration =
ENUMERATION
BASED_ON
additional_application_domain_enumeration
WITH
(electrical,
thermal);
END_TYPE;
(*
Enumerated item definitions:
electrical:
the application domain is electrical.
thermal:
the application domain is thermal.
The ps_initial_application_domain_enumeration provides predefined identifiers for the initial application domains of
Product_view_definitions.
EXPRESS specification:
*)
TYPE
ps_initial_application_domain_enumeration =
ENUMERATION
BASED_ON
initial_application_domain_enumeration
WITH
(electrical,
thermal);
END_TYPE;
(*
Enumerated item definitions:
electrical:
the application domain is electrical.
thermal:
the application domain is thermal.
This subclause specifies the ARM entities for this
module. Each ARM application entity is an atomic element that
embodies a unique application concept and contains attributes
specifying the data elements of the entity. The ARM
entities and definitions are specified below.
A General_part_feature is a type of
Part_shape_element
that represents an external shape feature of a
Part_view_definition.
EXPRESS specification:
*)
ENTITY General_part_feature
SUBTYPE OF (Part_shape_element);
DERIVE
SELF\Shape_element.product_definitional : BOOLEAN := TRUE;
END_ENTITY;
(*
Attribute definitions:
product_definitional:
the General_part_feature shall be definitional.
A Part_shape_element is a type of
Shape_element
that represents an element of the shape of a
Part_view_definition
or another Part_shape_element.
EXPRESS specification:
*)
ENTITY Part_shape_element
SUBTYPE OF (Shape_element);
SELF\Shape_element.associated_definition : part_view_definition_or_part_shape_element_select;
definition :
OPTIONAL
part_shape_element_definition_select;
END_ENTITY;
(*
Attribute definitions:
associated_definition:
an inherited attribute whose value shall be of type
Part_view_definition.
definition:
specifies a
Shape_feature_definition
or another Part_shape_element
that is the definition of this Part_shape_element.
The value of this attribute need not be specified.
A Part_shape_element_relationship is a type of
Shape_element_relationship
that represents is a relationship between two instances of Part_shape_element.
EXPRESS specification:
*)
ENTITY Part_shape_element_relationship
SUBTYPE OF (Shape_element_relationship);
SELF\Shape_element_relationship.related : Part_shape_element;
SELF\Shape_element_relationship.relating : Part_shape_element;
END_ENTITY;
(*
Attribute definitions:
related:
an inherited attribute whose value shall be of type
Part_shape_element.
relating:
an inherited attribute whose value shall be of type
Part_shape_element.
*)
END_SCHEMA; -- Part_shape_arm
(*
© ISO 2019 — All rights reserved
