ISO/TS 10303-1527:2018-11 Elementary function


Application module: Elementary function	ISO/TS 10303-1527:2018-11(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
3.2 Abbreviated terms

4 Information requirements
4.1 Required AM ARM
4.2 ARM entity definitions
5 Module interpreted model
5.1 Mapping specification
5.2 MIM EXPRESS short listing

A MIM short names
B Information object registration
C ARM EXPRESS-G
D MIM EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index

4 Information requirements

This clause specifies the information requirements for the Elementary function 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 Elementary_function_arm schema and identifies the necessary external references.

The Elementary_function module represents all the elementary numeric functions.

NOTE 3 It is recommended that any application protocol using this module with a more restricted set of requirements for functions to be instantiated provides an appropriate constraint rule to exclude unwanted functions.

EXPRESS specification:




         *)

            SCHEMA Elementary_function_arm;
(*

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 Numeric_expression_arm; -- ISO/TS 10303-1526 (*

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

Numeric_expression_arm ISO/TS 10303-1526

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

4.2 ARM entity definitions

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

4.2.1 Abs_function

An Abs_function is a type of an Unary_function_call. This entity carries the semantics of the 'ABS' function, defined in ISO 10303-11, on NUMBER data type, defined in ISO 10303-11.

NOTE The ABS function returns the absolute value of a number.

Parameters: a numeric function carrying a value of the number data type.
Result: the absolute value of the parameter. The returned data type is identical to the one of the parameter.

EXPRESS specification:

*) ENTITY Abs_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.2 Acos_function

An Acos_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'ACOS' function defined in ISO 10303-11.

NOTE The ACOS function returns the angle given a cosine value.

Parameters: a numeric function carrying a value of the number data type, representing the cosine of an angle expressed in radians.

EXPRESS specification:

*) ENTITY Acos_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.3 Asin_function

An Asin_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'ASIN' function defined in ISO 10303-11.

NOTE The ASIN function returns the angle given a sine value.

Parameters: a numeric function carrying a value of the number data type, representing the sine of an angle expressed in radians.

EXPRESS specification:

*) ENTITY Asin_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.4 Atan_function

An Atan_function is a type of Binary_function_call. It carries the semantics of the EXPRESS 'ATAN' function defined in ISO 10303-11.

NOTE The ATAN function returns the angle given a tangent value represented by the parameters.

Parameters: two numeric functions representing the value SELF\Binary_generic_expression[1] / Binary_generic_expression[2].
Result: the angle in radians (-PI/2 result PI/2) whose tangent is represented by the value of the parameter. If the second expression corresponding to SELF\Binary_generic_expression[2] / evaluates to 0 then the result is -PI/2 or PI/2 depending on the sign of SELF\ Binary_generic_expression[1].

EXPRESS specification:

*) ENTITY Atan_function SUBTYPE OF (Binary_function_call); END_ENTITY; (*

4.2.5 Binary_function_call

A Binary_function_call is a type of Binary_numeric_expression. It is a binary operator on NUMBER data type defined in ISO 10303-11.

EXPRESS specification:

*) ENTITY Binary_function_call ABSTRACT SUPERTYPE OF (Atan_function) SUBTYPE OF (Binary_numeric_expression); END_ENTITY; (*

4.2.6 Cos_function

A Cos_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'COS' function defined in ISO 10303-11.

NOTE The COS function returns the cosine of an angle.

Parameters: a numeric function carrying a value of the number data type, representing an angle expressed in radians.

EXPRESS specification:

*) ENTITY Cos_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.7 Exp_function

An Exp_function is a type of Unary_function_call entity carries the semantics of the EXPRESS 'EXP' function defined in ISO 10303-11.

NOTE The EXP function returns e (the base of the natural logarithm system) raised to the power of the value of the parameter.

Parameters: a numeric function carrying a value of the number data type, representing the value of the parameter.
Result: the value e raised to the power of the value of the parameter.

EXPRESS specification:

*) ENTITY Exp_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.8 Integer_defined_function

An Integer_defined_function is a type of Numeric_defined_function. It is any function of which the range is the INTEGER data type defined in ISO 10303-11.

EXPRESS specification:

*) ENTITY Integer_defined_function ABSTRACT SUPERTYPE SUBTYPE OF (Numeric_defined_function); END_ENTITY; (*

4.2.9 Log10_function

A Log10_function is a type of Unary_function_call.It carries the semantics of the EXPRESS 'LOG10' function defined in ISO 10303-11.

NOTE The LOG10 function returns the base 10 logarithm of a number.

Parameters: a numeric function carrying a value of the number data type, representing the value of the parameter. It shall be greater than 0.
Result: the real number which is the base 10 logarithm of the value of the parameter.

EXPRESS specification:

*) ENTITY Log10_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.10 Log2_function

