Application module: Decision support ISO/TS 10303-1486:2011-10(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definitions
     5.2.2 MIM entity definitions
6 Module reference data

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
F Application module implementation and usage guide
G Change history
Bibliography
Index

5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

EXPRESS specification:

*)
SCHEMA Decision_support_mim;

USE FROM Activity_as_realized_mim;    --  ISO/TS 10303-1259

USE FROM Analysis_assignment_mim;    --  ISO/TS 10303-1474

USE FROM Analysis_characterized_mim;    --  ISO/TS 10303-1475

USE FROM External_analysis_representation_mim;    --  ISO/TS 10303-1784

USE FROM Justification_mim;    --  ISO/TS 10303-1263

USE FROM Requirement_management_mim;    --  ISO/TS 10303-1348

USE FROM state_type_schema    --  ISO 10303-56
  (state_type_role);

USE FROM Verification_and_validation_mim;    --  ISO/TS 10303-1488
(*

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

Activity_as_realized_mim ISO/TS 10303-1259
Analysis_assignment_mim ISO/TS 10303-1474
Analysis_characterized_mim ISO/TS 10303-1475
External_analysis_representation_mim ISO/TS 10303-1784
Justification_mim ISO/TS 10303-1263
Requirement_management_mim ISO/TS 10303-1348
state_type_schema ISO 10303-56
Verification_and_validation_mim ISO/TS 10303-1488

NOTE 2   See Annex D, Figures D.1, D.2, D.3, D.4and D.5 for a graphical representation of this schema.

5.2.1 MIM type definitions

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

5.2.1.1 ds_action_items   EXPRESS-G

The ds_action_items type is an extension of the action_items type. It adds the data types action_method, applied_action_assignment, applied_event_occurrence_assignment, approval, ascribable_state, certification, contract, contract_relationship, descriptive_representation_item, document_file, effectivity, event_occurrence, evidence, executed_action, general_property, measure_representation_item, organization, organizational_project, person, person_and_organization, product, product_definition, product_definition_formation, product_definition_formation_relationship, product_definition_relationship, property_definition, requirement_assignment, requirement_source, state_observed, state_observed_assignment, state_observed_relationship, validation and verification 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 ds_action_items = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON action_items WITH
   (action_method,
    applied_action_assignment,
    applied_event_occurrence_assignment,
    approval,
    ascribable_state,
    certification,
    contract,
    contract_relationship,
    descriptive_representation_item,
    document_file,
    effectivity,
    event_occurrence,
    evidence,
    executed_action,
    general_property,
    measure_representation_item,
    organization,
    organizational_project,
    person,
    person_and_organization,
    product,
    product_definition,
    product_definition_formation,
    product_definition_formation_relationship,
    product_definition_relationship,
    property_definition,
    requirement_assignment,
    requirement_source,
    state_observed,
    state_observed_assignment,
    state_observed_relationship,
    validation,
    verification);
END_TYPE;
(*

5.2.1.2 ds_analysed_item   EXPRESS-G

The ds_analysed_item type is an extension of the analysed_item type. It adds the data types action_method, action_relationship, ascribable_state, evidence, executed_action, organization, organization_relationship, organizational_project_relationship, product, product_definition, product_definition_context, product_definition_formation_relationship, product_definition_relationship, product_relationship, property_definition, requirement_assignment, state_observed, state_observed_role, state_type, validation, verification and verification_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 ds_analysed_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON analysed_item WITH
   (action_method,
    action_relationship,
    ascribable_state,
    evidence,
    executed_action,
    organization,
    organization_relationship,
    organizational_project_relationship,
    product,
    product_definition,
    product_definition_context,
    product_definition_formation_relationship,
    product_definition_relationship,
    product_relationship,
    property_definition,
    requirement_assignment,
    state_observed,
    state_observed_role,
    state_type,
    validation,
    verification,
    verification_relationship);
END_TYPE;
(*

5.2.1.3 ds_approval_item   EXPRESS-G

The ds_approval_item type is an extension of the requirement_mri_approval_item type. It adds the data types action_method, applied_action_assignment, ascribable_state, contract_relationship, descriptive_representation_item, effectivity, event_occurrence, evidence, executed_action, general_property, general_property_relationship, identification_assignment_relationship, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, measure_representation_item, product_definition_context, product_relationship, state_observed_assignment, state_observed_relationship, state_type, state_type_assignment, state_type_relationship, validation, verification and verification_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 ds_approval_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_mri_approval_item WITH
   (action_method,
    applied_action_assignment,
    ascribable_state,
    contract_relationship,
    descriptive_representation_item,
    effectivity,
    event_occurrence,
    evidence,
    executed_action,
    general_property,
    general_property_relationship,
    identification_assignment_relationship,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    measure_representation_item,
    product_definition_context,
    product_relationship,
    state_observed_assignment,
    state_observed_relationship,
    state_type,
    state_type_assignment,
    state_type_relationship,
    validation,
    verification,
    verification_relationship);
END_TYPE;
(*

5.2.1.4 ds_attribute_language_item   EXPRESS-G

The ds_attribute_language_item type is an extension of the requirement_mri_attribute_language_item type. It adds the data types action_method, action_relationship, applied_action_assignment, contract_relationship, evidence, executed_action, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, product_relationship, state_observed, state_observed_relationship, state_type, state_type_relationship, validation and verification 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 ds_attribute_language_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_mri_attribute_language_item WITH
   (action_method,
    action_relationship,
    applied_action_assignment,
    contract_relationship,
    evidence,
    executed_action,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    product_relationship,
    state_observed,
    state_observed_relationship,
    state_type,
    state_type_relationship,
    validation,
    verification);
END_TYPE;
(*

5.2.1.5 ds_certification_item   EXPRESS-G

The ds_certification_item type is an extension of the requirement_certification_item type. It adds the data types action_method, analysis_assignment, approval_person_organization, evidence, executed_action, organizational_project, product_definition, product_definition_formation_relationship, product_definition_relationship, property_definition and state_type 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 ds_certification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_certification_item WITH
   (action_method,
    analysis_assignment,
    approval_person_organization,
    evidence,
    executed_action,
    organizational_project,
    product_definition,
    product_definition_formation_relationship,
    product_definition_relationship,
    property_definition,
    state_type);
END_TYPE;
(*

5.2.1.6 ds_classification_item   EXPRESS-G

The ds_classification_item type is an extension of the requirement_classification_item type. It adds the data types action_method, action_relationship, action_status, analysis_assignment, applied_action_assignment, ascribable_state, ascribable_state_relationship, evidence, executed_action, identification_assignment_relationship, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, product_relationship, representation_relationship, state_observed, state_observed_assignment, state_observed_relationship, state_observed_role, state_type, state_type_assignment, state_type_relationship, validation, verification and verification_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 ds_classification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_classification_item WITH
   (action_method,
    action_relationship,
    action_status,
    analysis_assignment,
    applied_action_assignment,
    ascribable_state,
    ascribable_state_relationship,
    evidence,
    executed_action,
    identification_assignment_relationship,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    product_relationship,
    representation_relationship,
    state_observed,
    state_observed_assignment,
    state_observed_relationship,
    state_observed_role,
    state_type,
    state_type_assignment,
    state_type_relationship,
    validation,
    verification,
    verification_relationship);
END_TYPE;
(*

5.2.1.7 ds_collection_assignment_groupable_item   EXPRESS-G

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

5.2.1.8 ds_collection_membership_groupable_item   EXPRESS-G

The ds_collection_membership_groupable_item type is an extension of the requirement_collection_membership_groupable_item type. It adds the data types action_method, action_relationship, action_status, analysis_assignment, applied_action_assignment, ascribable_state, ascribable_state_relationship, evidence, executed_action, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, state_observed, state_observed_assignment, state_observed_relationship, state_observed_role, state_type, state_type_assignment, state_type_relationship, state_type_role, validation, verification and verification_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 ds_collection_membership_groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_collection_membership_groupable_item WITH
   (action_method,
    action_relationship,
    action_status,
    analysis_assignment,
    applied_action_assignment,
    ascribable_state,
    ascribable_state_relationship,
    evidence,
    executed_action,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    state_observed,
    state_observed_assignment,
    state_observed_relationship,
    state_observed_role,
    state_type,
    state_type_assignment,
    state_type_relationship,
    state_type_role,
    validation,
    verification,
    verification_relationship);
END_TYPE;
(*

5.2.1.9 ds_contract_item   EXPRESS-G

The ds_contract_item type is an extension of the requirement_contract_item type. It adds the data types organization_item, person_and_organization and person_and_organization_item 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 ds_contract_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_contract_item WITH
   (organization_item,
    person_and_organization,
    person_and_organization_item);
END_TYPE;
(*

5.2.1.10 ds_date_and_time_item   EXPRESS-G

The ds_date_and_time_item type is an extension of the requirement_mri_date_and_time_item type. It adds the data types action_method, action_relationship, analysis_assignment, applied_action_assignment, approval_person_organization, ascribable_state, contract_relationship, descriptive_representation_item, evidence, executed_action, identification_assignment_relationship, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, measure_representation_item, product_relationship, state_observed, state_observed_assignment, state_observed_relationship, state_type, state_type_assignment, state_type_relationship, validation, verification and verification_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 ds_date_and_time_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_mri_date_and_time_item WITH
   (action_method,
    action_relationship,
    analysis_assignment,
    applied_action_assignment,
    approval_person_organization,
    ascribable_state,
    contract_relationship,
    descriptive_representation_item,
    evidence,
    executed_action,
    identification_assignment_relationship,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    measure_representation_item,
    product_relationship,
    state_observed,
    state_observed_assignment,
    state_observed_relationship,
    state_type,
    state_type_assignment,
    state_type_relationship,
    validation,
    verification,
    verification_relationship);
END_TYPE;
(*

5.2.1.11 ds_date_item   EXPRESS-G

The ds_date_item type is an extension of the requirement_mri_date_item type. It adds the data types action_method, action_relationship, analysis_assignment, applied_action_assignment, approval_person_organization, ascribable_state, contract_relationship, descriptive_representation_item, evidence, executed_action, identification_assignment_relationship, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, measure_representation_item, product_relationship, state_observed, state_observed_assignment, state_observed_relationship, state_type, state_type_assignment, state_type_relationship, validation, verification and verification_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 ds_date_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_mri_date_item WITH
   (action_method,
    action_relationship,
    analysis_assignment,
    applied_action_assignment,
    approval_person_organization,
    ascribable_state,
    contract_relationship,
    descriptive_representation_item,
    evidence,
    executed_action,
    identification_assignment_relationship,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    measure_representation_item,
    product_relationship,
    state_observed,
    state_observed_assignment,
    state_observed_relationship,
    state_type,
    state_type_assignment,
    state_type_relationship,
    validation,
    verification,
    verification_relationship);
END_TYPE;
(*

5.2.1.12 ds_document_reference_item   EXPRESS-G

The ds_document_reference_item type is an extension of the requirement_document_reference_item type. It adds the data types action_method, action_relationship, applied_action_assignment, applied_classification_assignment, applied_document_reference, applied_document_usage_constraint_assignment, applied_event_occurrence_assignment, applied_external_identification_assignment, applied_organizational_project_assignment, ascribable_state, assumption_assignment, assumption_relationship, class, date_and_time_assignment, date_assignment, document_file, evidence, executed_action, item_assumed, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, organization_relationship, organizational_address, person_and_organization, product_relationship, state_observed, state_type, state_type_relationship, usage_association, validation and verification 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 ds_document_reference_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_document_reference_item WITH
   (action_method,
    action_relationship,
    applied_action_assignment,
    applied_classification_assignment,
    applied_document_reference,
    applied_document_usage_constraint_assignment,
    applied_event_occurrence_assignment,
    applied_external_identification_assignment,
    applied_organizational_project_assignment,
    ascribable_state,
    assumption_assignment,
    assumption_relationship,
    class,
    date_and_time_assignment,
    date_assignment,
    document_file,
    evidence,
    executed_action,
    item_assumed,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    organization_relationship,
    organizational_address,
    person_and_organization,
    product_relationship,
    state_observed,
    state_type,
    state_type_relationship,
    usage_association,
    validation,
    verification);
END_TYPE;
(*

5.2.1.13 ds_effectivity_item   EXPRESS-G

The ds_effectivity_item type is an extension of the requirement_effectivity_item type. It adds the data types action_method, analysis_assignment, applied_action_assignment, applied_classification_assignment, applied_event_occurrence_assignment, assumption, assumption_relationship, event_occurrence, evidence, executed_action, identification_assignment_relationship, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, product_relationship, state_observed_assignment, state_type_assignment, state_type_relationship, validation, verification and verification_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 ds_effectivity_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_effectivity_item WITH
   (action_method,
    analysis_assignment,
    applied_action_assignment,
    applied_classification_assignment,
    applied_event_occurrence_assignment,
    assumption,
    assumption_relationship,
    event_occurrence,
    evidence,
    executed_action,
    identification_assignment_relationship,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    product_relationship,
    state_observed_assignment,
    state_type_assignment,
    state_type_relationship,
    validation,
    verification,
    verification_relationship);
END_TYPE;
(*

5.2.1.14 ds_event_occurrence_item   EXPRESS-G

The ds_event_occurrence_item type is an extension of the requirement_event_occurrence_item type. It adds the data types action_method, action_relationship, applied_contract_assignment, applied_organizational_project_assignment, approval, contract, contract_relationship, evidence, executed_action, general_property, general_property_relationship, product, product_definition, product_definition_formation, product_definition_relationship, representation, representation_item, state_observed, state_observed_assignment, state_observed_relationship, state_type, state_type_relationship, verification and verification_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 ds_event_occurrence_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_event_occurrence_item WITH
   (action_method,
    action_relationship,
    applied_contract_assignment,
    applied_organizational_project_assignment,
    approval,
    contract,
    contract_relationship,
    evidence,
    executed_action,
    general_property,
    general_property_relationship,
    product,
    product_definition,
    product_definition_formation,
    product_definition_relationship,
    representation,
    representation_item,
    state_observed,
    state_observed_assignment,
    state_observed_relationship,
    state_type,
    state_type_relationship,
    verification,
    verification_relationship);
END_TYPE;
(*

5.2.1.15 ds_evidence_item   EXPRESS-G

The ds_evidence_item type is an extension of the evidence_item type. It adds the data types action_actual, action_method, action_relationship, action_status, analysis_assignment, applied_action_assignment, applied_approval_assignment, applied_certification_assignment, applied_classification_assignment, applied_contract_assignment, applied_effectivity_assignment, applied_event_occurrence_assignment, applied_organization_assignment, applied_organizational_project_assignment, applied_person_and_organization_assignment, applied_security_classification_assignment, ascribable_state, ascribable_state_relationship, date_and_time_assignment, date_assignment, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, person, person_and_organization, product, product_definition, product_definition_context, product_definition_formation, product_definition_formation_relationship, product_definition_relationship, product_relationship, property_definition, representation, representation_context, representation_item, state_observed, state_observed_assignment and state_observed_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 ds_evidence_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON evidence_item WITH
   (action_actual,
    action_method,
    action_relationship,
    action_status,
    analysis_assignment,
    applied_action_assignment,
    applied_approval_assignment,
    applied_certification_assignment,
    applied_classification_assignment,
    applied_contract_assignment,
    applied_effectivity_assignment,
    applied_event_occurrence_assignment,
    applied_organization_assignment,
    applied_organizational_project_assignment,
    applied_person_and_organization_assignment,
    applied_security_classification_assignment,
    ascribable_state,
    ascribable_state_relationship,
    date_and_time_assignment,
    date_assignment,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    person,
    person_and_organization,
    product,
    product_definition,
    product_definition_context,
    product_definition_formation,
    product_definition_formation_relationship,
    product_definition_relationship,
    product_relationship,
    property_definition,
    representation,
    representation_context,
    representation_item,
    state_observed,
    state_observed_assignment,
    state_observed_relationship);
END_TYPE;
(*

5.2.1.16 ds_external_identification_item   EXPRESS-G

The ds_external_identification_item type is an extension of the external_identification_item type. It adds the data types organization, organizational_project, person_and_organization and 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.

EXPRESS specification:

*)
TYPE ds_external_identification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON external_identification_item WITH
   (organization,
    organizational_project,
    person_and_organization,
    product);
END_TYPE;
(*

5.2.1.17 ds_groupable_item   EXPRESS-G

The ds_groupable_item type is an extension of the groupable_item type. It adds the data types action_method, applied_organization_assignment, applied_person_and_organization_assignment and state_type 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 ds_groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON groupable_item WITH
   (action_method,
    applied_organization_assignment,
    applied_person_and_organization_assignment,
    state_type);
END_TYPE;
(*

5.2.1.18 ds_identification_item   EXPRESS-G

The ds_identification_item type is an extension of the requirement_mri_identification_item type. It adds the data types action_method, action_relationship, applied_action_assignment, applied_external_identification_assignment, ascribable_state, ascribable_state_relationship, class, contract_relationship, evidence, executed_action, identification_assignment_relationship, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, product_definition_context, product_relationship, representation, representation_item, state_observed, state_observed_assignment, state_observed_relationship, state_type_assignment, state_type_relationship, usage_association, validation and verification 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 ds_identification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_mri_identification_item WITH
   (action_method,
    action_relationship,
    applied_action_assignment,
    applied_external_identification_assignment,
    ascribable_state,
    ascribable_state_relationship,
    class,
    contract_relationship,
    evidence,
    executed_action,
    identification_assignment_relationship,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    product_definition_context,
    product_relationship,
    representation,
    representation_item,
    state_observed,
    state_observed_assignment,
    state_observed_relationship,
    state_type_assignment,
    state_type_relationship,
    usage_association,
    validation,
    verification);
END_TYPE;
(*

5.2.1.19 ds_ir_usage_item   EXPRESS-G

The ds_ir_usage_item type is an extension of the requirement_ir_usage_item type. It adds the data types action_method, analysis_assignment, applied_external_identification_assignment, contract, contract_relationship, evidence, organization, organizational_project, person_and_organization, product_definition_formation_relationship, product_definition_relationship, property_definition, representation_item, usage_association, validation and verification 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 ds_ir_usage_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_ir_usage_item WITH
   (action_method,
    analysis_assignment,
    applied_external_identification_assignment,
    contract,
    contract_relationship,
    evidence,
    organization,
    organizational_project,
    person_and_organization,
    product_definition_formation_relationship,
    product_definition_relationship,
    property_definition,
    representation_item,
    usage_association,
    validation,
    verification);
END_TYPE;
(*

5.2.1.20 ds_justification_item   EXPRESS-G

The ds_justification_item type is an extension of the justification_item type. It adds the data types action_method, analysis_assignment, applied_action_assignment, applied_approval_assignment, applied_classification_assignment, applied_document_reference, applied_document_usage_constraint_assignment, applied_organizational_project_assignment, approval, ascribable_state, certification, contract, contract_relationship, descriptive_representation_item, effectivity, evidence, executed_action, general_property, general_property_relationship, measure_representation_item, product, product_definition, product_definition_formation, product_definition_formation_relationship, product_definition_relationship, property_definition, representation, requirement_assignment, security_classification, state_observed_assignment, state_type_assignment, validation and verification 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 ds_justification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON justification_item WITH
   (action_method,
    analysis_assignment,
    applied_action_assignment,
    applied_approval_assignment,
    applied_classification_assignment,
    applied_document_reference,
    applied_document_usage_constraint_assignment,
    applied_organizational_project_assignment,
    approval,
    ascribable_state,
    certification,
    contract,
    contract_relationship,
    descriptive_representation_item,
    effectivity,
    evidence,
    executed_action,
    general_property,
    general_property_relationship,
    measure_representation_item,
    product,
    product_definition,
    product_definition_formation,
    product_definition_formation_relationship,
    product_definition_relationship,
    property_definition,
    representation,
    requirement_assignment,
    security_classification,
    state_observed_assignment,
    state_type_assignment,
    validation,
    verification);
END_TYPE;
(*

5.2.1.21 ds_justification_support_item   EXPRESS-G

The ds_justification_support_item type is an extension of the justification_support_item type. It adds the data types action_method, analysis_assignment, applied_action_assignment, applied_organization_assignment, applied_person_and_organization_assignment, approval, certification, contract, contract_relationship, descriptive_representation_item, effectivity, event_occurrence, evidence, executed_action, general_property, general_property_relationship, measure_representation_item, organizational_project, product, product_definition, product_definition_context, product_definition_formation, product_definition_formation_relationship, product_definition_relationship, property_definition, state_observed, state_observed_assignment, state_observed_relationship, state_type, state_type_assignment, state_type_relationship, validation and verification 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 ds_justification_support_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON justification_support_item WITH
   (action_method,
    analysis_assignment,
    applied_action_assignment,
    applied_organization_assignment,
    applied_person_and_organization_assignment,
    approval,
    certification,
    contract,
    contract_relationship,
    descriptive_representation_item,
    effectivity,
    event_occurrence,
    evidence,
    executed_action,
    general_property,
    general_property_relationship,
    measure_representation_item,
    organizational_project,
    product,
    product_definition,
    product_definition_context,
    product_definition_formation,
    product_definition_formation_relationship,
    product_definition_relationship,
    property_definition,
    state_observed,
    state_observed_assignment,
    state_observed_relationship,
    state_type,
    state_type_assignment,
    state_type_relationship,
    validation,
    verification);
END_TYPE;
(*

5.2.1.22 ds_multi_language_attribute_item   EXPRESS-G

The ds_multi_language_attribute_item type is an extension of the requirement_mri_multi_language_attribute_item type. It adds the data types action_method, action_relationship, applied_action_assignment, contract_relationship, evidence, executed_action, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, product_relationship, state_observed, state_observed_relationship, state_type, state_type_relationship, validation and verification 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 ds_multi_language_attribute_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_mri_multi_language_attribute_item WITH
   (action_method,
    action_relationship,
    applied_action_assignment,
    contract_relationship,
    evidence,
    executed_action,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    product_relationship,
    state_observed,
    state_observed_relationship,
    state_type,
    state_type_relationship,
    validation,
    verification);
END_TYPE;
(*

5.2.1.23 ds_organization_item   EXPRESS-G

The ds_organization_item type is an extension of the requirement_mri_organization_item type. It adds the data types action_method, action_relationship, address, applied_action_assignment, approval_status, ascribable_state, class, contract_relationship, descriptive_representation_item, evidence, executed_action, identification_assignment_relationship, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, measure_representation_item, organization, person, product_relationship, state_observed, state_observed_assignment, state_observed_relationship, state_type, state_type_assignment, state_type_relationship, validation and verification 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 ds_organization_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_mri_organization_item WITH
   (action_method,
    action_relationship,
    address,
    applied_action_assignment,
    approval_status,
    ascribable_state,
    class,
    contract_relationship,
    descriptive_representation_item,
    evidence,
    executed_action,
    identification_assignment_relationship,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    measure_representation_item,
    organization,
    person,
    product_relationship,
    state_observed,
    state_observed_assignment,
    state_observed_relationship,
    state_type,
    state_type_assignment,
    state_type_relationship,
    validation,
    verification);
END_TYPE;
(*

5.2.1.24 ds_person_and_organization_item   EXPRESS-G

The ds_person_and_organization_item type is an extension of the requirement_mri_person_and_organization_item type. It adds the data types action_method, action_relationship, address, applied_action_assignment, approval_status, ascribable_state, class, contract_relationship, descriptive_representation_item, evidence, executed_action, identification_assignment_relationship, justification_assignment, justification_group_assignment, justification_item_group_assignment, justification_support_assignment, justification_support_item_group_assignment, measure_representation_item, organization, person, product_relationship, state_observed, state_observed_assignment, state_observed_relationship, state_type, state_type_assignment, state_type_relationship, validation and verification 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 ds_person_and_organization_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_mri_person_and_organization_item WITH
   (action_method,
    action_relationship,
    address,
    applied_action_assignment,
    approval_status,
    ascribable_state,
    class,
    contract_relationship,
    descriptive_representation_item,
    evidence,
    executed_action,
    identification_assignment_relationship,
    justification_assignment,
    justification_group_assignment,
    justification_item_group_assignment,
    justification_support_assignment,
    justification_support_item_group_assignment,
    measure_representation_item,
    organization,
    person,
    product_relationship,
    state_observed,
    state_observed_assignment,
    state_observed_relationship,
    state_type,
    state_type_assignment,
    state_type_relationship,
    validation,
    verification);
END_TYPE;
(*

5.2.1.25 ds_project_item   EXPRESS-G

The ds_project_item type is an extension of the requirement_project_item type. It adds the data types action_method, applied_action_assignment, executed_action, general_property, organization, person_and_organization, product_definition, product_definition_relationship and 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 ds_project_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_project_item WITH
   (action_method,
    applied_action_assignment,
    executed_action,
    general_property,
    organization,
    person_and_organization,
    product_definition,
    product_definition_relationship,
    representation);
END_TYPE;
(*

5.2.1.26 ds_requirement_assigned_item   EXPRESS-G

The ds_requirement_assigned_item type is an extension of the rm_requirement_assigned_item type. It adds the data types action_method, organizational_project, product_definition_relationship, state_observed, state_observed_assignment, state_type, state_type_assignment, validation and verification 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 ds_requirement_assigned_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON rm_requirement_assigned_item WITH
   (action_method,
    organizational_project,
    product_definition_relationship,
    state_observed,
    state_observed_assignment,
    state_type,
    state_type_assignment,
    validation,
    verification);
END_TYPE;
(*

5.2.1.27 ds_requirement_source_item   EXPRESS-G

The ds_requirement_source_item type is an extension of the rm_requirement_source_item type. It adds the data types action_method, applied_approval_assignment, applied_certification_assignment, applied_contract_assignment, applied_organization_assignment, applied_organizational_project_assignment, applied_person_and_organization_assignment, approval_person_organization, organization, person_and_organization, product_definition_relationship, state_observed, state_observed_assignment, state_type, state_type_assignment, validation and verification 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 ds_requirement_source_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON rm_requirement_source_item WITH
   (action_method,
    applied_approval_assignment,
    applied_certification_assignment,
    applied_contract_assignment,
    applied_organization_assignment,
    applied_organizational_project_assignment,
    applied_person_and_organization_assignment,
    approval_person_organization,
    organization,
    person_and_organization,
    product_definition_relationship,
    state_observed,
    state_observed_assignment,
    state_type,
    state_type_assignment,
    validation,
    verification);
END_TYPE;
(*

5.2.1.28 ds_security_classification_item   EXPRESS-G

The ds_security_classification_item type is an extension of the requirement_security_classification_item type. It adds the data types action_method, applied_action_assignment, event_occurrence, evidence, executed_action, organizational_project_relationship, product_relationship, property_definition, validation and verification 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 ds_security_classification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_security_classification_item WITH
   (action_method,
    applied_action_assignment,
    event_occurrence,
    evidence,
    executed_action,
    organizational_project_relationship,
    product_relationship,
    property_definition,
    validation,
    verification);
END_TYPE;
(*

5.2.1.29 ds_state_observed_of_item   EXPRESS-G

The ds_state_observed_of_item type is an extension of the state_observed_of_item type. It adds the data types applied_action_assignment, applied_approval_assignment, applied_contract_assignment, applied_organizational_project_assignment, approval, contract, executed_action, organizational_project, product, product_definition_formation, product_definition_relationship, property_definition, requirement_assignment and state_observed_assignment 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 ds_state_observed_of_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON state_observed_of_item WITH
   (applied_action_assignment,
    applied_approval_assignment,
    applied_contract_assignment,
    applied_organizational_project_assignment,
    approval,
    contract,
    executed_action,
    organizational_project,
    product,
    product_definition_formation,
    product_definition_relationship,
    property_definition,
    requirement_assignment,
    state_observed_assignment);
END_TYPE;
(*

5.2.2 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.2.1 ds_characterizable_address   EXPRESS-G

A ds_characterizable_address is a type of address and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_address
  SUBTYPE OF (address, characterized_object);
END_ENTITY;
(*

5.2.2.2 ds_characterizable_applied_action_assignment   EXPRESS-G

A ds_characterizable_applied_action_assignment is a type of applied_action_assignment and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_applied_action_assignment
  SUBTYPE OF (applied_action_assignment, characterized_object);
END_ENTITY;
(*

5.2.2.3 ds_characterizable_applied_document_reference   EXPRESS-G

A ds_characterizable_applied_document_reference is a type of applied_document_reference and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_applied_document_reference
  SUBTYPE OF (applied_document_reference, characterized_object);
END_ENTITY;
(*

5.2.2.4 ds_characterizable_applied_document_usage_constraint_assignment   EXPRESS-G

A ds_characterizable_applied_document_usage_constraint_assignment is a type of applied_document_usage_constraint_assignment and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_applied_document_usage_constraint_assignment
  SUBTYPE OF (applied_document_usage_constraint_assignment, characterized_object);
END_ENTITY;
(*

5.2.2.5 ds_characterizable_applied_organization_assignment   EXPRESS-G

A ds_characterizable_applied_organization_assignment is a type of applied_organization_assignment and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_applied_organization_assignment
  SUBTYPE OF (applied_organization_assignment, characterized_object);
END_ENTITY;
(*

5.2.2.6 ds_characterizable_applied_person_and_organization_assignment   EXPRESS-G

A ds_characterizable_applied_person_and_organization_assignment is a type of applied_person_and_organization_assignment and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_applied_person_and_organization_assignment
  SUBTYPE OF (applied_person_and_organization_assignment, characterized_object);
END_ENTITY;
(*

5.2.2.7 ds_characterizable_ascribable_state   EXPRESS-G

A ds_characterizable_ascribable_state is a type of ascribable_state and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_ascribable_state
  SUBTYPE OF (ascribable_state, characterized_object);
END_ENTITY;
(*

5.2.2.8 ds_characterizable_event_occurrence   EXPRESS-G

A ds_characterizable_event_occurrence is a type of event_occurrence and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_event_occurrence
  SUBTYPE OF (characterized_object, event_occurrence);
END_ENTITY;
(*

5.2.2.9 ds_characterizable_evidence   EXPRESS-G

A ds_characterizable_evidence is a type of evidence and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_evidence
  SUBTYPE OF (characterized_object, evidence);
END_ENTITY;
(*

5.2.2.10 ds_characterizable_general_property_relationship   EXPRESS-G

A ds_characterizable_general_property_relationship is a type of general_property_relationship and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_general_property_relationship
  SUBTYPE OF (characterized_object, general_property_relationship);
END_ENTITY;
(*

5.2.2.11 ds_characterizable_group   EXPRESS-G

A ds_characterizable_group is a type of group and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_group
  SUBTYPE OF (characterized_object, group);
END_ENTITY;
(*

5.2.2.12 ds_characterizable_information_usage_right   EXPRESS-G

A ds_characterizable_information_usage_right is a type of information_usage_right and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_information_usage_right
  SUBTYPE OF (characterized_object, information_usage_right);
END_ENTITY;
(*

5.2.2.13 ds_characterizable_organizational_project   EXPRESS-G

A ds_characterizable_organizational_project is a type of organizational_project and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_organizational_project
  SUBTYPE OF (characterized_object, organizational_project);
END_ENTITY;
(*

5.2.2.14 ds_characterizable_person   EXPRESS-G

A ds_characterizable_person is a type of person and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_person
  SUBTYPE OF (characterized_object, person);
END_ENTITY;
(*

5.2.2.15 ds_characterizable_person_and_organization   EXPRESS-G

A ds_characterizable_person_and_organization is a type of person_and_organization and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_person_and_organization
  SUBTYPE OF (characterized_object, person_and_organization);
END_ENTITY;
(*

5.2.2.16 ds_characterizable_product   EXPRESS-G

A ds_characterizable_product is a type of product and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_product
  SUBTYPE OF (characterized_object, product);
END_ENTITY;
(*

5.2.2.17 ds_characterizable_product_definition_formation   EXPRESS-G

A ds_characterizable_product_definition_formation is a type of product_definition_formation and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_product_definition_formation
  SUBTYPE OF (characterized_object, product_definition_formation);
END_ENTITY;
(*

5.2.2.18 ds_characterizable_product_definition_formation_relationship   EXPRESS-G

A ds_characterizable_product_definition_formation_relationship is a type of product_definition_formation_relationship and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_product_definition_formation_relationship
  SUBTYPE OF (characterized_object, product_definition_formation_relationship);
END_ENTITY;
(*

5.2.2.19 ds_characterizable_property_definition_representation   EXPRESS-G

A ds_characterizable_property_definition_representation is a type of property_definition_representation and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_property_definition_representation
  SUBTYPE OF (characterized_object, property_definition_representation);
END_ENTITY;
(*

5.2.2.20 ds_characterizable_representation   EXPRESS-G

A ds_characterizable_representation is a type of representation and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_representation
  SUBTYPE OF (characterized_object, representation);
END_ENTITY;
(*

5.2.2.21 ds_characterizable_representation_context   EXPRESS-G

A ds_characterizable_representation_context is a type of representation_context and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_representation_context
  SUBTYPE OF (characterized_object, representation_context);
END_ENTITY;
(*

5.2.2.22 ds_characterizable_representation_item   EXPRESS-G

A ds_characterizable_representation_item is a type of representation_item and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_representation_item
  SUBTYPE OF (characterized_object, representation_item);
END_ENTITY;
(*

5.2.2.23 ds_characterizable_security_classification   EXPRESS-G

A ds_characterizable_security_classification is a type of security_classification and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_security_classification
  SUBTYPE OF (characterized_object, security_classification);
END_ENTITY;
(*

5.2.2.24 ds_characterizable_state_observed   EXPRESS-G

A ds_characterizable_state_observed is a type of state_observed and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_state_observed
  SUBTYPE OF (characterized_object, state_observed);
END_ENTITY;
(*

5.2.2.25 ds_characterizable_state_observed_assignment   EXPRESS-G

A ds_characterizable_state_observed_assignment is a type of state_observed_assignment and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_state_observed_assignment
  SUBTYPE OF (characterized_object, state_observed_assignment);
END_ENTITY;
(*

5.2.2.26 ds_characterizable_state_observed_relationship   EXPRESS-G

A ds_characterizable_state_observed_relationship is a type of state_observed_relationship and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_state_observed_relationship
  SUBTYPE OF (characterized_object, state_observed_relationship);
END_ENTITY;
(*

5.2.2.27 ds_characterizable_state_type   EXPRESS-G

A ds_characterizable_state_type is a type of state_type and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_state_type
  SUBTYPE OF (characterized_object, state_type);
END_ENTITY;
(*

5.2.2.28 ds_characterizable_state_type_assignment   EXPRESS-G

A ds_characterizable_state_type_assignment is a type of state_type_assignment and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_state_type_assignment
  SUBTYPE OF (characterized_object, state_type_assignment);
END_ENTITY;
(*

5.2.2.29 ds_characterizable_state_type_relationship   EXPRESS-G

A ds_characterizable_state_type_relationship is a type of state_type_relationship and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_state_type_relationship
  SUBTYPE OF (characterized_object, state_type_relationship);
END_ENTITY;
(*

5.2.2.30 ds_characterizable_verification_relationship   EXPRESS-G

A ds_characterizable_verification_relationship is a type of verification_relationship and characterized_object.

EXPRESS specification:

*)
ENTITY ds_characterizable_verification_relationship
  SUBTYPE OF (characterized_object, verification_relationship);
END_ENTITY;
(*



*)
END_SCHEMA;  -- Decision_support_mim
(*


© ISO 2011 — All rights reserved