4 Information requirements

This clause specifies the information requirements for the State characterized 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_characterized_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 Condition_characterized_arm;    --  ISO/TS 10303-1257



USE FROM Condition_evaluation_characterized_arm;    --  ISO/TS 10303-1296



USE FROM Property_assignment_arm;    --  ISO/TS 10303-1030



USE FROM State_observed_arm;    --  ISO/TS 10303-1256
(*



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

Condition_characterized_arm	ISO/TS 10303-1257
Condition_evaluation_characterized_arm	ISO/TS 10303-1296
Property_assignment_arm	ISO/TS 10303-1030
State_observed_arm	ISO/TS 10303-1256

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 state_definition_condition_item   

The state_definition_condition_item type is an extension of the condition_item type. It adds the data types 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.

EXPRESS specification:

*)
TYPE state_definition_condition_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON condition_item WITH
   (State_definition,
    State_definition_relationship);
END_TYPE;
(*

4.2.2 state_observed_condition_evaluation_item   

The state_observed_condition_evaluation_item type is an extension of the condition_evaluation_item type. It adds the data types State_assertion and State_assessment 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 state_observed_condition_evaluation_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON condition_evaluation_item WITH
   (State_assertion,
    State_assessment);
END_TYPE;
(*

4.2.3 state_role_classification_item   

The state_role_classification_item type is an extension of the classification_item type. It adds the data type State_role 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 state_role_classification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON classification_item WITH
   (State_role);
END_TYPE;
(*

4.2.4 statechar_classified_attribute_select   

The statechar_classified_attribute_select type is an extension of the classified_attribute_select type. It adds the data types Applied_state_assignment, Applied_state_definition_assignment, State, State_definition, State_definition_relationship and State_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 statechar_classified_attribute_select = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON classified_attribute_select WITH
   (Applied_state_assignment,
    Applied_state_definition_assignment,
    State,
    State_definition,
    State_definition_relationship,
    State_relationship);
END_TYPE;
(*

4.2.5 statechar_date_or_date_time_item   

The statechar_date_or_date_time_item type is an extension of the date_or_date_time_item type. It adds the data types Applied_state_assignment, Applied_state_definition_assignment, State, State_assertion, State_assessment, State_definition, State_definition_relationship and State_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 statechar_date_or_date_time_item = EXTENSIBLE SELECT BASED_ON date_or_date_time_item WITH
   (Applied_state_assignment,
    Applied_state_definition_assignment,
    State,
    State_assertion,
    State_assessment,
    State_definition,
    State_definition_relationship,
    State_relationship);
END_TYPE;
(*

4.2.6 statechar_identification_item   

The statechar_identification_item type is an extension of the identification_item type. It adds the data types Applied_state_assignment, Applied_state_definition_assignment, Defined_state_relationship, State, State_assertion, State_assessment, State_definition, State_definition_relationship and State_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 statechar_identification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON identification_item WITH
   (Applied_state_assignment,
    Applied_state_definition_assignment,
    Defined_state_relationship,
    State,
    State_assertion,
    State_assessment,
    State_definition,
    State_definition_relationship,
    State_relationship);
END_TYPE;
(*

4.2.7 statechar_organization_or_person_in_organization_item   

The statechar_organization_or_person_in_organization_item type is an extension of the organization_or_person_in_organization_item type. It adds the data types Applied_state_assignment, Applied_state_definition_assignment, State, State_assertion, State_assessment, State_definition, State_definition_relationship and State_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 statechar_organization_or_person_in_organization_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON organization_or_person_in_organization_item WITH
   (Applied_state_assignment,
    Applied_state_definition_assignment,
    State,
    State_assertion,
    State_assessment,
    State_definition,
    State_definition_relationship,
    State_relationship);
END_TYPE;
(*

4.2.8 statechar_property_assignment_select   

The statechar_property_assignment_select type is an extension of the property_assignment_select type. It adds the data types Applied_state_assignment, Applied_state_definition_assignment, State, State_definition, State_definition_relationship and State_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 statechar_property_assignment_select = EXTENSIBLE SELECT BASED_ON property_assignment_select WITH
   (Applied_state_assignment,
    Applied_state_definition_assignment,
    State,
    State_definition,
    State_definition_relationship,
    State_relationship);
END_TYPE;
(*

4.2.9 statechar_string_select   

The statechar_string_select type is an extension of the string_select type. It adds the data types State, State_definition, State_definition_relationship and State_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 statechar_string_select = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON string_select WITH
   (State,
    State_definition,
    State_definition_relationship,
    State_relationship);
END_TYPE;
(*

© ISO 2011 — All rights reserved