Application module: Maths space | ISO/TS 10303-1091:2019(E) © ISO |
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.
EXPRESS specification:
*)
SCHEMA Maths_space_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.
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.
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:
A Maths_space that is one of:
A Maths_space that is an finite set of mathematical values and that has these values explicitly stated.
A Maths_space that is an integer interval, bounded above, bounded below, or bounded both above and below.
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.
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:
EXPRESS specification:
*)
ENTITY Maths_space;
END_ENTITY;
(*
*)
END_SCHEMA; -- Maths_space_arm
(*
© ISO 2019 — All rights reserved