Application module: Derived shape element ISO/TS 10303-1130: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
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type 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

4 Information requirements

This clause specifies the information requirements for the Derived shape element 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 Derived_shape_element_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Derived_shape_element_arm;
(*

4.1 Required AM ARMs

The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.

EXPRESS specification:

*)
USE FROM Construction_geometry_arm;    --  ISO/TS 10303-1131

USE FROM Shape_property_assignment_arm;    --  ISO/TS 10303-1032

USE FROM Value_with_unit_arm;    --  ISO/TS 10303-1054
(*

NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Construction_geometry_arm ISO/TS 10303-1131
Shape_property_assignment_arm ISO/TS 10303-1032
Value_with_unit_arm ISO/TS 10303-1054

NOTE 2   See Annex C, Figures C.1and C.2 for a graphical representation of this schema.

4.2 ARM type definition

This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.

4.2.1 dse_shape_model   EXPRESS-G

The dse_shape_model type is an extension of the shape_model type. It adds the data type Constructive_geometry to the list of alternate data types.

EXPRESS specification:

*)
TYPE dse_shape_model = SELECT BASED_ON shape_model WITH
   (Constructive_geometry);
END_TYPE;
(*

4.3 ARM entity definitions

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.

4.3.1 Apex   EXPRESS-GMapping table

An Apex is a type of Derived_shape_element that defines the point corresponding to the common apex (the location where a plane and conical element intersect at a single point) of one or more conical Shape_elements. The common intersection of three or more planes or two curves shall be treated as a Geometric_intersection rather than as an Apex.

EXPRESS specification:

*)
ENTITY Apex
  SUBTYPE OF (Derived_shape_element);
END_ENTITY;
(*

4.3.2 Centre_axis   EXPRESS-GMapping table

A Centre_axis is a type of Centre_of_symmetry that is axial in form.

NOTE    The precise interpretation of a Centre_axis is context dependent. That is, the distinction is not made between an axis of a feature and a derived median line of a feature as defined in 1.3 of ASME Y14.5M.

EXAMPLE    A Position_tolerance and a Straightness_tolerance may be applied to the same Centre_axis of a cylindrical Shape_element.

EXPRESS specification:

*)
ENTITY Centre_axis
  SUBTYPE OF (Centre_of_symmetry);
WHERE
  WR1: NOT EXISTS(SELF\Shape_element.description);
END_ENTITY;
(*

Formal propositions:

WR1: The description shall not be specified.

Informal propositions:

IP1: The form of the Shape_elements from which the Centre_axis is derived shall be consistent with the form of shape elements from which a centre axis can be derived.

4.3.3 Centre_of_symmetry   EXPRESS-GMapping table

A Centre_of_symmetry is a type of Derived_shape_element that is derived by determining the geometric centre of one or more Shape_element. A Centre_of_symmetry may be either a Centre_axis, a Centre_plane a Centre_point a Median_curve or a Median_surface.

EXPRESS specification:

*)
ENTITY Centre_of_symmetry
  SUPERTYPE OF (ONEOF (Centre_axis,
                       Centre_plane,
                       Centre_point,
                       Median_curve,
                       Median_surface))
  SUBTYPE OF (Derived_shape_element);
END_ENTITY;
(*

4.3.4 Centre_plane   EXPRESS-GMapping table

A Centre_plane is a type of Centre_of_symmetry that is the centre plane between two opposing surfaces.

EXAMPLE    A Flatness_tolerance may be applied to the Centre_plane of two opposing planar Shape_elements.

EXPRESS specification:

*)
ENTITY Centre_plane
  SUBTYPE OF (Centre_of_symmetry);
WHERE
  WR1: NOT EXISTS(SELF\Shape_element.description);
END_ENTITY;
(*

Formal propositions:

WR1: The description shall not be specified.

Informal propositions:

IP1: The form of the Shape_elements from which the Centre_plane is derived shall be consistent with the form of shape elements from which a centre plane can be derived.

4.3.5 Centre_point   EXPRESS-GMapping table

A Centre_point is a type of Centre_of_symmetry the form of which is that of a point.

EXPRESS specification:

*)
ENTITY Centre_point
  SUBTYPE OF (Centre_of_symmetry);
WHERE
  WR1: NOT EXISTS(SELF\Shape_element.description);
