Application module: Maths value ISO/TS 10303-1092:2019(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 type definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing

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

4 Information requirements

This clause specifies the information requirements for the Maths value 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.

This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the Maths_value_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Maths_value_arm;
(*

4.1 Required AM ARMs

The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.

EXPRESS specification:

*)
USE FROM Generic_expression_arm;    --  ISO/TS 10303-1341

USE FROM Numeric_expression_arm;    --  ISO/TS 10303-1526
(*

NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Generic_expression_arm ISO/TS 10303-1341
Numeric_expression_arm ISO/TS 10303-1526

NOTE 2   See Annex C, Figures C.1and C.2 for a graphical representation of this schema.

4.2 ARM type definitions

This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.

4.2.1 maths_atom   EXPRESS-G

A maths_value is a single Boolean, real integer or complex value.

EXPRESS specification:

*)
TYPE maths_atom = SELECT
   (maths_boolean,
    maths_complex,
    maths_integer,
    maths_real);
END_TYPE;
(*

4.2.2 maths_boolean   EXPRESS-G

A maths_boolean is a single Boolean value.

EXPRESS specification:

*)
TYPE maths_boolean = BOOLEAN;
END_TYPE;
(*

4.2.3 maths_integer   EXPRESS-G

A maths_integer is a single integer value.

EXPRESS specification:

*)
TYPE maths_integer = INTEGER;
END_TYPE;
(*

4.2.4 maths_complex   EXPRESS-G

A math_complex is a single complex value.

EXPRESS specification:

*)
TYPE maths_complex = LIST[2:2] OF REAL;
END_TYPE;
(*

4.2.5 maths_real   EXPRESS-G

A maths_real is a single real value.

EXPRESS specification:

*)
TYPE maths_real = REAL;
END_TYPE;
(*

4.2.6 maths_tuple   EXPRESS-G

A math_tuple is a tuple of one or more maths_value.

EXPRESS specification:

*)
TYPE maths_tuple = LIST[0:?] OF maths_value;
END_TYPE;
(*

4.2.7 maths_value   EXPRESS-G

A maths_value is either a Generic_expression or a maths_atom or a maths_tuple.

EXPRESS specification:

*)
TYPE maths_value = EXTENSIBLE SELECT
   (Generic_expression,
    maths_atom,
    maths_tuple);
END_TYPE;
(*



*)
END_SCHEMA;  -- Maths_value_arm
(*

© ISO 2019 — All rights reserved