|
|
Application module:
Manifold subsurface |
ISO/TS 10303-1702:2018-11(E)
© ISO
|
This clause specifies the information requirements for the
Manifold subsurface
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
Manifold_subsurface_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Manifold_subsurface_arm;
(*
The following EXPRESS interface statement specifies the elements
imported from the ARM of another application module.
EXPRESS specification:
*)
USE FROM
Manifold_surface_arm;
--
ISO/TS 10303-1509
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| 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 manifold_subsurface_shape_representation_item type allows for the designation of the data
types
Axis_placement_3d, Geometric_placement_operation, and Connected_face_set.
EXPRESS specification:
*)
TYPE
manifold_subsurface_shape_representation_item =
SELECT
(Axis_placement_3d,
Geometric_placement_operation,
Connected_face_set);
END_TYPE;
(*
The open_shell_or_subsurface type allows for the designation of the data
types
Manifold_surface_shape_representation, and Manifold_subsurface_model.
EXPRESS specification:
*)
TYPE
open_shell_or_subsurface =
SELECT
(Manifold_surface_shape_representation,
Manifold_subsurface_model);
END_TYPE;
(*
This subclause specifies the ARM entity for this
module. The ARM entity is an atomic element that
embodies a unique application concept and contains attributes
specifying the data elements of the entity. The ARM
entity and definition is specified below.
A Manifold_subsurface_model is a type of Geometric_model.
A Manifold_subsurface_model shall be acyclic.
A Manifold_subsurface_model shall be in the same geometric context as its parent_surface.
EXPRESS specification:
*)
ENTITY Manifold_subsurface_model
SUBTYPE OF (Geometric_model);
parent_surface : open_shell_or_subsurface;
SELF\Representation.items : SET[1:?] OF manifold_subsurface_shape_representation_item;
WHERE
WR1: SELF :<>: parent_surface;
WR2: SELF\Geometric_model.context_of_items :=: parent_surface\Geometric_model.context_of_items;
END_ENTITY;
(*
Attribute definitions:
parent_surface:
specifies the open_shell_or_subsurface for the Manifold_subsurface_model.
items:
an inherited attribute shall be of type
manifold_subsurface_shape_representation_item
for the Manifold_subsurface_model.
There shall exist at least one
manifold_subsurface_shape_representation_item
for the Manifold_subsurface_model.
Formal propositions:
WR1:
This Manifold_subsurface_model shall not be parent_surface.
WR2:
The context_of_items inherited from
Geometric_model shall be context_of_items
for parent_surface.
*)
END_SCHEMA; -- Manifold_subsurface_arm
(*
© ISO 2018 — All rights reserved
