|
|
Application module:
Characterized representation |
ISO/TS 10303-1805:2014-02(E)
© ISO
|
This clause specifies the information requirements for the
Characterized representation
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
Characterized_representation_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Characterized_representation_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Characterizable_object_arm;
--
ISO/TS 10303-1765
USE FROM
Elemental_geometric_shape_arm;
--
ISO/TS 10303-1004
USE FROM
Foundation_representation_arm;
--
ISO/TS 10303-1006
USE FROM
Property_assignment_arm;
--
ISO/TS 10303-1030
REFERENCE FROM
Foundation_representation_arm
--
ISO/TS 10303-1006
(using_representations);
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Characterizable_object_arm |
ISO/TS 10303-1765 |
| Elemental_geometric_shape_arm |
ISO/TS 10303-1004 |
| Foundation_representation_arm |
ISO/TS 10303-1006 |
| Property_assignment_arm |
ISO/TS 10303-1030 |
| Foundation_representation_arm |
ISO/TS 10303-1006 |
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 chained_representation_link type is an
extensible list of alternate data types
that allows for the designation of the data
types
Geometric_placement_operation, Representation_context
and
Representation_relationship.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
chained_representation_link =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(Geometric_placement_operation,
Representation_context,
Representation_relationship);
END_TYPE;
(*
The cr_property_assignment_select type is an extension
of the
property_assignment_select type.
It adds the data
types
Characterized_representation
and
Characterized_item_within_representation
to the list of alternate data types.
EXPRESS specification:
*)
TYPE
cr_property_assignment_select =
SELECT
BASED_ON
property_assignment_select
WITH
(Characterized_representation,
Characterized_item_within_representation);
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 Characterized_chain_based_item_within_representation is a type of
Characterized_item_within_representation
for the characterization of a
Representation_item
through a directed graph of
Representation,
where the undirected links in the graph can be instances of entity data types
Representation_context,
Representation_relationship, or
Geometric_placement_operation.
EXPRESS specification:
*)
ENTITY Characterized_chain_based_item_within_representation
SUBTYPE OF (Characterized_item_within_representation);
nodes : LIST[2:?] OF
UNIQUE
Representation;
undirected_link : LIST[1:?] OF
UNIQUE
chained_representation_link;
END_ENTITY;
(*
Attribute definitions:
nodes:
the ordered list of
Representation,
in the chain.
undirected_link:
the list of items that relate nodes in the chain.
A Characterized_item_within_representation is a type of
Characterizable_object
for the characterization of a
Representation_item
that is used within a
Representation.
EXPRESS specification:
*)
ENTITY Characterized_item_within_representation
SUBTYPE OF (Characterizable_object);
item : Representation_item;
rep : Representation;
UNIQUE
UR1: item, rep;
WHERE
WR1: rep IN using_representations(item);
END_ENTITY;
(*
Attribute definitions:
item:
specifies the role of the
Representation_item
for the Characterized_item_within_representation.
rep:
specifies the role of the
Representation
for the Characterized_item_within_representation.
Formal propositions:
UR1:
The combination of item and rep
shall be unique within a population of the Characterized_item_within_representation.
WR1:
the
item
shall be used within the
Representation
indicated by
rep.
A Characterized_representation is a type of
Characterizable_object
and of
Representation.
EXPRESS specification:
*)
ENTITY Characterized_representation
SUBTYPE OF (Representation, Characterizable_object);
END_ENTITY;
(*
*)
END_SCHEMA; -- Characterized_representation_arm
(*
© ISO 2014 — All rights reserved
