4 Information requirements

This clause specifies the information requirements for the Tagged text 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.

The following EXPRESS specification begins the Tagged_text_representation_arm schema and identifies the necessary external references.

4.1 Required AM ARM

The following EXPRESS interface statement specifies the elements imported from the ARM of another application module.

EXPRESS specification:

*)
USE FROM Foundation_representation_arm;    --  ISO/TS 10303-1006
(*



NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Foundation_representation_arm

ISO/TS 10303-1006

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 string_representation_item_list   

EXPRESS specification:

*)
TYPE string_representation_item_list = LIST[1:?] OF string_representation_item_select;
END_TYPE;
(*

4.2.2 string_representation_item_list_or_set   

The string_representation_item_list_or_set type allows for the designation of the data types string_representation_item_list and string_representation_item_set.

EXPRESS specification:

*)
TYPE string_representation_item_list_or_set = SELECT
   (string_representation_item_list,
    string_representation_item_set);
END_TYPE;
(*

4.2.3 string_representation_item_select   

The string_representation_item_select type allows for the designation of the data types String_representation_item, Included_text_block and Structured_text_composition.

EXPRESS specification:

*)
TYPE string_representation_item_select = SELECT
   (String_representation_item,
    Included_text_block,
    Structured_text_composition);
END_TYPE;
(*

4.2.4 string_representation_item_set   

EXPRESS specification:

*)
TYPE string_representation_item_set = SET[1:?] OF string_representation_item_select;
END_TYPE;
(*

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 Included_text_block   

EXPRESS specification:

*)
ENTITY Included_text_block
  SUBTYPE OF (Representation_item);
  source : Structured_text_representation;
END_ENTITY;
(*

Attribute definitions:

source: specifies the role of the Structured_text_representation for the Included_text_block.

4.3.2 Structured_text_composition   

EXPRESS specification:

*)
ENTITY Structured_text_composition
  SUBTYPE OF (Representation_item);
  content : string_representation_item_list_or_set;
END_ENTITY;
(*

Attribute definitions:

content: specifies the role of the string_representation_item_list_or_set for the Structured_text_composition. The content is an arc in the directed graph representation of the text.

4.3.3 Structured_text_representation   

A Structured_text_representation is a type of Representation where the contents of the representation is a structure. Tagged text or a URI is associated with each leaf element of the structure. A Structured_text_representation is a root node since there is exactly one item in the representation.

NOTE    Included_text_block provides the ability to re-use content included in a Structured_text_representation without having to copy the contents into a new structure.

EXPRESS specification:

*)
ENTITY Structured_text_representation
  SUBTYPE OF (Representation);
  SELF\Representation.items : SET[1:1] OF string_representation_item_select;
END_ENTITY;
(*

Attribute definitions:

items: an attribute inherited from the Representation shall be redeclared as the string_representation_item_select for the Structured_text_representation

4.3.4 Tagged_text_format   

EXPRESS specification:

*)
ENTITY Tagged_text_format
  SUBTYPE OF (Representation_context);
END_ENTITY;
(*

4.3.5 Tagged_text_item   

EXPRESS specification:

*)
ENTITY Tagged_text_item
  SUBTYPE OF (String_representation_item);
WHERE
  WR1: SIZEOF (QUERY (using_rep <* USEDIN(SELF, 'FOUNDATION_REPRESENTATION_ARM.REPRESENTATION.ITEMS') | NOT ('TAGGED_TEXT_REPRESENTATION_ARM.TAGGED_TEXT_FORMAT' IN TYPEOF (using_rep.context_of_items)) )) = 0;
END_ENTITY;
(*

Formal propositions:

WR1: Specifies that the context of any representation referencing a Representation_item shall be a Tagged_text_format.

4.3.6 Uniform_resource_identifier   

EXPRESS specification:

*)
ENTITY Uniform_resource_identifier
  SUBTYPE OF (String_representation_item);
END_ENTITY;
(*

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 ttr_string_representation_item_subtypes   

The ttr_string_representation_item_subtypes constraint specifies a constraint that applies to instances of subtypes of String_representation_item.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT ttr_string_representation_item_subtypes FOR String_representation_item;
  ONEOF (Tagged_text_item,
         Uniform_resource_identifier);
END_SUBTYPE_CONSTRAINT;
(*

© ISO 2008 — All rights reserved