4 Information requirements

This clause specifies the information requirements for the Function 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 Function_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 Behaviour_description_assignment_arm;    --  ISO/TS 10303-1483



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



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



USE FROM External_functional_model_arm;    --  ISO/TS 10303-1478



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 Required_resource_arm;    --  ISO/TS 10303-1267



USE FROM Resource_property_assignment_arm;    --  ISO/TS 10303-1273



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:

Behaviour_description_assignment_arm	ISO/TS 10303-1483
Collection_identification_and_version_arm	ISO/TS 10303-1396
Expression_assignment_arm	ISO/TS 10303-1491
External_functional_model_arm	ISO/TS 10303-1478
General_model_parameter_arm	ISO/TS 10303-1472
Identification_relationship_arm	ISO/TS 10303-1398
Process_property_assignment_arm	ISO/TS 10303-1040
Required_resource_arm	ISO/TS 10303-1267
Resource_property_assignment_arm	ISO/TS 10303-1273
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 fbb_activity_item   

The fbb_activity_item type is an extension of the activity_item type. It adds the data types Activity_method, Assigned_property, Behaviour_description_association, Condition, File, Product, Product_version, Product_version_relationship, Product_view_definition, Required_resource, Required_resource_assignment, Resource_item, Resource_item_realization, Resource_property, Task_io and Task_io_hierarchy 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 fbb_activity_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON activity_item WITH
   (Activity_method,
    Assigned_property,
    Behaviour_description_association,
    Condition,
    File,
    Product,
    Product_version,
    Product_version_relationship,
    Product_view_definition,
    Required_resource,
    Required_resource_assignment,
    Resource_item,
    Resource_item_realization,
    Resource_property,
    Task_io,
    Task_io_hierarchy);
