Application module: Maths value ISO/TS 10303-1092:2005(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 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
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.

The following EXPRESS specification begins the Maths value schema.

EXPRESS specification:

*)
SCHEMA Maths_value_arm;
(*

4.1 ARM type definitions

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

4.1.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.1.2 maths_boolean   EXPRESS-G

A maths_boolean is a single Boolean value.

EXPRESS specification:

*)
TYPE maths_boolean = BOOLEAN;
END_TYPE;
(*

4.1.3 maths_integer   EXPRESS-G

A maths_integer is a single integer value.

EXPRESS specification:

*)
TYPE maths_integer = INTEGER;
END_TYPE;
(*

4.1.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.1.5 maths_real   EXPRESS-G

A maths_real is a single real value.

EXPRESS specification:

*)
TYPE maths_real = REAL;
END_TYPE;
(*

4.1.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.1.7 maths_value   EXPRESS-G

A maths_value is a member of a Maths_space.

EXPRESS specification:

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



*)
END_SCHEMA;  -- Maths_value_arm
(*


© ISO 2005 — All rights reserved