A Log2_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'LOG2' function defined in ISO 10303-11.

NOTE The LOG2 function returns the base 2 logarithm of a number.

Parameters: a numeric function carrying a value of the number data type, representing the value of the parameter. It shall be greater than 0.
Result: the real number which is the base 2 logarithm of the value of the parameter.

EXPRESS specification:

*) ENTITY Log2_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.11 Log_function

A Log_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'LOG' function defined in ISO 10303-11.

NOTE The LOG function returns the natural logarithm of a number.

Parameters: a numeric function carrying a value of the number data type, representing the value of the parameter. It shall be greater than 0.
Result: the real number which is the natural logarithm of the value of the parameter.

EXPRESS specification:

*) ENTITY Log_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.12 Maximum_function

A Maximum_function is a type of Multiple_arity_function_call. It returns the maximum value of the list of values of its operands that shall evaluate to a number in the NUMBER data type domain.

EXPRESS specification:

*) ENTITY Maximum_function SUBTYPE OF (Multiple_arity_function_call); END_ENTITY; (*

4.2.13 Minimum_function

A Minimum_function is a type of Multiple_arity_function_call. It returns the minimum value of the list of values of its operands that shall evaluate to a number in the NUMBER data type domain.

EXPRESS specification:

*) ENTITY Minimum_function SUBTYPE OF (Multiple_arity_function_call); END_ENTITY; (*

4.2.14 Minus_function

A Minus_function is a type of Unary_function_call. It carries the semantics of the EXPRESS unary '-' operator, defined in ISO 10303-11, on NUMBER data type, defined in ISO 10303-11.

NOTE The minus function returns the opposite value of a number.

Parameters: a numeric function carrying a value of the number data type.
Result: the opposite value of the parameter. The returned data type is identical to the one of the parameter.

EXPRESS specification:

*) ENTITY Minus_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.15 Numeric_defined_function

A Numeric_defined_function is a type of Numeric_expression and a type of Defined_function. It is a function whose range is the NUMBER data type defined in ISO 10303-11.

It is the ABSTRACT SUPERTYPE of either a Integer_defined_function or a Real_defined_function.

EXPRESS specification:

*) ENTITY Numeric_defined_function ABSTRACT SUPERTYPE OF (ONEOF (Integer_defined_function, Real_defined_function)) SUBTYPE OF (Numeric_expression, Defined_function); END_ENTITY; (*

4.2.16 Real_defined_function

A Real_defined_function is a type of Numeric_defined_function. It is any function of which the range is the REAL data type defined in ISO 10303-11.

EXPRESS specification:

*) ENTITY Real_defined_function ABSTRACT SUPERTYPE SUBTYPE OF (Numeric_defined_function); END_ENTITY; (*

4.2.17 Sin_function

A Sin_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'SIN' function defined in ISO 10303-11.

NOTE The SIN function returns the sine of an angle.

Parameters: a numeric function carrying a value of the number data type, representing an angle expressed in radians.

EXPRESS specification:

*) ENTITY Sin_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.18 Square_root_function

A Square_root_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'SQRT' function defined in ISO 10303-11.

NOTE The SQRT function (square root) returns the non-negative square root of a number.

Parameters: a numeric function carrying a value of the number data type, representing the value of the parameter. It shall be greater than or equal to 0.
Result: the non negative real number which is the square root of the value of the parameter.

EXPRESS specification:

*) ENTITY Square_root_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.19 Tan_function

A Tan_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'TAN' function defined in ISO 10303-11.

NOTE The TAN function returns the tangent of an angle.

Parameters: a numeric function carrying a value of the number data type, representing an angle expressed in radians.
Result: the tangent of the parameter.

EXPRESS specification:

*) ENTITY Tan_function SUBTYPE OF (Unary_function_call); END_ENTITY; (*

4.2.20 Unary_function_call

A Unary_function_call is a type of Unary_numeric_expression and is an unary operator on NUMBER data type defined in ISO 10303-11.

It is the ABSTRACT SUPERTYPE of either a Abs_function, or a Minus_function, or a Sin_function, or a Cos_function, or a Tan_function, or an Asin_function, or an Asin_function, or an Acos_function, or an Exp_function, or a Log_function, or a Log2_function, or a Log10_function, or a Square_root_function.

EXPRESS specification:

*) ENTITY Unary_function_call ABSTRACT SUPERTYPE OF (ONEOF (Abs_function, Minus_function, Sin_function, Cos_function, Tan_function, Asin_function, Acos_function, Exp_function, Log_function, Log2_function, Log10_function, Square_root_function)) SUBTYPE OF (Unary_numeric_expression); END_ENTITY; (*




         *)

         END_SCHEMA;  -- Elementary_function_arm
(*