ISO/TS 10303-1526:2018-11 Numeric expression


Application module: Numeric expression	ISO/TS 10303-1526: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
4.3 ARM function 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

5.1 Mapping specification

In the following, "Application element" designates any entity data type defined in Clause 4, any of its explicit attributes and any subtype constraint. "MIM element" designates any entity data type defined in Clause 5.2 or imported with a USE FROM statement, from another EXPRESS schema, any of its attributes and any subtype constraint defined in Clause 5.2 or imported with a USE FROM statement.

This clause contains the mapping specification that defines how each application element of this part of ISO 10303 (see Clause 4) maps to one or more MIM elements (see Clause 5.2).

The mapping for each application element is specified in a separate subclause below. The mapping specification of an attribute of an ARM entity is a subclause of the clause that contains the mapping specification of this entity. Each mapping specification subclause contains up to five elements.

Title: The clause title contains:

the name of the considered ARM entity or subtype constraint, or
the name of the considered ARM entity atribute when this attribute refers to a type that is not an entity data type or a SELECT type that contains or may contain entity data types, or
a composite expression, <attribute name> to <referred type>, when this attribute refers to a type that is not an entity data type or a SELECT type that contains or may contain entity data types.

MIM element: This section contains, depending on the considered application element:

the name of one or more MIM entity data types;
the name of a MIM entity attribute, presented with the syntax <entity name>.<attribute name>, when the considered ARM attribute refers to a type that is not an entity data type or a SELECT type that contains or may contain entity data types;
the term PATH, when the considered ARM entity attribute refers to an entity data type or to a SELECT type that contains or may contain entity data types;
the term IDENTICAL MAPPING, when both application objects involved in an application assertion map to the same instance of a MIM entity data type;
the term NO MAPPING EXTENSION PROVIDED, when the extension to an extensible SELECT TYPE has no impact;
the syntax /SUPERTYPE(<supertype name>)/, when the considered ARM entity is mapped as its supertype;
one or more constructs /SUBTYPE(<subtype name>)/, when the mapping of the considered ARM entity is the union of the mapping of its subtypes.

When the mapping of an application element involves more than one MIM element, each of these MIM elements is presented on a separate line in the mapping specification, enclosed between parentheses or brackets.

Source: This section contains:

the ISO standard number and part number in which the MIM element is defined, for those MIM elements that are defined in a common resource document;
the ISO standard number and part number of this part of ISO 10303, for those MIM elements that are defined in the MIM schema of this part.

This section is omitted when the keywords PATH or IDENTICAL MAPPING or NO MAPPING EXTENSION PROVIDED are used in the MIM element section.

Rules: This section contains the name of one or more global rules that apply to the population of the MIM entity data types listed in the MIM element section or in the reference path. When no rule applies, this section is omitted.

A reference to a global rule may be followed by a reference to the subclause in which the rule is defined.

Constraint: This section contains the name of one or more subtype constraints that apply to the population of the MIM entity data types listed in the MIM element section or in the reference path. When no subtype constraint applies, this section is omitted.

A reference to a subtype constraint may be followed by a reference to the subclause in which the subtype constraint is defined.

Reference path: This section contains:

the reference path to its supertypes in the common resources, for each MIM element created within this part of ISO 10303;
the specification of the relationships between MIM elements, when the mapping of an application element requires to relate instances of several MIM entity data types. In such a case, each line in the reference path documents the role of a MIM element relative to the referring MIM element or to the next referred MIM element.

For the expression of reference paths and of the constraints between MIM elements, the following notational conventions apply:

[]	enclosed section constrains multiple MIM elements or sections of the reference path are required to satisfy an information requirement;
()	enclosed section constrains multiple MIM elements or sections of the reference path are identified as alternatives within the mapping to satisfy an information requirement;
{}	enclosed section constrains the reference path to satisfy an information requirement;
<>	enclosed section constrains at one or more required reference path;
\|\|	enclosed section constrains the supertype entity;
->	the attribute, whose name precedes the -> symbol, references the entity or select type whose name follows the -> symbol;
<-	the entity or select type, whose name precedes the <- symbol, is referenced by the entity attribute whose name follows the <- symbol;
[i]	the attribute, whose name precedes the [i] symbol, is an aggregate; any element of that aggregate is referred to;
[n]	the attribute, whose name precedes the [n] symbol, is an ordered aggregate; member n of that aggregate is referred to;
=>	the entity, whose name precedes the => symbol, is a supertype of the entity whose name follows the => symbol;
<=	the entity, whose name precedes the <= symbol, is a subtype of the entity whose name follows the <= symbol;
=	the string, select, or enumeration type is constrained to a choice or value;
\	the reference path expression continues on the next line;
*	one or more instances of the relationship entity data type may be assembled in a relationship tree structure. The path between the relationship entity and the related entities, is enclosed with braces;
--	the text following is a comment or introduces a clause reference;
*>	the select or enumeration type, whose name precedes the > symbol, is extended into the select or enumeration type whose name follows the > symbol;
<*	the select or enumeration type, whose name precedes the <* symbol, is an extension of the select or enumeration type whose name follows the <* symbol;
!{}	section enclosed by {} indicates a negative constraint placed on the mapping.

