4 Information requirements

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

4.1 Units of functionality

This subclause specifies the units of functionality (UoF) for the Maths value 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_value;
• Maths_atom.

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_value

The maths_value UoF records the existance of a mathematical value of any type. The nature of the mathematical value is specified by other UoFs.

The following application object is used by the maths_value UoF:

• Maths_value.

4.1.2 Maths_atom

The maths_atom UoF module defines a simple mathematical value that is real, integer, complex or Boolean.

The following application objects are used by the maths_atom UoF:

• Maths_boolean;
• Maths_complex;
• Maths_integer;
• Maths_real;
• Maths_tuple.

4.1.3 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 value module:

• Class.

4.2 Required AM ARMs

EXPRESS specification:

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

4.3 ARM type definitions

• Maths_atom;
• Maths_boolean;
• Maths_complex;
• Maths_integer;
• Maths_real;
• Maths_tuple.
• Maths_value.

4.4 ARM entity definitions

• none.

4.5 ARM rule definitions

• none.

4.6 ARM function definitions

• none.

EXPRESS specification:

*)
END_SCHEMA;
(*