4 Information requirements

This clause specifies the information requirements for the State based behaviour 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.

This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the State_based_behaviour_arm schema and identifies the necessary external references.

4.1 Required AM ARMs

The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.

EXPRESS specification:

*)
USE FROM Activity_method_assignment_arm;    --  ISO/TS 10303-1249



USE FROM Behaviour_description_assignment_arm;    --  ISO/TS 10303-1483



USE FROM Collection_identification_and_version_arm;    --  ISO/TS 10303-1396



USE FROM Condition_arm;    --  ISO/TS 10303-1253



USE FROM Description_assignment_arm;    --  ISO/TS 10303-1473



USE FROM Expression_assignment_arm;    --  ISO/TS 10303-1491



USE FROM External_state_based_behaviour_model_arm;    --  ISO/TS 10303-1468



USE FROM General_model_parameter_arm;    --  ISO/TS 10303-1472



USE FROM Identification_relationship_arm;    --  ISO/TS 10303-1398



USE FROM Process_property_assignment_arm;    --  ISO/TS 10303-1040



USE FROM Same_as_external_item_arm;    --  ISO/TS 10303-1402



USE FROM Textual_expression_representation_arm;    --  ISO/TS 10303-1367
(*



NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Activity_method_assignment_arm	ISO/TS 10303-1249
Behaviour_description_assignment_arm	ISO/TS 10303-1483
Collection_identification_and_version_arm	ISO/TS 10303-1396
Condition_arm	ISO/TS 10303-1253
Description_assignment_arm	ISO/TS 10303-1473
Expression_assignment_arm	ISO/TS 10303-1491
External_state_based_behaviour_model_arm	ISO/TS 10303-1468
General_model_parameter_arm	ISO/TS 10303-1472
Identification_relationship_arm	ISO/TS 10303-1398
Process_property_assignment_arm	ISO/TS 10303-1040
Same_as_external_item_arm	ISO/TS 10303-1402
Textual_expression_representation_arm	ISO/TS 10303-1367

NOTE 2   See Annex C, Figures C.1and C.2 for a graphical representation of this schema.

4.2 ARM type definitions

This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.

4.2.1 sbb_activity_item   

The sbb_activity_item type is an extension of the activity_item type. It adds the data type State_definition to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE sbb_activity_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON activity_item WITH
   (State_definition);
END_TYPE;
(*

4.2.2 sbb_activity_method_item   

The sbb_activity_method_item type is an extension of the activity_method_item type. It adds the data type State_definition to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is a product or activity data item to which an applied activity method can be assigned.

EXPRESS specification:

*)
TYPE sbb_activity_method_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON activity_method_item WITH
   (State_definition);
END_TYPE;
(*

4.2.3 sbb_behaviour_item   

The sbb_behaviour_item type is an extension of the behaviour_item type. It adds the data type State_definition to the list of alternate data types.

Each list member is the behaviour item whose behaviour is represented by the behaviour model.

EXPRESS specification:

*)
TYPE sbb_behaviour_item = SELECT BASED_ON behaviour_item WITH
   (State_definition);
END_TYPE;
(*

4.2.4 sbb_behaviour_model   

The sbb_behaviour_model type is an extension of the behaviour_model type. It adds the data types Activity_method, State_based_behaviour_model and State_definition to the list of alternate data types.

Each list member is a behaviour model which is used to represent the behaviour of the a product or activity data item.

EXPRESS specification:

*)
TYPE sbb_behaviour_model = SELECT BASED_ON behaviour_model WITH
   (Activity_method,
    State_based_behaviour_model,
    State_definition);
END_TYPE;
(*

4.2.5 sbb_characterized_activity_definition   

The sbb_characterized_activity_definition type is an extension of the characterized_activity_definition type. It adds the data type Activity_method_relationship to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE sbb_characterized_activity_definition = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON characterized_activity_definition WITH
   (Activity_method_relationship);
END_TYPE;
(*

4.2.6 sbb_classification_item   

The sbb_classification_item type is an extension of the classification_item type. It adds the data types Activity_method, Activity_method_relationship, Applied_activity_method_assignment, Applied_state_definition_assignment, Assigned_property, Class, Description_text, Description_text_assignment, Expression, Expression_assignment, External_class_library, External_source_identification, File, Identification_assignment, Identification_relationship, Independent_property, Independent_property_relationship, Independent_property_representation, Product, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Property_representation, Representation, Representation_item, Representation_relationship, State_definition, State_definition_relationship, Unit, Value_with_unit and View_definition_context to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is a product or activity data item for which a class can be assigned to classify it.

EXPRESS specification:

*)
TYPE sbb_classification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON classification_item WITH
   (Activity_method,
    Activity_method_relationship,
    Applied_activity_method_assignment,
    Applied_state_definition_assignment,
    Assigned_property,
    Class,
    Description_text,
    Description_text_assignment,
    Expression,
    Expression_assignment,
    External_class_library,
    External_source_identification,
    File,
    Identification_assignment,
    Identification_relationship,
    Independent_property,
    Independent_property_relationship,
    Independent_property_representation,
    Product,
    Product_relationship,
    Product_version,
    Product_version_relationship,
    Product_view_definition,
    Property_representation,
    Representation,
    Representation_item,
    Representation_relationship,
    State_definition,
    State_definition_relationship,
    Unit,
    Value_with_unit,
    View_definition_context);
END_TYPE;
(*

4.2.7 sbb_collection_assignment_select   

The sbb_collection_assignment_select type is an extension of the collection_assignment_select type. It adds the data types Activity_method, Product, Product_version and Product_view_definition to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is an object to which the collection has relevance.

EXPRESS specification:

*)
TYPE sbb_collection_assignment_select = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON collection_assignment_select WITH
   (Activity_method,
    Product,
    Product_version,
    Product_view_definition);
END_TYPE;
(*

4.2.8 sbb_collection_member_select   

The sbb_collection_member_select type is an extension of the collection_member_select type. It adds the data types Activity_method, Activity_method_relationship, Applied_activity_method_assignment, Applied_state_definition_assignment, Assigned_property, Class, Classification_assignment, Collection_assignment, Collection_membership, Condition, Condition_assignment, Condition_parameter, Condition_relationship, Derived_unit_element, Description_text, Description_text_assignment, External_source, External_source_identification, File, Identification_assignment, Identification_relationship, Independent_property, Independent_property_relationship, Name_assignment, Product, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Property_definition_representation, Representation, Representation_context, Representation_item, Representation_relationship, Same_as_external_item, State_definition, State_definition_relationship, State_definition_role, Unit, Value_with_unit and View_definition_context to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is an object that represents a member of the collection.

EXPRESS specification:

*)
TYPE sbb_collection_member_select = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON collection_member_select WITH
   (Activity_method,
    Activity_method_relationship,
    Applied_activity_method_assignment,
    Applied_state_definition_assignment,
    Assigned_property,
    Class,
    Classification_assignment,
    Collection_assignment,
    Collection_membership,
    Condition,
    Condition_assignment,
    Condition_parameter,
    Condition_relationship,
    Derived_unit_element,
    Description_text,
    Description_text_assignment,
    External_source,
    External_source_identification,
    File,
    Identification_assignment,
    Identification_relationship,
    Independent_property,
    Independent_property_relationship,
    Name_assignment,
    Product,
    Product_relationship,
    Product_version,
    Product_version_relationship,
    Product_view_definition,
    Property_definition_representation,
    Representation,
    Representation_context,
    Representation_item,
    Representation_relationship,
    Same_as_external_item,
    State_definition,
    State_definition_relationship,
    State_definition_role,
    Unit,
    Value_with_unit,
    View_definition_context);
END_TYPE;
(*

4.2.9 sbb_condition_item   

The sbb_condition_item type is an extension of the condition_item type. It adds the data types Activity_method, Activity_method_relationship, Applied_activity_method_assignment, Assigned_property, Expression_assignment, State_definition and State_definition_relationship to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is a product or activity data item to which a condition can be assigned.

EXPRESS specification:

*)
TYPE sbb_condition_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON condition_item WITH
   (Activity_method,
    Activity_method_relationship,
    Applied_activity_method_assignment,
    Assigned_property,
    Expression_assignment,
    State_definition,
    State_definition_relationship);
END_TYPE;
(*

4.2.10 sbb_condition_parameter_item   

The sbb_condition_parameter_item type is an extension of the condition_parameter_item type. It adds the data types Activity_method, Activity_method_relationship, Applied_activity_method_assignment, Assigned_property, Classification_assignment, Identification_assignment, Independent_property, Independent_property_representation, parameter_value_select, Product, Product_version, Property_representation and State_transition_definition to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is a product or activity data item which acts as an input parameter to a condition which may or may not be specific.

EXPRESS specification:

*)
TYPE sbb_condition_parameter_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON condition_parameter_item WITH
   (Activity_method,
    Activity_method_relationship,
    Applied_activity_method_assignment,
    Assigned_property,
    Classification_assignment,
    Identification_assignment,
    Independent_property,
    Independent_property_representation,
    parameter_value_select,
    Product,
    Product_version,
    Property_representation,
    State_transition_definition);
END_TYPE;
(*

4.2.11 sbb_description_item   

The sbb_description_item type is an extension of the description_item type. It adds the data types Activity_method_relationship, Applied_activity_method_assignment, Assigned_property, behaviour_model, Class, Condition, Condition_assignment, Condition_parameter, Condition_relationship, Description_text_assignment, Expression, External_source, External_source_identification, File, Identification_assignment, Identification_relationship, Independent_property, Independent_property_relationship, Product, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Property_definition_representation, Representation, Representation_item, Representation_relationship, State_definition_relationship, State_definition_role, Unit, Value_with_unit and View_definition_context to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is an item to which a description may be assigned

EXPRESS specification:

*)
TYPE sbb_description_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON description_item WITH
   (Activity_method_relationship,
    Applied_activity_method_assignment,
    Assigned_property,
    behaviour_model,
    Class,
    Condition,
    Condition_assignment,
    Condition_parameter,
    Condition_relationship,
    Description_text_assignment,
    Expression,
    External_source,
    External_source_identification,
    File,
    Identification_assignment,
    Identification_relationship,
    Independent_property,
    Independent_property_relationship,
    Product,
    Product_relationship,
    Product_version,
    Product_version_relationship,
    Product_view_definition,
    Property_definition_representation,
    Representation,
    Representation_item,
    Representation_relationship,
    State_definition_relationship,
    State_definition_role,
    Unit,
    Value_with_unit,
    View_definition_context);
END_TYPE;
(*

4.2.12 sbb_expression_assignment_item   

The sbb_expression_assignment_item type is an extension of the expression_assignment_item type. It adds the data type Condition to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is an item to which an expression may be assigned.

EXPRESS specification:

*)
TYPE sbb_expression_assignment_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON expression_assignment_item WITH
   (Condition);
END_TYPE;
(*

4.2.13 sbb_external_identification_item   

The sbb_external_identification_item type is an extension of the external_identification_item type. It adds the data type Product to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is an external product or activity data item whose source can be identified.

EXPRESS specification:

*)
TYPE sbb_external_identification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON external_identification_item WITH
   (Product);
END_TYPE;
(*

4.2.14 sbb_identification_item   

The sbb_identification_item type is an extension of the identification_item type. It adds the data types Activity_method, Activity_method_relationship, Applied_activity_method_assignment, Applied_state_definition_assignment, Assigned_property, Class, Condition, Description_text_assignment, External_class_library, External_source_identification, File, Identification_relationship, Independent_property, Independent_property_relationship, Product, Product_relationship, Product_version, Product_view_definition, Representation, Representation_item, State_definition, State_definition_relationship and View_definition_context to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is a data item to which an identification assignment can be made.

EXPRESS specification:

*)
TYPE sbb_identification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON identification_item WITH
   (Activity_method,
    Activity_method_relationship,
    Applied_activity_method_assignment,
    Applied_state_definition_assignment,
    Assigned_property,
    Class,
    Condition,
    Description_text_assignment,
    External_class_library,
    External_source_identification,
    File,
    Identification_relationship,
    Independent_property,
    Independent_property_relationship,
    Product,
    Product_relationship,
    Product_version,
    Product_view_definition,
    Representation,
    Representation_item,
    State_definition,
    State_definition_relationship,
    View_definition_context);
END_TYPE;
(*

4.2.15 sbb_parameter_value_select   

The sbb_parameter_value_select type is an extension of the parameter_value_select type. It adds the data types Product_view_definition, Representation, Representation_item and State_definition to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is a product or activity data item for which a parameter can be provided.

EXPRESS specification:

*)
TYPE sbb_parameter_value_select = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON parameter_value_select WITH
   (Product_view_definition,
    Representation,
    Representation_item,
    State_definition);
END_TYPE;
(*

4.2.16 sbb_property_assignment_select   

The sbb_property_assignment_select type is an extension of the property_assignment_select type. It adds the data types Applied_activity_method_assignment, Applied_state_definition_assignment, Condition_parameter, File, Generic_expression, Independent_property_relationship, Product, Product_version, Product_version_relationship, Product_view_definition, Property_definition_representation, Representation, Representation_context, Representation_item, State_definition and State_definition_relationship to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is a data item which can be assigned a property.

EXPRESS specification:

*)
TYPE sbb_property_assignment_select = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON property_assignment_select WITH
   (Applied_activity_method_assignment,
    Applied_state_definition_assignment,
    Condition_parameter,
    File,
    Generic_expression,
    Independent_property_relationship,
    Product,
    Product_version,
    Product_version_relationship,
    Product_view_definition,
    Property_definition_representation,
    Representation,
    Representation_context,
    Representation_item,
    State_definition,
    State_definition_relationship);
END_TYPE;
(*

4.2.17 sbb_same_as_item   

The sbb_same_as_item type is an extension of the same_as_item type. It adds the data types Activity_method, Condition, Condition_parameter, Derived_unit_element, Description_text, External_source, External_source_identification, Independent_property, Product, Product_version, Product_view_definition, Representation_context, State_definition, State_definition_role, Unit, Value_with_unit and View_definition_context to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

The items in the dataset that are the same as the external item.

EXPRESS specification:

*)
TYPE sbb_same_as_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON same_as_item WITH
   (Activity_method,
    Condition,
    Condition_parameter,
    Derived_unit_element,
    Description_text,
    External_source,
    External_source_identification,
    Independent_property,
    Product,
    Product_version,
    Product_view_definition,
    Representation_context,
    State_definition,
    State_definition_role,
    Unit,
    Value_with_unit,
    View_definition_context);
END_TYPE;
(*

4.2.18 sbb_state_definition_of_item   

The sbb_state_definition_of_item type is an extension of the state_definition_of_item type. It adds the data types Activity_method, Applied_activity_method_assignment, Behaviour_description_association, File, File_location_identification, Product, Product_version and Product_view_definition to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

Each list member is an object whose mode of being (i.e. state) can be described and known by a state definition.

EXPRESS specification:

*)
TYPE sbb_state_definition_of_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON state_definition_of_item WITH
   (Activity_method,
    Applied_activity_method_assignment,
    Behaviour_description_association,
    File,
    File_location_identification,
    Product,
    Product_version,
    Product_view_definition);
END_TYPE;
(*

© ISO 2011 — All rights reserved