4 Information requirements

This clause specifies the information requirements for the Maths space 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_space_arm schema and identifies the necessary external references.

4.1 Required AM ARM

The following EXPRESS interface statement specifies the elements imported from the ARM of another application module.

EXPRESS specification:

*)
USE FROM Maths_value_arm;    --  ISO/TS 10303-1092
(*



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

Maths_value_arm

ISO/TS 10303-1092

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

4.2 ARM entity definition

This subclause specifies the ARM entity for this module. The ARM entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entity and definition is specified below.

4.2.1 Maths_space   

A Maths_space is a set of things for which mathematical functions are defined.

NOTE    The details of the attributes of Maths_space are described in ISO 10303-50, and are not repeated here.

The following subtypes of Maths_space are within the scope of this part of ISO 10303:

Elementary_maths_space:

A Maths_space that is one of:

• all real values;
• all integer values;
• all Boolean values;
• the complex values.

Finite_space:

A Maths_space that is an finite set of mathematical values and that has these values explicitly stated.

Integer_interval:

A Maths_space that is an integer interval, bounded above, bounded below, or bounded both above and below.

Real_interval:

A Maths_space that is an real interval, bounded above, bounded below, or bounded both above and below. Each bound can be either open or closed.

Tuple_space:

A Maths_space that has tuples as members. A Tuple_space can be defined as a Cartesian product of other mathematical spaces. Two approaches for defining the factors of the Cartesian product are provided:

• the factors are listed;

  EXAMPLE    The space of (integer, real) pairs is the Cartesian product of the spaces 'integer' and 'real'.

• the space is specified with an exponent.

  EXAMPLE    The space of real triples (i.e. R³) is defined by the space 'real' and the exponent 3.

EXPRESS specification:

*)
ENTITY Maths_space;
END_ENTITY;
(*

© ISO 2019 — All rights reserved