The definition and use of mapping templates is not supported in the present version of the application modules. However, use of predefined templates /SUBTYPE/ and /SUPERTYPE/ is supported.

5.1.1 And_expression

MIM element:	and_expression
Source:	ISO 13584-20
Reference path:	and_expression <= multiple_arity_boolean_expression

5.1.2 Binary_boolean_expression

MIM element:	binary_boolean_expression
Source:	ISO 13584-20
Reference path:	binary_boolean_expression <= [boolean_expression] [binary_generic_expression]

5.1.3 Binary_numeric_expression

MIM element:	binary_numeric_expression
Source:	ISO 13584-20

5.1.3.1 Binary_numeric_expression to Numeric_expression (as operands)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	binary_generic_expression

5.1.4 Boolean_defined_function

MIM element:	boolean_defined_function
Source:	ISO 13584-20
Reference path:	boolean_defined_function <= [defined_function] [boolean_expression]

5.1.5 Boolean_expression

MIM element:	boolean_expression
Source:	ISO 13584-20
Reference path:	boolean_expression <= expression

5.1.6 Boolean_literal

MIM element:	boolean_literal
Source:	ISO 13584-20
Reference path:	boolean_literal <= [simple_boolean_expression] [generic_literal]

5.1.6.1 Boolean_literal to Boolean_literal (as the_value)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	boolean_literal

5.1.7 Boolean_variable

MIM element:	boolean_variable
Source:	ISO 13584-20
Reference path:	boolean_variable <= [simple_boolean_expression] [variable]

5.1.8 Comparison_equal

MIM element:	comparison_equal
Source:	ISO 13584-20

5.1.9 Comparison_expression

MIM element:	comparison_expression
Source:	ISO 13584-20
Reference path:	comparison_expression <= [boolean_expression] [binary_generic_expression]

5.1.9.1 Comparison_expression to Expression (as operands)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	binary_generic_expression

5.1.10 Comparison_greater

MIM element:	comparison_greater
Source:	ISO 13584-20
Reference path:	comparison_greater <= comparison_expression

5.1.11 Comparison_greater_equal

MIM element:	comparison_greater_equal
Source:	ISO 13584-20
Reference path:	comparison_greater_equal <= comparison_expression

5.1.12 Comparison_less

MIM element:	comparison_less
Source:	ISO 13584-20
Reference path:	comparison_less <= comparison_expression

5.1.13 Comparison_less_equal

MIM element:	comparison_less_equal
Source:	ISO 13584-20
Reference path:	comparison_less_equal <= comparison_expression

5.1.14 Comparison_not_equal

MIM element:	comparison_not_equal
Source:	ISO 13584-20
Reference path:	comparison_not_equal <= comparison_expression

5.1.15 Defined_function

MIM element:	defined_function
Source:	ISO 13584-20
Reference path:	defined_function

5.1.16 Div_expression

MIM element:	div_expression
Source:	ISO 13584-20
Reference path:	div_expression <= binary_numeric_expression

5.1.17 Equals_expression

MIM element:	equals_expression
Source:	ISO 13584-20
Reference path:	equals_expression <= binary_boolean_expression

5.1.18 Expression

MIM element:	expression
Source:	ISO 13584-20
Reference path:	expression <= generic_expression

5.1.19 Int_literal

MIM element:	int_literal
Source:	ISO 13584-20
Reference path:	int_literal <= literal_number

5.1.19.1 Int_literal to Literal_number (as the_value)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	literal_number

5.1.20 Int_numeric_variable

MIM element:	int_numeric_variable
Source:	ISO 13584-20
Reference path:	int_numeric_variable <= numeric_variable

