Application module: Maths value | ISO/TS 10303-1092:2005(E) © ISO |
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;
(*
This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.
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;
(*
A maths_boolean is a single Boolean value.
EXPRESS specification:
*)
TYPE
maths_boolean =
BOOLEAN;
END_TYPE;
(*
A maths_integer is a single integer value.
EXPRESS specification:
*)
TYPE
maths_integer =
INTEGER;
END_TYPE;
(*
A math_complex is a single complex value.
EXPRESS specification:
*)
TYPE
maths_complex =
LIST[2:2] OF REAL;
END_TYPE;
(*
A maths_real is a single real value.
EXPRESS specification:
*)
TYPE
maths_real =
REAL;
END_TYPE;
(*
A math_tuple is a tuple of one or more maths_value.
EXPRESS specification:
*)
TYPE
maths_tuple =
LIST[0:?] OF maths_value;
END_TYPE;
(*
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