| Application module: State based behaviour | ISO/TS 10303-1371:2011-10(E) © ISO |
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:
MIM element: This section contains, depending on the considered application element:
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:
This section is omitted when the keywords PATH or IDENTICAL MAPPING 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:
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. |
This application object, Activity_property, is defined in the module process_property_assignment. This mapping section extends the mapping of Activity_property, to include assertions defined in this module.
| Reference path: | action_property action_property.definition -> characterized_action_definition characterized_action_definition = (/MAPPING_OF(Activity_method_relationship)/) |
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.
| Reference path: | applied_action_assignment applied_action_assignment.items[i] -> action_items action_items *> sbb_action_items sbb_action_items = (/MAPPING_OF(State_definition)/) |
This application object, Applied_activity_method_assignment, is defined in the module activity_method_assignment. This mapping section extends the mapping of Applied_activity_method_assignment, to include assertions defined in this module.
| Reference path: | applied_action_method_assignment applied_action_method_assignment.items[i] -> action_method_items action_method_items *> sbb_action_method_items sbb_action_method_items = (/MAPPING_OF(State_definition)/) |
This application object, Applied_state_definition_assignment, is defined in the module foundation_state_definition. This mapping section extends the mapping of Applied_state_definition_assignment, to include assertions defined in this module.
| Reference path: | state_type_assignment applied_state_type_assignment <= state_type_assignment applied_state_type_assignment.items -> state_type_of_item state_type_of_item *> sbb_state_type_of_item sbb_state_type_of_item = (/MAPPING_OF(Activity_method)/) (/MAPPING_OF(Applied_activity_method_assignment)/) (/MAPPING_OF(Behaviour_description_association)/) (/MAPPING_OF(File)/) (/MAPPING_OF(File_location_identification)/) (/MAPPING_OF(Product)/) (/MAPPING_OF(Product_version)/) (/MAPPING_OF(Product_view_definition)/) |
This application object, Assigned_property, is defined in the module property_assignment. This mapping section extends the mapping of Assigned_property, to include assertions defined in this module.
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_applied_action_method_assignment |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_state_type_assignment |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_applied_action_method_assignment |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => document_file |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_generic_expression |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_general_property_relationship |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_product |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_product_definition_formation |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_product_definition_formation_relationship |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_product_definition characterized_product_definition => product_definition |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_property_definition_representation |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_representation |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_representation_context |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_representation_item |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_state_type |
| MIM element: | PATH |
| Reference path: | property_definition property_definition.definition -> characterized_definition characterized_definition *> characterized_object characterized_object => sbb_characterized_state_type_relationship |
This application object, Behaviour_description_association, is defined in the module behaviour_description_assignment. This mapping section extends the mapping of Behaviour_description_association, to include assertions defined in this module.
| Reference path: | group <- {group.name= 'behaviour description association'} group_assignment.assigned_group group_assignment => applied_group_assignment applied_group_assignment.items[i] -> groupable_item *> behaviour_item_groupable_item behaviour_item_groupable_item *> sbb_behaviour_item_groupable_item sbb_behaviour_item_groupable_item = (/MAPPING_OF(State_definition)/) |
This application object, Behaviour_description_association, is defined in the module behaviour_description_assignment. This mapping section extends the mapping of Behaviour_description_association, to include assertions defined in this module.
| Reference path: | group <- {group.name= 'behaviour description association'} group_assignment.assigned_group group_assignment => applied_group_assignment applied_group_assignment.items[i] -> groupable_item *> behaviour_model_groupable_item behaviour_model_groupable_item *> sbb_behaviour_model_groupable_item sbb_behaviour_model_groupable_item = (/MAPPING_OF(Activity_method)/) (/MAPPING_OF(State_based_behaviour_model)/) (/MAPPING_OF(State_definition)/) |
This application object, Classification_assignment, is defined in the module classification_assignment. This mapping section extends the mapping of Classification_assignment, to include assertions defined in this module.
| Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = (/MAPPING_OF(Activity_method)/) (/MAPPING_OF(Activity_method_relationship)/) (/MAPPING_OF(Applied_activity_method_assignment)/) (/MAPPING_OF(Applied_state_definition_assignment)/) (/MAPPING_OF(Assigned_property)/) (/MAPPING_OF(Class)/) (/MAPPING_OF(Description_text)/) (/MAPPING_OF(Description_text_assignment)/) (/MAPPING_OF(Expression)/) (/MAPPING_OF(Expression_assignment)/) (/MAPPING_OF(External_class_library)/) (/MAPPING_OF(External_source_identification)/) (/MAPPING_OF(File)/) (/MAPPING_OF(Identification_assignment)/) (/MAPPING_OF(Identification_relationship)/) (/MAPPING_OF(Independent_property)/) (/MAPPING_OF(Independent_property_relationship)/) (/MAPPING_OF(Independent_property_representation)/) (/MAPPING_OF(Product)/) (/MAPPING_OF(Product_relationship)/) (/MAPPING_OF(Product_version)/) (/MAPPING_OF(Product_version_relationship)/) (/MAPPING_OF(Product_view_definition)/) (/MAPPING_OF(Property_representation)/) (/MAPPING_OF(Representation)/) (/MAPPING_OF(Representation_item)/) (/MAPPING_OF(Representation_relationship)/) (/MAPPING_OF(State_definition)/) (/MAPPING_OF(State_definition_relationship)/) (/MAPPING_OF(Unit)/) (/MAPPING_OF(Value_with_unit)/) (/MAPPING_OF(View_definition_context)/) |
This application object, Collection_assignment, is defined in the module collection_identification_and_version. This mapping section extends the mapping of Collection_assignment, to include assertions defined in this module.
| Reference path: | collection_assignment <= applied_group_assignment applied_group_assignment.items -> groupable_item groupable_item *> collection_assignment_groupable_item collection_assignment_groupable_item *> sbb_collection_assignment_groupable_item sbb_collection_assignment_groupable_item = (/MAPPING_OF(Activity_method)/) (/MAPPING_OF(Product)/) (/MAPPING_OF(Product_version)/) (/MAPPING_OF(Product_view_definition)/) |
This application object, Collection_membership, is defined in the module collection_identification_and_version. This mapping section extends the mapping of Collection_membership, to include assertions defined in this module.
| Reference path: | collection_membership <= applied_group_assignment applied_group_assignment.items -> groupable_item groupable_item *> collection_membership_groupable_item collection_membership_groupable_item *> sbb_collection_membership_groupable_item sbb_collection_membership_groupable_item = (/MAPPING_OF(Activity_method)/) (/MAPPING_OF(Activity_method_relationship)/) (/MAPPING_OF(Applied_activity_method_assignment)/) (/MAPPING_OF(Applied_state_definition_assignment)/) (/MAPPING_OF(Assigned_property)/) (/MAPPING_OF(Class)/) (/MAPPING_OF(Classification_assignment)/) (/MAPPING_OF(Collection_assignment)/) (/MAPPING_OF(Collection_membership)/) (/MAPPING_OF(Condition)/) (/MAPPING_OF(Condition_assignment)/) (/MAPPING_OF(Condition_parameter)/) (/MAPPING_OF(Condition_relationship)/) (/MAPPING_OF(Derived_unit_element)/) (/MAPPING_OF(Description_text)/) (/MAPPING_OF(Description_text_assignment)/) (/MAPPING_OF(External_source)/) (/MAPPING_OF(External_source_identification)/) (/MAPPING_OF(File)/) (/MAPPING_OF(Identification_assignment)/) (/MAPPING_OF(Identification_relationship)/) (/MAPPING_OF(Independent_property)/) (/MAPPING_OF(Independent_property_relationship)/) (/MAPPING_OF(Name_assignment)/) (/MAPPING_OF(Product)/) (/MAPPING_OF(Product_relationship)/) (/MAPPING_OF(Product_version)/) (/MAPPING_OF(Product_version_relationship)/) (/MAPPING_OF(Product_view_definition)/) (/MAPPING_OF(Property_definition_representation)/) (/MAPPING_OF(Representation)/) (/MAPPING_OF(Representation_context)/) (/MAPPING_OF(Representation_item)/) (/MAPPING_OF(Representation_relationship)/) (/MAPPING_OF(Same_as_external_item)/) (/MAPPING_OF(State_definition)/) (/MAPPING_OF(State_definition_relationship)/) (/MAPPING_OF(State_definition_role)/) (/MAPPING_OF(Unit)/) (/MAPPING_OF(Value_with_unit)/) (/MAPPING_OF(View_definition_context)/) |
This application object, Condition_assignment, is defined in the module condition. This mapping section extends the mapping of Condition_assignment, to include assertions defined in this module.
| Reference path: | applied_action_method_assignment applied_action_method_assignment.items[i] -> action_method_items action_method_items *> condition_action_method_items condition_action_method_items *>sbb_condition_action_method_items sbb_condition_action_method_items = (/MAPPING_OF(Activity_method)/) (/MAPPING_OF(Activity_method_relationship)/) (/MAPPING_OF(Applied_activity_method_assignment)/) (/MAPPING_OF(Assigned_property)/) (/MAPPING_OF(Expression_assignment)/) (/MAPPING_OF(State_definition)/) (/MAPPING_OF(State_definition_relationship)/) |
This application object, Condition_parameter, is defined in the module condition. This mapping section extends the mapping of Condition_parameter, to include assertions defined in this module.
| Reference path: | applied_action_method_assignment applied_action_method_assignment.items[i] -> action_method_items action_method_items *> condition_action_method_items condition_action_method_items *> sbb_condition_action_method_items sbb_condition_action_method_items = (/MAPPING_OF(Activity_method)/) (/MAPPING_OF(Activity_method_relationship)/) (/MAPPING_OF(Applied_activity_method_assignment)/) (/MAPPING_OF(Assigned_property)/) (/MAPPING_OF(Classification_assignment)/) (/MAPPING_OF(Identification_assignment)/) (/MAPPING_OF(Independent_property)/) (/MAPPING_OF(Independent_property_representation)/) (/MAPPING_OF(Product)/) (/MAPPING_OF(Product_version)/) (/MAPPING_OF(Property_representation)/) (/MAPPING_OF(State_transition_definition)/) (/MAPPING_OF(Value_with_unit)/) (/MAPPING_OF(parameter_value_select)/) |
This application object, Description_text_assignment, is defined in the module description_assignment. This mapping section extends the mapping of Description_text_assignment, to include assertions defined in this module.
| Reference path: | applied_description_text_assignment <= description_text_assignment applied_description_text_assignment.items[i] -> description_item description_item *> sbb_description_item sbb_description_item = (/MAPPING_OF(Activity_method_relationship)/) (/MAPPING_OF(Applied_activity_method_assignment)/) (/MAPPING_OF(Assigned_property)/) (/MAPPING_OF(behaviour_model)/) (/MAPPING_OF(Class)/) (/MAPPING_OF(Condition)/) (/MAPPING_OF(Condition_assignment)/) (/MAPPING_OF(Condition_parameter)/) (/MAPPING_OF(Condition_relationship)/) (/MAPPING_OF(Description_text_assignment)/) (/MAPPING_OF(Expression)/) (/MAPPING_OF(External_source)/) (/MAPPING_OF(External_source_identification)/) (/MAPPING_OF(File)/) (/MAPPING_OF(Identification_assignment)/) (/MAPPING_OF(Identification_relationship)/) (/MAPPING_OF(Independent_property)/) (/MAPPING_OF(Independent_property_relationship)/) (/MAPPING_OF(Product)/) (/MAPPING_OF(Product_relationship)/) (/MAPPING_OF(Product_version)/) (/MAPPING_OF(Product_version_relationship)/) (/MAPPING_OF(Product_view_definition)/) (/MAPPING_OF(Property_definition_representation)/) (/MAPPING_OF(Representation)/) (/MAPPING_OF(Representation_item)/) (/MAPPING_OF(Representation_relationship)/) (/MAPPING_OF(State_definition_relationship)/) (/MAPPING_OF(State_definition_role)/) (/MAPPING_OF(Unit)/) (/MAPPING_OF(Value_with_unit)/) (/MAPPING_OF(View_definition_context)/) |
This application object, Expression_assignment, is defined in the module expression_assignment. This mapping section extends the mapping of Expression_assignment, to include assertions defined in this module.
| Reference path: | applied_expression_assignment applied_expression_assignment.items[i] -> expression_assignment_item expression_assignment_item *> sbb_expression_assignment_item sbb_expression_assignment_item = (/MAPPING_OF(Condition)/) |
This application object, External_source_identification, is defined in the module external_item_identification_assignment. This mapping section extends the mapping of External_source_identification, to include assertions defined in this module.
| Reference path: | applied_external_identification_assignment.items[i]-> external_identification_item external_identification_item *> sbb_external_identification_item sbb_external_identification_item = (/MAPPING_OF(Product)/) |
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.
| Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = (/MAPPING_OF(Activity_method)/) (/MAPPING_OF(Activity_method_relationship)/) (/MAPPING_OF(Applied_activity_method_assignment)/) (/MAPPING_OF(Applied_state_definition_assignment)/) (/MAPPING_OF(Assigned_property)/) (/MAPPING_OF(Class)/) (/MAPPING_OF(Condition)/) (/MAPPING_OF(Description_text_assignment)/) (/MAPPING_OF(External_class_library)/) (/MAPPING_OF(External_source_identification)/) (/MAPPING_OF(File)/) (/MAPPING_OF(Identification_relationship)/) (/MAPPING_OF(Independent_property)/) (/MAPPING_OF(Independent_property_relationship)/) (/MAPPING_OF(Product)/) (/MAPPING_OF(Product_relationship)/) (/MAPPING_OF(Product_version)/) (/MAPPING_OF(Product_view_definition)/) (/MAPPING_OF(Representation)/) (/MAPPING_OF(Representation_item)/) (/MAPPING_OF(State_definition)/) (/MAPPING_OF(State_definition_relationship)/) (/MAPPING_OF(View_definition_context)/) |
This application object, Parameter_value_representation_item, is defined in the module general_model_parameter. This mapping section extends the mapping of Parameter_value_representation_item, to include assertions defined in this module.
| Reference path: | parameter_value_representation_item = parameter_value_representation_item_groupable_item <* groupable_item <- applied_group_assignment.items[i] applied_group_assignment <= group_assignment group_assignment.assigned_group -> group {group.name = 'parameter value representation item parameter value select value'} group <- group_assignment.assigned_group group_assignment => applied_group_assignment applied_group_assignment.items[i] -> groupable_item *> parameter_value_select_groupable_item = parameter_value_select parameter_value_select *> sbb_parameter_value_select sbb_parameter_value_select = (/MAPPING_OF(Product_view_definition)/) (/MAPPING_OF(Representation)/) (/MAPPING_OF(Representation_item)/) (/MAPPING_OF(State_definition)/) |
This application object, Same_as_external_item, is defined in the module same_as_external_item. This mapping section extends the mapping of Same_as_external_item, to include assertions defined in this module.
| Reference path: | same_as_external_item_assignment.items[i] -> same_as_item same_as_item *> sbb_same_as_item sbb_same_as_item = (/MAPPING_OF(Activity_method)/) (/MAPPING_OF(Condition)/) (/MAPPING_OF(Condition_parameter)/) (/MAPPING_OF(Derived_unit_element)/) (/MAPPING_OF(Description_text)/) (/MAPPING_OF(External_source)/) (/MAPPING_OF(External_source_identification)/) (/MAPPING_OF(Independent_property)/) (/MAPPING_OF(Product)/) (/MAPPING_OF(Product_version)/) (/MAPPING_OF(Product_view_definition)/) (/MAPPING_OF(Representation_context)/) (/MAPPING_OF(State_definition)/) (/MAPPING_OF(State_definition_role)/) (/MAPPING_OF(Unit)/) (/MAPPING_OF(Value_with_unit)/) (/MAPPING_OF(View_definition_context)/) |
© ISO 2011 — All rights reserved