5.1.21 Interval_expression

MIM element:	interval_expression
Source:	ISO 13584-20

5.1.22 Literal_number

MIM element:	literal_number
Source:	ISO 13584-20
Reference path:	literal_number <= [simple_numeric_expression] [generic_literal]

5.1.22.1 Literal_number to Literal_number (as the_value)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	literal_number

5.1.23 Minus_expression

MIM element:	minus_expression
Source:	ISO 13584-20
Reference path:	minus_expression <= binary_numeric_expression

5.1.24 Mod_expression

MIM element:	mod_expression
Source:	ISO 13584-20
Reference path:	mod_expression <= binary_numeric_expression

5.1.25 Mult_expression

MIM element:	mult_expression
Source:	ISO 13584-20
Reference path:	mult_expression <= multiple_arity_numeric_expression

5.1.26 Multiple_arity_boolean_expression

MIM element:	multiple_arity_boolean_expression
Source:	ISO 13584-20
Reference path:	multiple_arity_boolean_expression <= [boolean_expression] [multiple_arity_generic_expression]

5.1.26.1 Multiple_arity_boolean_expression to Boolean_expression (as operands)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	multiple_arity_generic_expression

5.1.27 Multiple_arity_function_call

MIM element:	multiple_arity_function_call
Source:	ISO 13584-20

5.1.28 Multiple_arity_numeric_expression

MIM element:	multiple_arity_numeric_expression
Source:	ISO 13584-20
Reference path:	multiple_arity_numeric_expression <= [numeric_expression] [multiple_arity_generic_expression]

5.1.28.1 Multiple_arity_numeric_expression to Numeric_expression (as operands)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	multiple_arity_generic_expression

5.1.29 Not_expression

MIM element:	not_expression
Source:	ISO 13584-20
Reference path:	not_expression <= unary_boolean_expression

5.1.29.1 Not_expression to Boolean_expression (as operand)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	boolean_expression

5.1.30 Numeric_expression

MIM element:	numeric_expression
Source:	ISO 13584-20
Reference path:	numeric_expression <= expression

5.1.31 Numeric_variable

MIM element:	numeric_variable
Source:	ISO 13584-20

5.1.32 Or_expression

MIM element:	or_expression
Source:	ISO 13584-20
Reference path:	or_expression <= multiple_arity_boolean_expression

5.1.33 Plus_expression

MIM element:	plus_expression
Source:	ISO 13584-20
Reference path:	plus_expression <= multiple_arity_numeric_expression

5.1.34 Power_expression

MIM element:	power_expression
Source:	ISO 13584-20
Reference path:	power_expression <= binary_numeric_expression

5.1.35 Real_literal

MIM element:	real_literal
Source:	ISO 13584-20
Reference path:	real_literal <= literal_number

5.1.35.1 Real_literal to Literal_number (as the_value)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	literal_number

5.1.36 Real_numeric_variable

MIM element:	real_numeric_variable
Source:	ISO 13584-20
Reference path:	real_numeric_variable <= numeric_variable

5.1.37 Simple_boolean_expression

MIM element:	simple_boolean_expression
Source:	ISO 13584-20
Reference path:	simple_boolean_expression <= [boolean_expression] [simple_generic_expression]

5.1.38 Simple_numeric_expression

MIM element:	simple_numeric_expression
Source:	ISO 13584-20
Reference path:	simple_numeric_expression <= [numeric_expression] [simple_generic_expression]

5.1.39 Slash_expression

MIM element:	slash_expression
Source:	ISO 13584-20
Reference path:	slash_expression <= binary_numeric_expression

5.1.40 Unary_boolean_expression

MIM element:	unary_boolean_expression
Source:	ISO 13584-20
Reference path:	unary_boolean_expression <= [boolean_expression] [unary_generic_expression]

5.1.41 Unary_numeric_expression

MIM element:	unary_numeric_expression
Source:	ISO 13584-20
Reference path:	unary_numeric_expression <= [numeric_expression] [unary_generic_expression]

5.1.41.1 Unary_numeric_expression to Numeric_expression (as operand)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	unary_generic_expression

5.1.42 Xor_expression

MIM element:	xor_expression
Source:	ISO 13584-20
Reference path:	xor_expression <= binary_boolean_expression

5.1.42.1 Xor_expression to Boolean_expression (as operands)

MIM element:	PATH
Source:	ISO 13584-20
Reference path:	binary_generic_expression