END_ENTITY;
(*

Formal propositions:

WR1: The description shall not be populated.

Informal propositions:

IP1: The form of the Shape_elements from which the Centre_point is derived shall be consistent with the form of shape elements from which a centre point can be derived.

4.3.6 Derived_shape_element   EXPRESS-GMapping table

A Derived_shape_element is a type of Shape_element. It represents a shape element derived from one or more other Shape_elements.

EXAMPLE    The centre plane of an ideal slot is an example of a Derived_shape_element, that is derived from a symmetrical feature of the shape of a part. Its shape is uniquely specified without further geometric description.

Each Derived_shape_element is either an Apex, a Centre_of_symmetry, a Geometric_contact, an Extension, a Geometric_intersection, a Geometric_alignment, a Parallel_offset, a Perpendicular_to, or a Tangent.

EXPRESS specification:

*)
ENTITY Derived_shape_element
  ABSTRACT SUPERTYPE OF (ONEOF (Apex,
                                Centre_of_symmetry,
                                Geometric_contact,
                                Extension,
                                Geometric_intersection,
                                Geometric_alignment,
                                Parallel_offset,
                                Perpendicular_to,
                                Tangent))
  SUBTYPE OF (Shape_element);
  derived_from : SET[1:?] OF Shape_element;
END_ENTITY;
(*

Attribute definitions:

derived_from: the set of instances of Shape_element from which the Derived_shape_element is derived.

NOTE    Cardinality of this set depends on the kind of derivation.

4.3.7 Extension   EXPRESS-GMapping table

An Extension is a type of Derived_shape_element that corresponds to the extension of a curve or surface Shape_element.

EXPRESS specification:

*)
ENTITY Extension
  SUBTYPE OF (Derived_shape_element);
  SELF\Derived_shape_element.derived_from : SET[1:1] OF Shape_element;
END_ENTITY;
(*

Attribute definitions:

derived_from: an attribute inherited from the Derived_shape_element shall be redeclared as the Shape_element for the Extension. There shall exist exactly one Shape_element for the Extension.

4.3.8 Geometric_alignment   EXPRESS-GMapping table

A Geometric_alignment is a type of Derived_shape_element that defines a planar or linear feature that requires two or more features lying in the same plane or along the same line.

EXPRESS specification:

*)
ENTITY Geometric_alignment
  SUBTYPE OF (Derived_shape_element);
  SELF\Derived_shape_element.derived_from : SET[2:?] OF Shape_element;
END_ENTITY;
(*

Attribute definitions:

derived_from: an attribute inherited from the Derived_shape_element shall be redeclared as the Shape_element for the Geometric_alignment. There shall exist two or more Shape_elements for the Geometric_alignment.

4.3.9 Geometric_contact   EXPRESS-GMapping table

A Geometric_contact is a type of Derived_shape_element.

EXPRESS specification:

*)
ENTITY Geometric_contact
  SUBTYPE OF (Derived_shape_element);
  SELF\Derived_shape_element.derived_from : SET[2:2] OF Shape_element;
END_ENTITY;
(*

Attribute definitions:

derived_from: an attribute inherited from the Derived_shape_element shall be redeclared as the Shape_element for the Geometric_contact. There shall exist exactly two Shape_elements for the Geometric_contact.

4.3.10 Geometric_intersection   EXPRESS-GMapping table

A Geometric_intersection is a type of Derived_shape_element that is the common intersection of two or more Shape_elements.

NOTE    Since a Geometric_intersection is a derived shape, the use of intersection here is independent of any specific representation.

EXAMPLE    A Geometric_intersection is established by the intersection of two planar extensions from the adjacent sides of the block.

EXPRESS specification:

*)
ENTITY Geometric_intersection
  SUBTYPE OF (Derived_shape_element);
  SELF\Derived_shape_element.derived_from : SET[2:?] OF Shape_element;
END_ENTITY;
(*

Attribute definitions:

derived_from: an attribute inherited from the Derived_shape_element shall be redeclared as the Shape_element for the Geometric_intersection. There shall exist two or more Shape_elements for the Geometric_intersection.

4.3.11 Median_curve   EXPRESS-GMapping table

A Median_curve is a type of Centre_of_symmetry between two or more curves.

EXPRESS specification:

*)
ENTITY Median_curve
  SUBTYPE OF (Centre_of_symmetry);
