AP scope | AP module | AP contents | AP index | |
Application module: Numeric function | ISO/TS 10303-1346:2005(E) © ISO |
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;
(*
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.
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.
EXPRESS specification:
*)
ENTITY Abs_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Acos_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Asin_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Atan_function
SUBTYPE OF (Binary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Cos_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Exp_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Int_value_function
SUBTYPE OF (Value_function);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Integer_defined_function
ABSTRACT SUPERTYPE
SUBTYPE OF (Numeric_defined_function);
END_ENTITY;
(*
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.
EXPRESS specification:
*)
ENTITY Log10_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Log2_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Log_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Maximum_function
SUBTYPE OF (Multiple_arity_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Minimum_function
SUBTYPE OF (Multiple_arity_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Minus_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Numeric_defined_function
ABSTRACT SUPERTYPE
OF (ONEOF (Integer_defined_function,
Real_defined_function))
SUBTYPE OF (Numeric_expression, Defined_function);
END_ENTITY;
(*
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.
EXPRESS specification:
*)
ENTITY Real_defined_function
ABSTRACT SUPERTYPE
SUBTYPE OF (Numeric_defined_function);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Sin_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Square_root_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Tan_function
SUBTYPE OF (Unary_function_call);
END_ENTITY;
(*
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;
(*
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