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 attribute 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:

5.1.1 Abstract_variable

5.1.1.1 name

5.1.1.2 Abstract_variable to Rule_definition (as scope)

5.1.1.3 Abstract_variable to Rule_set (as scope)

5.1.1.4 Abstract_variable to Rule_set_group (as scope)

5.1.1.5 Abstract_variable to scope_select (as scope)

5.1.2 Applied_activity_assignment

This application object, Applied_activity_assignment, is defined in the module activity. This mapping section extends the mapping of Applied_activity_assignment, to include assertions defined in this module.

5.1.2.1 Applied_activity_assignment to * (as items)

5.1.3 Atomic_formula

5.1.3.1 Atomic_formula to any_number_value (as terms)

5.1.3.2 Atomic_formula to any_string_value (as terms)

5.1.3.3 Atomic_formula to constants (as terms)

5.1.3.4 Atomic_formula to Func (as terms)

5.1.3.5 Atomic_formula to Logical_representation_item (as terms)

5.1.3.6 Atomic_formula to predicate_symbol (as predicate_symbol)

5.1.3.7 Atomic_formula to Row_value (as terms)

5.1.3.8 Atomic_formula to Row_variable (as terms)

5.1.3.9 Atomic_formula to Scalar_variable (as terms)

5.1.3.10 Atomic_formula to Symbol (as terms)

5.1.3.11 Atomic_formula to term_select (as terms)

5.1.4 Attribute_assertion

5.1.4.1 attribute

5.1.4.2 entity_type

5.1.5 Back_chaining_rule

5.1.5.1 Back_chaining_rule to Rule_condition (as body)

5.1.5.2 Back_chaining_rule to Rule_condition (as head)

5.1.6 Complex_clause

5.1.6.1 Complex_clause to clause_select (as clauses)

5.1.6.2 Complex_clause to Complex_clause (as clauses)

5.1.6.3 Complex_clause to Simple_clause (as clauses)

5.1.7 Complex_conjunctive_clause

5.1.8 Complex_disjunctive_clause

5.1.9 Document_assignment

This application object, Document_assignment, is defined in the module document_assignment. This mapping section extends the mapping of Document_assignment, to include assertions defined in this module.

5.1.9.1 Document_assignment to Rule_set (as is_assigned_to)

5.1.10 Entity_assertion

5.1.11 Enum_reference_prefix

5.1.11.1 prefix

5.1.12 Extent

5.1.12.1 query_expression

5.1.12.2 source

5.1.12.3 variable_id

5.1.12.4 Extent to expression_syntax (as syntax)

5.1.13 Fact_type

5.1.13.1 predicate_symbol

5.1.13.2 Fact_type to Extent (as source)

5.1.14 Forward_chaining_rule

5.1.14.1 Forward_chaining_rule to clause_select (as premise)

5.1.14.2 Forward_chaining_rule to Complex_clause (as premise)

5.1.14.3 Forward_chaining_rule to Literal_conjunction (as conclusion)

5.1.14.4 Forward_chaining_rule to Simple_clause (as premise)

5.1.15 Func

5.1.15.1 func_sym

5.1.15.2 Func to any_number_value (as terms)

5.1.15.3 Func to any_string_value (as terms)

5.1.15.4 Func to constants (as terms)

5.1.15.5 Func to Func (as terms)

5.1.15.6 Func to Logical_representation_item (as terms)

5.1.15.7 Func to Row_value (as terms)

5.1.15.8 Func to Row_variable (as terms)

5.1.15.9 Func to Scalar_variable (as terms)

5.1.15.10 Func to Symbol (as terms)

5.1.15.11 Func to term_select (as terms)

5.1.16 Global_assignment

5.1.16.1 Global_assignment to Abstract_variable (as variable)

5.1.16.2 Global_assignment to any_number_value (as val)

5.1.16.3 Global_assignment to any_string_value (as val)

5.1.16.4 Global_assignment to constants (as val)

5.1.16.5 Global_assignment to Func (as val)

5.1.16.6 Global_assignment to Logical_representation_item (as val)

5.1.16.7 Global_assignment to Row_value (as val)

5.1.16.8 Global_assignment to Row_variable (as val)

5.1.16.9 Global_assignment to Scalar_variable (as val)

5.1.16.10 Global_assignment to Symbol (as val)

5.1.16.11 Global_assignment to term_select (as val)

5.1.17 Ground_fact

5.1.18 Identification_assignment

This application object, Identification_assignment, is defined in the module identification_assignment. This mapping section extends the mapping of Identification_assignment, to include assertions defined in this module.

5.1.18.1 Identification_assignment to Rule_set (as items)

5.1.19 Literal_conjunction

5.1.20 Literal_disjunction

5.1.21 Organization_or_person_in_organization_assignment

This application object, Organization_or_person_in_organization_assignment, is defined in the module person_organization_assignment. This mapping section extends the mapping of Organization_or_person_in_organization_assignment, to include assertions defined in this module.

5.1.21.1 Organization_or_person_in_organization_assignment to Rule_action (as items)

5.1.22 Row_value

5.1.22.1 Row_value to any_number_value (as values)

5.1.22.2 Row_value to any_string_value (as values)

5.1.22.3 Row_value to constants (as values)

5.1.22.4 Row_value to Func (as values)

5.1.22.5 Row_value to Logical_representation_item (as values)

5.1.22.6 Row_value to Row_value (as values)

5.1.22.7 Row_value to Row_variable (as values)

5.1.22.8 Row_value to Scalar_variable (as values)

5.1.22.9 Row_value to Symbol (as values)

5.1.22.10 Row_value to term_select (as values)

5.1.23 Row_variable

5.1.24 Rule_action

5.1.24.1 Rule_action to Rule_version (as subject_rule)

5.1.25 Rule_adoption

5.1.26 Rule_change_request

5.1.26.1 change_reason

5.1.27 Rule_condition

5.1.27.1 positive

5.1.28 Rule_creation

5.1.29 Rule_definition

5.1.30 Rule_expiration

5.1.30.1 expiration_rationale

5.1.31 Rule_justification

5.1.31.1 justification_rationale

5.1.31.2 Rule_justification to Rule_action (as justified_action)

5.1.32 Rule_modification

5.1.32.1 Rule_modification to Rule_change_request (as modification_rationale)

5.1.33 Rule_priority

5.1.33.1 priority

5.1.33.2 Rule_priority to Rule_definition (as prioritized_rule)

5.1.34 Rule_product

5.1.35 Rule_rejection

5.1.35.1 rejection_reason

5.1.36 Rule_request

5.1.37 Rule_set

5.1.37.1 conflict_resolution_strategy

5.1.37.2 Rule_set to Rule_priority (as rule_member)

5.1.38 Rule_set_group

5.1.38.1 Rule_set_group to Rule_set (as elements)

5.1.39 Rule_software_definition

5.1.39.1 Rule_software_definition to Rule_version (as defined_version)

5.1.40 Rule_submission

5.1.40.1 submission_rationale

5.1.41 Rule_supersedence

5.1.41.1 Rule_supersedence to Rule_version (as superseded_rule)

5.1.42 Rule_version

5.1.42.1 Rule_version to Rule_product (as of_product)

5.1.43 Scalar_variable

5.1.44 Simple_clause

5.1.44.1 Simple_clause to Rule_condition (as formulas)

5.1.45 Symbol

© ISO 2019 — All rights reserved