AP scope  |  AP module  |  AP contents  |  AP index
Application module: Numeric function ISO/TS 10303-1346:2005(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARMs
   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   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
Bibliography
Index

4 Information requirements

This clause specifies the information requirements for the Numeric 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.

The following EXPRESS specification begins the Numeric_function_arm schema and identifies the necessary external references.

The Numeric_function module represents all the possible numeric functions available.

EXPRESS specification:

*)
SCHEMA Numeric_function_arm;
(*

4.1 Required AM ARMs

The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.

EXPRESS specification:

*)
USE FROM Expression_arm;    --  ISO/TS 10303-1342

REFERENCE FROM Expression_arm    --  ISO/TS 10303-1342
  (is_int_expr);
(*

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

Expression_arm ISO/TS 10303-1342
Expression_arm ISO/TS 10303-1342

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   EXPRESS-GMapping table

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.The ABS function returns the absolute value of a number.

EXPRESS specification:

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

4.2.2 Acos_function   EXPRESS-GMapping table

An Acos_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'ACOS' function defined in ISO 10303-11.The ACOS function returns the angle given a cosine value.

EXPRESS specification:

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

4.2.3 Asin_function   EXPRESS-GMapping table

An Asin_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'ASIN' function defined in ISO 10303-11.The ASIN function returns the angle given a sine value.

EXPRESS specification:

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

4.2.4 Atan_function   EXPRESS-GMapping table

An Atan_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'ATAN' function defined in ISO 10303-11.The ATAN function returns the angle given a tangent value represented by the parameters.

EXPRESS specification:

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

4.2.5 Cos_function   EXPRESS-GMapping table

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

EXPRESS specification:

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

4.2.6 Exp_function   EXPRESS-GMapping table

An Exp_function is a type of Unary_function_call entity carries the semantics of the EXPRESS 'EXP' function defined in ISO 10303-11.The EXP function returns e (the base of the natural logarithm system) raised to the power of the value of the parameter.

EXPRESS specification:

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

4.2.7 Int_value_function   EXPRESS-GMapping table

An Int_value_function is a type of Value_function. It carries the semantics of the VALUE function defined in ISO 10303-11, and asserts that the String_expression that corresponds to the operand inherited attribute represents an integer number. The integer value function returns the integer number representation of a string.

EXPRESS specification:

*)
ENTITY Int_value_function
  SUBTYPE OF (Value_function);
END_ENTITY;
(*

4.2.8 Integer_defined_function   EXPRESS-GMapping table

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 Length_function   EXPRESS-GMapping table

A Length_function is a type of a Numeric_expression and a type of Unary_generic_expression. It carries the semantics of the LENGTH function defined in ISO 10303-11.The length function returns the number of characters in a string.

EXPRESS specification:

*)
ENTITY Length_function
  SUBTYPE OF (Numeric_expression, Unary_generic_expression);
  SELF\Unary_generic_expression.operand : String_expression;
END_ENTITY;
(*

Attribute definitions:

operand: the string whose length is represented by the Length_function.

4.2.10 Log10_function   EXPRESS-GMapping table

A Log10_function is a type of Unary_function_call.It carries the semantics of the EXPRESS 'LOG10' function defined in ISO 10303-11.The LOG10 function returns the base 10 logarithm of a number.

EXPRESS specification:

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

4.2.11 Log2_function   EXPRESS-GMapping table

A Log2_function is a type of Unary_function_call. It carries the semantics of the EXPRESS 'LOG2' function defined in ISO 10303-11.The LOG2 function returns the base 2 logarithm of a number.

EXPRESS specification:

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

4.2.12 Log_function   EXPRESS-GMapping table

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

EXPRESS specification:

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

4.2.13 Maximum_function   EXPRESS-GMapping table

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.14 Minimum_function   EXPRESS-GMapping table

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.15 Minus_function   EXPRESS-GMapping table

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.The minus function returns the opposite value of a number.

EXPRESS specification:

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

4.2.16 Numeric_defined_function   EXPRESS-GMapping table

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.17 Odd_function   EXPRESS-GMapping table

An Odd_function is a type of Unary_boolean_expression. It carries the semantics of the EXPRESS 'ODD' operator defined in ISO 10303-11.The ODD function returns TRUE or FALSE depending on whether a number is odd or even.

EXPRESS specification:

*)
ENTITY Odd_function
  SUBTYPE OF (Unary_boolean_expression);
  SELF\Unary_generic_expression.operand : Numeric_expression;
WHERE
  WR1: Is_int_expr(SELF\Numeric_expression);
END_ENTITY;
(*

Attribute definitions:

operand: the Numeric_expression that represents the operand of the 'ODD' function.

Formal propositions:

WR1: the operand shall be a Numeric_expression for which the range is the same as the EXPRESS INTEGER data type.

4.2.18 Real_defined_function   EXPRESS-GMapping table

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.19 Sin_function   EXPRESS-GMapping table

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

EXPRESS specification:

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

4.2.20 Square_root_function   EXPRESS-GMapping table

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.The SQRT function (square root) returns the non-negative square root of a number.

EXPRESS specification:

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

4.2.21 Tan_function   EXPRESS-GMapping table

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

EXPRESS specification:

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

4.2.22 Unary_function_call   EXPRESS-GMapping table

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;
(*

4.2.23 Value_function   EXPRESS-GMapping table

A Value_function is a type of Numeric_expression and a type of Unary_generic_expression. It carries the semantics of the VALUE function defined in ISO 10303-11. When the value represented in the String_expression that corresponds to the operand inherited attribute is an integer, the Int_value_function subtype shall be used.The value function returns the numeric representation of a string.

EXPRESS specification:

*)
ENTITY Value_function
  SUPERTYPE OF (Int_value_function)
  SUBTYPE OF (Numeric_expression, Unary_generic_expression);
  SELF\Unary_generic_expression.operand : String_expression;
END_ENTITY;
(*

Attribute definitions:

operand: the Int_value_function entity carries the semantics of the VALUE function defined in ISO 10303-11, and asserts that the String_expression that corresponds to the operand inherited attribute represents an integer number.

The integer value function returns the integer number representation of a string.

*)
END_SCHEMA;  -- Numeric_function_arm
(*


© ISO 2005 — All rights reserved