Application module: Tagged text representation | ISO/TS 10303-1366:2008(E) © ISO |
This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.
This clause constitutes the Module Interpreted Module (MIM) of the application module.
This clause also specifies the modifications that apply to the constructs imported from the common resources.
The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:
*)
SCHEMA Tagged_text_representation_mim;
USE FROM
Foundation_representation_mim;
--
ISO/TS 10303-1006
USE FROM
representation_schema
--
ISO 10303-43
(compound_representation_item,
mapped_item);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Foundation_representation_mim ISO/TS 10303-1006 representation_schema ISO 10303-43
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM type for this application module. The MIM type and definition is specified below.
The string_representation_item_select type allows for the designation of the data types descriptive_representation_item, included_text_block and structured_text_composition.
EXPRESS specification:
*)
TYPE
string_representation_item_select =
SELECT
(descriptive_representation_item,
included_text_block,
structured_text_composition);
END_TYPE;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY included_text_block
SUBTYPE OF (mapped_item);
WHERE
WR1: 'TAGGED_TEXT_REPRESENTATION_MIM.STRUCTURED_TEXT_REPRESENTATION' IN TYPEOF(SELF\mapped_item.mapping_source.mapped_representation);
END_ENTITY;
(*
Formal propositions:
WR1: The mapped_representation of mapping_source shall be of type structured_text_representation.
EXPRESS specification:
*)
ENTITY structured_text_composition
SUBTYPE OF (compound_representation_item);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY structured_text_representation
SUBTYPE OF (representation);
SELF\representation.items : SET[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. There shall exist more than one 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 (descriptive_representation_item);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY uniform_resource_identifier
SUBTYPE OF (descriptive_representation_item);
END_ENTITY;
(*
This subclause specifies the MIM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The MIM subtype constraint and definition is specified below.
The ttr_descriptive_representation_item_subtypes constraint specifies a constraint that applies to instances of subtypes of descriptive_representation_item.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT ttr_descriptive_representation_item_subtypes FOR descriptive_representation_item;
ONEOF (tagged_text_item,
uniform_resource_identifier);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Tagged_text_representation_mim
(*
© ISO 2008 — All rights reserved