Application module: Basic data representation ISO/TS 10303-1773:2014-02(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM entity definitions
   4.3 ARM subtype constraint definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM entity definitions
     5.2.2 MIM subtype constraint definition

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index

5.2 MIM EXPRESS short listing

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:

EXPRESS specification:

*)
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.

5.2.1 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.1.1 boolean_representation_item   EXPRESS-G

A boolean_representation_item is a type of representation_item and a type of boolean_literal that implements the ARM concept of Boolean_representation_item. A boolean_representation_item value is either true or false.

EXPRESS specification:

*)
ENTITY boolean_representation_item
  SUBTYPE OF (representation_item, boolean_literal);
END_ENTITY;
(*

5.2.1.2 date_representation_item   EXPRESS-G

A date_representation_item is a type of representation_item and a type of date that implements the ARM concept of Date_time_representation_item.

EXPRESS specification:

*)
ENTITY date_representation_item
  SUBTYPE OF (representation_item, date);
END_ENTITY;
(*

5.2.1.3 date_time_representation_item   EXPRESS-G

A date_time_representation_item is a type of representation_item and a type of date_and_time that implements the ARM concept of Date_time_representation_item.

EXPRESS specification:

*)
ENTITY date_time_representation_item
  SUBTYPE OF (representation_item, date_and_time);
END_ENTITY;
(*

5.2.1.4 integer_representation_item   EXPRESS-G

An integer_representation_item is a type of representation_item and a type of int_literal that implements the ARM concept of Integer_representation_item. An integer_representation_item value is an integer.

EXPRESS specification:

*)
ENTITY integer_representation_item
  SUBTYPE OF (representation_item, int_literal);
END_ENTITY;
(*

5.2.1.5 logical_representation_item   EXPRESS-G

A logical_representation_item is a type of representation_item and a type of logical_literal that implements the ARM concept of Logical_representation_item.

EXPRESS specification:

*)
ENTITY logical_representation_item
  SUBTYPE OF (representation_item, logical_literal);
END_ENTITY;
(*

5.2.1.6 rational_representation_item   EXPRESS-G

A rational_representation_item is a type of representation_item and a type of slash_expression that implements the ARM concept of Rational_representation_item A rational_representation_item value is a rational number.

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.

5.2.1.7 real_representation_item   EXPRESS-G

A real_representation_item is a type of representation_item and a type of real_literal that implements the ARM concept of Real_representation_item A real_representation_item value is a real number.

EXPRESS specification:

*)
ENTITY real_representation_item
  SUBTYPE OF (representation_item, real_literal);
END_ENTITY;
(*

5.2.2 MIM subtype constraint definition

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.

5.2.2.1 representation_item_subtypes   EXPRESS-G

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