Application module: Basic data representation | ISO/TS 10303-1773:2014-02(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 Basic_data_representation_mim;
USE FROM
Extended_date_mim;
--
ISO/TS 10303-1776
USE FROM
Foundation_representation_mim;
--
ISO/TS 10303-1006
USE FROM
iso13584_expressions_schema
--
ISO 13584-20
(boolean_literal,
int_literal,
slash_expression,
real_literal);
USE FROM
iso13584_generic_expressions_schema
--
ISO 13584-20
(binary_generic_expression);
USE FROM
mathematical_functions_schema
--
ISO 10303-50
(logical_literal);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Extended_date_mim ISO/TS 10303-1776 Foundation_representation_mim ISO/TS 10303-1006 iso13584_expressions_schema ISO 13584-20 iso13584_generic_expressions_schema ISO 13584-20 mathematical_functions_schema ISO 10303-50
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY boolean_representation_item
SUBTYPE OF (representation_item, boolean_literal);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY date_representation_item
SUBTYPE OF (representation_item, date);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY date_time_representation_item
SUBTYPE OF (representation_item, date_and_time);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY integer_representation_item
SUBTYPE OF (representation_item, int_literal);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY logical_representation_item
SUBTYPE OF (representation_item, logical_literal);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY rational_representation_item
SUBTYPE OF (representation_item, slash_expression);
WHERE
WR1: SIZEOF( QUERY( operand <* SELF\binary_generic_expression.operands |
NOT('ISO13584_EXPRESSIONS_SCHEMA.INT_LITERAL' IN TYPEOF(operand)))) = 0;
END_ENTITY;
(*
Formal propositions:
WR1: The operands shall be of type int_literal.
EXPRESS specification:
*)
ENTITY real_representation_item
SUBTYPE OF (representation_item, real_literal);
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 representation_item_subtypes constraint specifies a constraint that applies to instances of subtypes of representation_item.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT representation_item_subtypes FOR representation_item;
ONEOF (boolean_representation_item,
date_representation_item,
date_time_representation_item,
integer_representation_item,
logical_representation_item,
rational_representation_item,
real_representation_item);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Basic_data_representation_mim
(*
© ISO 2014 — All rights reserved