Application module: Numeric function ISO/TS 10303-1346: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 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
F Change history
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.

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 Numeric_function_arm schema and identifies the necessary external references.

The Numeric_function_arm represents all the possible numeric functions available. The elementary numeric functions are imported from the Elementary_function module.

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 Elementary_function_arm;    --  ISO/TS 10303-1527

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

REFERENCE FROM Numeric_expression_arm    --  ISO/TS 10303-1526
  (Is_int_expr);
(*

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

Elementary_function_arm ISO/TS 10303-1527
Expression_arm ISO/TS 10303-1342
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 Function_parameter_value   EXPRESS-GMapping table

A Function_parameter_value 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.

NOTE    The value function returns the numeric representation of a string.

EXPRESS specification:

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

Attribute definitions:

operand: a String_expression containing either a real or integer literal.

4.2.2 Int_value_function   EXPRESS-GMapping table

An Int_value_function is a type of Function_parameter_value. 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.

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

EXPRESS specification:

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

4.2.3 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.

NOTE    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.4 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.

NOTE    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);
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.



*)
END_SCHEMA;  -- Numeric_function_arm
(*


© ISO 2018 — All rights reserved