END_TYPE;
(*

4.2.2 fbb_activity_method_item   

The fbb_activity_method_item type is an extension of the activity_method_item type. It adds the data types Activity_method, Assigned_property, Behaviour_description_association, Condition, File, Product, Product_version, Product_version_relationship, Product_view_definition, Required_resource, Required_resource_assignment, Resource_item, Resource_item_realization, Resource_property, Task_io and Task_io_hierarchy 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 fbb_activity_method_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON activity_method_item WITH
   (Activity_method,
    Assigned_property,
    Behaviour_description_association,
    Condition,
    File,
    Product,
    Product_version,
    Product_version_relationship,
    Product_view_definition,
    Required_resource,
    Required_resource_assignment,
    Resource_item,
    Resource_item_realization,
    Resource_property,
    Task_io,
    Task_io_hierarchy);
END_TYPE;
(*

4.2.3 fbb_characterized_activity_definition   

The fbb_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 fbb_characterized_activity_definition = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON characterized_activity_definition WITH
   (Activity_method_relationship);
END_TYPE;
(*

4.2.4 fbb_characterized_resource_select   

The fbb_characterized_resource_select type is an extension of the characterized_resource_select type. It adds the data types Required_resource, Resource_item, Resource_item_realization and Resource_item_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 fbb_characterized_resource_select = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON characterized_resource_select WITH
   (Required_resource,
    Resource_item,
    Resource_item_realization,
    Resource_item_relationship);
END_TYPE;
(*

4.2.5 fbb_classification_item   

The fbb_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, Assigned_property, Class, 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, Resource_item_realization, Resource_property, Resource_property_representation, 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.

EXPRESS specification:

*)
TYPE fbb_classification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON classification_item WITH
   (Activity_method,
    Activity_method_relationship,
    Applied_activity_method_assignment,
    Assigned_property,
    Class,
    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,
    Resource_item_realization,
    Resource_property,
    Resource_property_representation,
    Unit,
    Value_with_unit,
    View_definition_context);
END_TYPE;
(*

4.2.6 fbb_collection_assignment_select   

The fbb_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.

EXPRESS specification:

*)
TYPE fbb_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.7 fbb_collection_member_select   

The fbb_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, Assigned_property, Class, Classification_assignment, Collection_assignment, Collection_membership, Condition, Condition_assignment, Condition_parameter, Condition_relationship, Derived_unit_element, 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, Required_resource, Required_resource_assignment, Required_resource_relationship, Required_resource_requirement, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Resource_property_representation, Same_as_external_item, 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.

EXPRESS specification:

*)
TYPE fbb_collection_member_select = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON collection_member_select WITH
   (Activity_method,
    Activity_method_relationship,
    Applied_activity_method_assignment,
    Assigned_property,
    Class,
    Classification_assignment,
    Collection_assignment,
    Collection_membership,
    Condition,
    Condition_assignment,
    Condition_parameter,
    Condition_relationship,
    Derived_unit_element,
    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,
    Required_resource,
    Required_resource_assignment,
    Required_resource_relationship,
    Required_resource_requirement,
    Resource_item,
    Resource_item_assignment,
    Resource_item_realization,
    Resource_item_relationship,
    Resource_property,
    Resource_property_representation,
    Same_as_external_item,
    Unit,
    Value_with_unit,
    View_definition_context);
END_TYPE;
(*

4.2.8 fbb_condition_item   

The fbb_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, Required_resource, Required_resource_assignment, Required_resource_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship and Resource_property 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 fbb_condition_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON condition_item WITH
   (Activity_method,
    Activity_method_relationship,
    Applied_activity_method_assignment,
    Assigned_property,
    Expression_assignment,
    Required_resource,
    Required_resource_assignment,
    Required_resource_relationship,
    Resource_item,
    Resource_item_assignment,
    Resource_item_realization,
    Resource_item_relationship,
    Resource_property);
END_TYPE;
(*

4.2.9 fbb_condition_parameter_item   

The fbb_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, Expression, Identification_assignment, Independent_property, Independent_property_representation, parameter_value_select, Product, Product_version, Product_view_definition, Property_representation, Representation, Required_resource, Required_resource_assignment, Required_resource_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property and Resource_property_representation 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 fbb_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,
    Expression,
    Identification_assignment,
    Independent_property,
    Independent_property_representation,
    parameter_value_select,
    Product,
    Product_version,
    Product_view_definition,
    Property_representation,
    Representation,
    Required_resource,
    Required_resource_assignment,
    Required_resource_relationship,
    Resource_item,
    Resource_item_assignment,
    Resource_item_realization,
    Resource_item_relationship,
    Resource_property,
    Resource_property_representation);
END_TYPE;
(*

4.2.10 fbb_expression_assignment_item   

The fbb_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.

EXPRESS specification:

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

4.2.11 fbb_identification_item   

The fbb_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, Assigned_property, Class, Condition, 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, Required_resource, Required_resource_relationship, Requirement_version_relationship, Resource_item, Resource_item_realization, Resource_property 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.

EXPRESS specification:

*)
TYPE fbb_identification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON identification_item WITH
   (Activity_method,
    Activity_method_relationship,
    Applied_activity_method_assignment,
    Assigned_property,
    Class,
    Condition,
    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,
    Required_resource,
    Required_resource_relationship,
    Requirement_version_relationship,
    Resource_item,
    Resource_item_realization,
    Resource_property,
    View_definition_context);
END_TYPE;
(*

4.2.12 fbb_property_assignment_select   

The fbb_property_assignment_select type is an extension of the property_assignment_select type. It adds the data types Applied_activity_method_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 and Task_io_hierarchy to the list of alternate data types.

EXPRESS specification:

*)
TYPE fbb_property_assignment_select = SELECT BASED_ON property_assignment_select WITH
   (Applied_activity_method_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,
    Task_io_hierarchy);
END_TYPE;
(*

4.2.13 fbb_required_resource_item   

The fbb_required_resource_item type is an extension of the required_resource_item 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.

EXPRESS specification:

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

4.2.14 fbb_resource_assignment_item   

The fbb_resource_assignment_item type is an extension of the resource_assignment_item 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.

EXPRESS specification:

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

4.2.15 fbb_resource_item_select   

The fbb_resource_item_select type is an extension of the resource_item_select type. It adds the data types File, 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.

EXPRESS specification:

*)
TYPE fbb_resource_item_select = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON resource_item_select WITH
   (File,
    Product,
    Product_version,
    Product_view_definition);
END_TYPE;
(*

4.2.16 fbb_same_as_item   

The fbb_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, External_source, External_source_identification, Independent_property, Product, Product_version, Product_view_definition, Representation_context, Required_resource, Required_resource_requirement, Resource_item, Resource_property, 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.

EXPRESS specification:

*)
TYPE fbb_same_as_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON same_as_item WITH
   (Activity_method,
    Condition,
    Condition_parameter,
    Derived_unit_element,
    External_source,
    External_source_identification,
    Independent_property,
    Product,
    Product_version,
    Product_view_definition,
    Representation_context,
    Required_resource,
    Required_resource_requirement,
    Resource_item,
    Resource_property,
    Unit,
    Value_with_unit,
    View_definition_context);
END_TYPE;
(*

4.2.17 fbb_task_item   

The fbb_task_item type is an extension of the task_item type. It adds the data types Assigned_property, File, Product, Product_version, Product_version_relationship, Product_view_definition, Required_resource, Required_resource_assignment, Resource_item and Resource_property 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 fbb_task_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON task_item WITH
   (Assigned_property,
    File,
    Product,
    Product_version,
    Product_version_relationship,
    Product_view_definition,
    Required_resource,
    Required_resource_assignment,
    Resource_item,
    Resource_property);
END_TYPE;
(*

4.2.18 functional_behaviour_model   

The functional_behaviour_model type is an extension of the behaviour_model type. It adds the data type Function_based_behaviour_model to the list of alternate data types.

EXPRESS specification:

*)
TYPE functional_behaviour_model = SELECT BASED_ON behaviour_model WITH
   (Function_based_behaviour_model);
END_TYPE;
(*

© ISO 2014 — All rights reserved