|
|
Application module:
Presentation hierarchy |
ISO/TS 10303-1330:2008(E)
© ISO
|
This clause specifies the information requirements for the
Presentation hierarchy
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.
The following EXPRESS specification begins the
Presentation_hierarchy_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Presentation_hierarchy_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Appearance_assignment_arm;
--
ISO/TS 10303-1001
USE FROM
Contextual_shape_positioning_arm;
--
ISO/TS 10303-1027
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Appearance_assignment_arm |
ISO/TS 10303-1001 |
| Contextual_shape_positioning_arm |
ISO/TS 10303-1027 |
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 area_select type is an
extensible list of alternate data types
that allows for the designation of the data
type
View_area.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
area_select =
EXTENSIBLE
SELECT
(View_area);
END_TYPE;
(*
The presentation_association_select type is an
extensible list of alternate data types.
Additional alternate data types are specified in select data
types that extend the
presentation_association_select type.
NOTE
This empty extensible select requires
extension in a further module to ensure that entities that refer to it have
at least one valid instantiation.
EXPRESS specification:
*)
TYPE
presentation_association_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT;
END_TYPE;
(*
The view_area_element_select type is an
extensible list of alternate data types
that allows for the designation of the data
types
Styled_element, View_area_replication
and
Axis_placement_2d.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
view_area_element_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(Styled_element,
View_area_replication,
Axis_placement_2d);
END_TYPE;
(*
A view_area_relation_type is a list of view area relation types.
EXPRESS specification:
*)
TYPE
view_area_relation_type =
ENUMERATION
OF
(copy,
derivation,
hierarchy,
substitution,
unspecified);
END_TYPE;
(*
Enumerated item definitions:
copy:
the view area relation type is copy;
derivation:
the view area relation type is derivation;
hierarchy:
the view area relation type is hierarchy;
substitution:
the view area relation type is substitution;
unspecified:
the view area relation type is unspecified.
The view_area_replication_model type allows for the designation of the data
types
View_area
and
View.
EXPRESS specification:
*)
TYPE
view_area_replication_model =
SELECT
(View_area,
View);
END_TYPE;
(*
The view_element_select type is an
extensible list of alternate data types
that allows for the designation of the data
types
Styled_element
and
Axis_placement_2d.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
view_element_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(Styled_element,
Axis_placement_2d);
END_TYPE;
(*
A view_relation_type is a list of view relation types.
EXPRESS specification:
*)
TYPE
view_relation_type =
ENUMERATION
OF
(dependency,
unspecified);
END_TYPE;
(*
Enumerated item definitions:
dependency:
the view relation type is dependency;
unspecified:
the view relation type is unspecified.
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 Presentation_set is a collection of
View_areas.
EXPRESS specification:
*)
ENTITY Presentation_set;
areas : SET[1:?] OF View_area;
END_ENTITY;
(*
Attribute definitions:
areas:
the set of
View_area
objects which make up the Presentation_set.
A Presentation_set_assignment is a mechanism to associate a
Presentation_set
with the object that is presented in this set.
EXPRESS specification:
*)
ENTITY Presentation_set_assignment;
associated_presentation : Presentation_set;
is_describing : presentation_association_select;
END_ENTITY;
(*
Attribute definitions:
associated_presentation:
specifies the
Presentation_set
that is associated with the object.
is_describing:
specifies the object that is associated with the
Presentation_set.
A View is a type of
Styled_model.
EXPRESS specification:
*)
ENTITY View
SUBTYPE OF (Styled_model);
SELF\Representation.items : SET[1:?] OF view_element_select;
WHERE
WR1: SELF\Representation.context_of_items\Geometric_coordinate_space.dimension_count = 2;
END_ENTITY;
(*
Attribute definitions:
items:
an attribute inherited from the
Representation
shall be redeclared as the
view_element_select
for the View.
There shall exist one or more
view_element_select
for the View.
Formal propositions:
WR1:
This
Representation
must be defined in 2D.
A View_area is a type of
Styled_model.
A View_area is a collection of
View
objects, placed in a specified rectangular area.
The placement of the views is defined relative to the two-dimensional coordinate space of the View_area.
EXPRESS specification:
*)
ENTITY View_area
SUBTYPE OF (Styled_model);
size : Planar_box;
SELF\Representation.items : SET[1:?] OF view_area_element_select;
WHERE
WR1: SELF\Representation.context_of_items\Geometric_coordinate_space.dimension_count = 2;
END_ENTITY;
(*
Attribute definitions:
size:
specifies a role of the
Planar_box
for the View_area.
items:
an attribute inherited from the
Representation
shall be redeclared as the
view_area_element_select
for the View_area.
There shall exist one or more
view_area_element_select
for the View_area.
Formal propositions:
WR1:
This
Representation
must be defined in 2D.
A View_area_assignment is an association of a
View_area
with the object that is presented on the
View_area.
EXPRESS specification:
*)
ENTITY View_area_assignment;
associated_view_area : View_area;
is_describing : presentation_association_select;
END_ENTITY;
(*
Attribute definitions:
associated_view_area:
specifies the
View_area
that is associated with the object.
is_describing:
specifies the object that is associated with the
View_area.
A View_area_relationship is a relationship between two
View_area
objects.
EXPRESS specification:
*)
ENTITY View_area_relationship;
relation_type : view_area_relation_type;
description :
OPTIONAL
STRING;
relating : View_area;
related : View_area;
END_ENTITY;
(*
Attribute definitions:
relation_type:
specifies the
view_area_relation_type
for the View_area_relationship.
description:
specifies additional information about the View_area_relationship.
The value of this attribute need not be specified.
relating:
specifies the primary
View_area
in the relationship.
NOTE
The semantics of this attribute are defined by the attribute relation_type.
related:
specifies the secondary
View_area
in the relationship.
NOTE
The semantics of this attribute are defined by the attribute relation_type.
A View_area_replication is a type of
Styled_model_replication.
EXPRESS specification:
*)
ENTITY View_area_replication
SUBTYPE OF (Styled_model_replication);
SELF\Styled_model_replication.replicated_model : view_area_replication_model;
END_ENTITY;
(*
Attribute definitions:
replicated_model:
an attribute inherited from the
Styled_model_replication
shall be redeclared as the
View_area
for the View_area_replication.
A View_relationship is a relationship between two
View
objects.
EXPRESS specification:
*)
ENTITY View_relationship;
relation_type : view_relation_type;
description :
OPTIONAL
STRING;
relating : View;
related : View;
END_ENTITY;
(*
Attribute definitions:
relation_type:
specifies a role of the
view_relation_type
for the View_relationship.
description:
additional information about the View_relationship.
The value of this attribute need not be specified.
relating:
the first of the two
View
objects related by the View_relationship.
NOTE
The semantics of this attribute are defined by the attribute relation_type.
related:
the second of the two
View
objects related by the View_relationship.
NOTE
The semantics of this attribute are defined by the attribute relation_type.
This subclause specifies the ARM subtype constraint for
this module. The subtype constraint places a constraint on the
possible super-type / subtype instantiations.
The ARM subtype constraint and definition is
specified below.
The
ph_styled_model_subtypes
constraint specifies a constraint that applies to instances of subtypes of
Styled_model.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT ph_styled_model_subtypes FOR Styled_model;
ONEOF (View,
View_area);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Presentation_hierarchy_arm
(*
© ISO 2008 — All rights reserved
