|
|
Application module:
Stratum non planar shape |
ISO/TS 10303-1748:2021(E)
© ISO
|
This clause specifies the information requirements for the
Stratum non planar 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
Stratum_non_planar_shape_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Stratum_non_planar_shape_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Layered_interconnect_module_design_arm;
--
ISO/TS 10303-1698
USE FROM
Manifold_surface_arm;
--
ISO/TS 10303-1509
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Layered_interconnect_module_design_arm |
ISO/TS 10303-1698 |
| Manifold_surface_arm |
ISO/TS 10303-1509 |
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 snps_sf_shape_select type is an extension
of the
limd_sf_shape_select type.
It adds the data
type
Shell_based_surface_model
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
snps_sf_shape_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
limd_sf_shape_select
WITH
(Shell_based_surface_model);
END_TYPE;
(*
The snps_stratum_shape_model_select type is an extension
of the
limd_stratum_shape_model_select type.
It adds the data
types
Stratum_average_surface_shape_model and Stratum_surface_shape_model
to the list of alternate data types.
NOTE The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
snps_stratum_shape_model_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
limd_stratum_shape_model_select
WITH
(Stratum_average_surface_shape_model,
Stratum_surface_shape_model);
END_TYPE;
(*
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 Stratum_average_surface_shape_model is a type of
Topologically_constrained_manifold_surface_shape_representation.
A Stratum_average_surface_shape_model is the representation of a
Stratum_average_surface
using an open manifold surface.
EXPRESS specification:
*)
ENTITY Stratum_average_surface_shape_model
SUBTYPE OF (Topologically_constrained_manifold_surface_shape_representation);
of_surface : Stratum_average_surface;
UNIQUE
UR1: of_surface;
WHERE
WR1: NOT EXISTS(SELF\Representation.name);
WR2: NOT EXISTS(SELF\Representation.description);
END_ENTITY;
(*
Attribute definitions:
of_surface:
specifies a role of a
Stratum_average_surface
for the Stratum_average_surface_shape_model.
Formal propositions:
UR1:
The of_surface shall be unique within a population of the Stratum_average_surface_shape_models.
WR1:
The
name
shall not be populated.
WR2:
The
description
shall not be populated.
A Stratum_surface_shape_model is a type of
Topologically_constrained_manifold_surface_shape_representation.
A Stratum_surface_shape_model is the representation of a
Stratum_surface
using an open manifold surface.
EXPRESS specification:
*)
ENTITY Stratum_surface_shape_model
SUBTYPE OF (Topologically_constrained_manifold_surface_shape_representation);
of_surface : Stratum_surface;
UNIQUE
UR1: of_surface;
WHERE
WR1: NOT EXISTS(SELF\Representation.name);
WR2: NOT EXISTS(SELF\Representation.description);
END_ENTITY;
(*
Attribute definitions:
of_surface:
specifies a role of a
Stratum_surface
for the Stratum_surface_shape_model.
Formal propositions:
UR1:
The of_surface shall be unique within a population of the Stratum_surface_shape_models.
WR1:
The
name
shall not be populated.
WR2:
The
description
shall not be populated.
A Topologically_constrained_manifold_surface_shape_representation is a type of
Manifold_surface_shape_representation
that shall neither self-intersect nor self-overlap.
EXPRESS specification:
*)
ENTITY Topologically_constrained_manifold_surface_shape_representation
SUBTYPE OF (Manifold_surface_shape_representation);
END_ENTITY;
(*
Informal propositions:
IP1:
The
Shell_based_surface_model
that are contained in this representation shall not intersect.
IP2:
The
Shell_based_surface_model
that are contained in this representation shall not overlap.
*)
END_SCHEMA; -- Stratum_non_planar_shape_arm
(*
© ISO 2021 — All rights reserved
