Application module: Presentation hierarchy ISO/TS 10303-1330:2008(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definitions
   4.3 ARM entity definitions
   4.4 ARM subtype constraint definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definition
     5.2.2 MIM entity 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
Bibliography
Index

4 Information requirements

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;
(*

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 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.

4.2 ARM type definitions

This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.

4.2.1 area_select   EXPRESS-G

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;
(*

4.2.2 presentation_association_select   EXPRESS-G

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;
(*

4.2.3 view_area_element_select   EXPRESS-G

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;
(*

4.2.4 view_area_relation_type   EXPRESS-G

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.

4.2.5 view_area_replication_model   EXPRESS-G

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;
(*

4.2.6 view_element_select   EXPRESS-G

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;
(*

4.2.7 view_relation_type   EXPRESS-G

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.

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 Presentation_set   EXPRESS-GMapping table

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.

4.3.2 Presentation_set_assignment   EXPRESS-GMapping table

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.

4.3.3 View   EXPRESS-GMapping table

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.

4.3.4 View_area   EXPRESS-GMapping table

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.

4.3.5 View_area_assignment   EXPRESS-GMapping table

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.

4.3.6 View_area_relationship   EXPRESS-GMapping table

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.

4.3.7 View_area_replication   EXPRESS-GMapping table

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.

4.3.8 View_relationship   EXPRESS-GMapping table

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.

4.4 ARM subtype constraint definition

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.

4.4.1 ph_styled_model_subtypes   EXPRESS-GMapping table

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