4 Information requirements

This clause specifies the information requirements for the maths function 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_function_arm;
(*

4.1 Units of functionality

This subclause specifies the units of functionality (UoF) for the Maths function 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_function.

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_space;
• Maths_value.

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

4.1.1 Maths_function

The Maths_function UoF defines a mathematical function and specifies its domain and range. The Maths_function also defines concatenation and subset relationships between mathematical functions.

The following application objects are used by the maths_function UoF:

• Composition_of_function;
• Maths_function;
• Subset_of_function.

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 function module:

• Specialisation_of_class;
• Mapping.

4.1.3 Maths_space

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

• Maths_space.

4.1.4 Maths_value

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

• Maths_value.

4.2 Required AM ARMs

EXPRESS specification:

*)
USE FROM Engineering_analysis_basics_arm -- Engineering_analysis_basics
  (Specialisation_of_class, 
  Mapping);
USE FROM Maths_space_arm -- Maths_space
  (Maths_space);
USE FROM Maths_value_arm -- Maths_value
  (Maths_value);
(*

4.3 ARM type definitions

• none.

4.4 ARM entity definitions

• Composition_of_function
• Maths_function
• Subset_of_function

4.5 ARM rule definitions

• none.

4.6 ARM function definitions

• none.

EXPRESS specification:

*)
END_SCHEMA;
(*