|
|
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:
-
use of a supertype entity does not make applicable any of its
specializations, unless the specialization is also imported in the
MIM schema;
-
use of a SELECT type does not make applicable any of its listed types
unless the listed type is also imported in the MIM schema.
EXPRESS specification:
*)
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.
An included_text_block is a type of
mapped_item
that implements the ARM concept of
Included_text_block.
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.
An structured_text_composition is a type of
compound_representation_item
that implements the ARM concept of
Structured_text_composition.
EXPRESS specification:
*)
ENTITY structured_text_composition
SUBTYPE OF (compound_representation_item);
END_ENTITY;
(*
An structured_text_representation is a type of
representation
that implements the ARM concept of
Structured_text_representation.
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.
An tagged_text_format is a type of
representation_context
that implements the ARM concept of
Tagged_text_format.
EXPRESS specification:
*)
ENTITY tagged_text_format
SUBTYPE OF (representation_context);
END_ENTITY;
(*
A tagged_text_item is a type of
descriptive_representation_item
that implements the ARM concept of
Tagged_text_item.
A tagged_text_item is used to hold encoded string data.
EXPRESS specification:
*)
ENTITY tagged_text_item
SUBTYPE OF (descriptive_representation_item);
END_ENTITY;
(*
A uniform_resource_identifier is a type of
descriptive_representation_item
that implements the ARM concept of
Uniform_resource_identifier.
A uniform_resource_identifier identifies a resource in the web.
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
