Application module: Tagged text representation | ISO/TS 10303-1366:2008(E) © ISO |
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.
EXPRESS specification:
*)
SCHEMA Tagged_text_representation_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.
This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.
EXPRESS specification:
*)
TYPE
string_representation_item_list =
LIST[1:?] OF string_representation_item_select;
END_TYPE;
(*
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;
(*
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;
(*
EXPRESS specification:
*)
TYPE
string_representation_item_set =
SET[1:?] OF string_representation_item_select;
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.
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.
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.
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
EXPRESS specification:
*)
ENTITY Tagged_text_format
SUBTYPE OF (Representation_context);
END_ENTITY;
(*
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.
EXPRESS specification:
*)
ENTITY Uniform_resource_identifier
SUBTYPE OF (String_representation_item);
END_ENTITY;
(*
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 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;
(*
*)
END_SCHEMA; -- Tagged_text_representation_arm
(*
© ISO 2008 — All rights reserved