4 Information requirements

This clause specifies the information requirements for the maths space application module.

The information requirements are specified as a set of units of functionality, application elements, and application assertions. These assertions pertain to individual application entities and to relationships between application entities. The information requirements are defined using the terminology of the subject area of this application module.

1. - A graphical representation of the information requirements is given in annex C.
2. - The mapping specification is specified in 5.1 which shows how the information requirements are met using the integrated resources of this International Standard. The use of the integrated resources introduces additional requirements which are common to application modules and application protocols.

EXPRESS specification:

*)
SCHEMA Maths_space_arm;
(*

4.1 Units of functionality

This subclause specifies the units of functionality (UoF) for the Maths space application module as well as any support elements needed for the module definition. This part of ISO 10303 specifies the following units of functionality:

• Maths_space

This part of ISO 10303 uses the following units of functionality:

• Engineering_analysis_basics;

  NOTE - The Engineering analysis basics AM contains supertypes of the application objects in this AM. These supertypes have no attributes and merely clarify the meaning of the application objects. These supertypes have no impact on the MIM.

• Maths_value.

The units of functionality and a description of the functions that each UoF supports are given below.

4.1.1 Maths_space

The Maths_space UoF defines a space of numerical or logical values.

NOTE - A Maths_space can be specified as the range or domain of a mathematical function.

NOTE - A Maths_space is purely mathematical and does not have units of measure or a coordinate system.

The following application objects are used by the Maths_space UoF:

• Elementary_space;
• Finite_integer_interval;
• Finite_real_interval;
• Finite_space;
• Hibounded_integer_interval;
• Hibounded_real_interval;
• Integer_interval;
• Listed_product_space;
• Lobounded_integer_interval;
• Lobounded_real_interval;
• Maths_space;
• Product_space;
• Real_interval;
• Tuple_space;
• Uniform_product_space.

4.1.2 Engineering_analysis_basics

This UoF is defined in the Engineering_analysis_basics module. The following application entities from this UoF are referenced in the Maths space module:

• Class.

4.1.3 Maths_value

This UoF is defined in the Maths_value module. The following application entities from this UoF are referenced in the Maths space module:

• Maths_value.

4.2 Required AM ARMs

EXPRESS specification:

*)
USE FROM Engineering_analysis_basics_arm -- Engineering_analysis_basics
  (Class);
USE FROM Maths_value_arm -- Maths_value
  (Maths_value);
(*

4.3 ARM type definitions

• none.

4.4 ARM entity definitions

• Elementary_space;
• Integer_interval;
• Finite_integer_interval;
• Finite_real_interval;
• Finite_space;
• Hibounded_integer_interval;
• Hibounded_real_interval;
• Listed_product_space;
• Lobounded_real_interval;
• Lobounded_integer_interval;
• Maths_space;
• Product_space;
• Real_interval;
• Tuple_space;
• Uniform_product_space.

4.5 ARM rule definitions

• none.

4.6 ARM function definitions

• none

EXPRESS specification:

*)
END_SCHEMA;
(*