Application module: Maths value | ISO/TS 10303-1092:2019(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.
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;
(*
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.
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 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