WHERE
  WR1: NOT EXISTS(SELF\Shape_element.description);
END_ENTITY;
(*

Formal propositions:

WR1: The description shall not be specified.

Informal propositions:

IP1: The form of the Shape_elements from which the Median_curve is derived shall be consistent with the form of shape elements from which a median curve can be derived.

4.3.12 Median_surface   EXPRESS-GMapping table

A Median_surface is a type of Centre_of_symmetry between two opposing surfaces.

EXPRESS specification:

*)
ENTITY Median_surface
  SUBTYPE OF (Centre_of_symmetry);
WHERE
  WR1: NOT EXISTS(SELF\Shape_element.description);
END_ENTITY;
(*

Formal propositions:

WR1: The description shall not be specified.

Informal propositions:

IP1: The form of the Shape_elements from which the Median_surface is derived shall be consistent with the form of shape elements from which a median surface can be derived.

4.3.13 Offset_shape_element   EXPRESS-GMapping table

An Offset_shape_element is a type of Derived_shape_element. It lies on one side of another Shape_element at a constant distance. The direction is positive outward bound from the material. This entity may only be used when the outward bound direction is well defined.

EXPRESS specification:

*)
ENTITY Offset_shape_element
  SUBTYPE OF (Derived_shape_element);
  offset : Value_with_unit;
END_ENTITY;
(*

Attribute definitions:

offset: the constant distance between the Offset_shape_element and the shape element instance that is the value of derived_from.

4.3.14 Parallel_offset   EXPRESS-GMapping table

A Parallel_offset is a type of Derived_shape_element that is located at a constant distance from a related element. If the basis is two dimensional, then all associated Shape_elements (the parallel offset and the basis shape aspect) lie in some common plane. If the basis is a surface, then all Shape_elements are embedded in three-dimensional space. The Parallel_offset is formed by the offset of each point of the basis, in a direction perpendicular to the basis by the offset distance.

EXPRESS specification:

*)
ENTITY Parallel_offset
  SUBTYPE OF (Derived_shape_element);
  SELF\Derived_shape_element.derived_from : SET[1:1] OF Shape_element;
END_ENTITY;
(*

Attribute definitions:

derived_from: an attribute inherited from the Derived_shape_element shall be redeclared as the Shape_element for the Parallel_offset. There shall exist exactly one Shape_element for the Parallel_offset.

4.3.15 Perpendicular_to   EXPRESS-GMapping table

A Perpendicular_to is a type of Derived_shape_element that is oriented orthogonally to another Shape_element.

EXPRESS specification:

*)
ENTITY Perpendicular_to
  SUBTYPE OF (Derived_shape_element);
  SELF\Derived_shape_element.derived_from : SET[1:1] OF Shape_element;
END_ENTITY;
(*

Attribute definitions:

derived_from: an attribute inherited from the Derived_shape_element shall be redeclared as the Shape_element for the Perpendicular_to. There shall exist exactly one Shape_element for the Perpendicular_to.

4.3.16 Tangent   EXPRESS-GMapping table

A Tangent is a type of Derived_shape_element that contacts a curve or surface Shape_element at a single point or line. A Tangent may be a Tangent_plane.

EXPRESS specification:

*)
ENTITY Tangent
  SUPERTYPE OF (Tangent_plane)
  SUBTYPE OF (Derived_shape_element);
  SELF\Derived_shape_element.derived_from : SET[1:1] OF Shape_element;
END_ENTITY;
(*

Attribute definitions:

derived_from: an attribute inherited from the Derived_shape_element shall be redeclared as the Shape_element for the Tangent. There shall exist exactly one Shape_element for the Tangent.

4.3.17 Tangent_plane   EXPRESS-GMapping table

A Tangent_plane is a type of Tangent.

EXPRESS specification:

*)
ENTITY Tangent_plane
  SUBTYPE OF (Tangent);
WHERE
  WR1: NOT EXISTS(SELF\Shape_element.description);
END_ENTITY;
(*

Formal propositions:

WR1: The description shall not be populated.



*)
END_SCHEMA;  -- Derived_shape_element_arm
(*


© ISO 2018 — All rights reserved