AP scope | AP module | AP contents | AP index | |
Application module: State based behaviour | ISO/WD 10303-1371 |
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, 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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = action_method |
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.
MIM element: | PATH |
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 = product_definition |
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.
MIM element: | PATH |
Reference path: | expression_assignment expression_assignment.assigned_to_object -> assignment_target_select assignment_target_select *> sbb_assignment_target_select sbb_assignment_target_select = condition |
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.
MIM element: | PATH |
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 = state_type_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.
MIM element: | PATH |
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 = parameter_value_select |
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_object characterized_object => characterized_action_method <= action_method |
MIM element: | PATH |
Reference path: | property_definition property_definition.definition -> characterized_definition = characterized_object characterized_object => characterized_behaviour_definition <= behaviour_definition |
MIM element: | PATH |
Reference path: | property_definition property_definition.definition -> characterized_definition = characterized_object characterized_object => characterized_product_definition <= product_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.
MIM element: | PATH |
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 = state_based_behaviour_model |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = action_method action_method |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = condition condition |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = product product |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = product_definition product_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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = product_definition_formation product_definition_formation |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = state_type state_type |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = description_attribute description_attribute |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = representation representation |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = applied_external_identification_assignment applied_external_identification_assignment |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = document_file document_file |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = state_type_relationship state_type_relationship |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = general_model_parameter general_model_parameter |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = behaviour behaviour |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = behaviour_definition behaviour_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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = state_type_assignment state_type_assignment |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = state_based_behaviour_model state_based_behaviour_model |
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.
MIM element: | PATH |
Reference path: | applied_classification_assignment.items[i] -> classification_item classification_item *> sbb_classification_item sbb_classification_item = description_attribute description_attribute |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = action_method action_method |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = condition condition |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = product product |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = product_definition_formation product_definition_formation |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = product_definition product_definition |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = state_type state_type |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = representation representation |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = behaviour behaviour |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = behaviour_definition_formation behaviour_definition_formation |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = behaviour_definition_formation behaviour_definition_formation |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = behaviour_definition behaviour_definition |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = state_based_behaviour_model state_based_behaviour_model |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = general_model_parameter general_model_parameter |
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.
MIM element: | PATH |
Reference path: | description_attribute description_attribute.described_item -> description_attribute_select description_attribute_select *> sbb_description_attribute_select sbb_description_attribute_select = state_type_relationship state_type_relationship |
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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = state_type state_type |
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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = state_type_relationship state_type_relationship |
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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = description_attribute description_attribute |
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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = product_definition_formation product_definition_formation |
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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = document_file document_file |
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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = condition condition |
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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = general_model_parameter general_model_parameter |
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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = product_definition product_definition |
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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = product 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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = state_based_behaviour_model state_based_behaviour_model |
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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = applied_external_identification_assignment applied_external_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.
MIM element: | PATH |
Reference path: | applied_identification_assignment.items[i] -> identification_item identification_item *> sbb_identification_item sbb_identification_item = representation representation |
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.
MIM element: | PATH |
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 = product_definition product_definition |
© ISO 2006 — All rights reserved