5 Module interpreted model

5.1 Mapping specification

• Activity
• Activity_for_product
• Composition_of_activity
• Creating_activity_for_product
• Destroying_activity_for_product
• Specialisation_of_activity

5.2 MIM EXPRESS short listing

*)
SCHEMA activity_mim;
  USE FROM action_schema -- ISO 10303-41
    (action_relationship);
  USE FROM process_property_schema -- ISO 10303-49
    (process_product_association,
    product_definition_process);
  USE FROM product_specification_or_set_mim -- ISO 10303-1077
    (product_specification_or_set);
(*

5.2.1 MIM EXPRESS types

None.

5.2.2 MIM EXPRESS entities

5.2.2.1 activity

An activity is a product_definition_process that is an Activity.

EXPRESS specification:

*)
ENTITY activity
  SUBTYPE OF (product_definition_process);
END_ENTITY;
(*

5.2.2.2 activity_for_product

An activity_for_product is a process_product_association that is an Activity_for_product.

EXPRESS specification:

*)
ENTITY activity_for_product
  SUPERTYPE OF (ONEOF (
    creating_activity_for_product,
    destroying_activity_for_product))
  SUBTYPE OF (process_product_association);
  SELF\product_process_association.defined_product  :
    product_specification_or_set;
  SELF\product_process_association.process  :
    activity;
END_ENTITY;
(*

5.2.2.3 composition_of_activity

A composition_of_activity is an action_relationship that is a Composition_of_activity.

EXPRESS specification:

*)
ENTITY composition_of_activity
  SUBTYPE OF (action_relationship);
  SELF\action_relationship.related_action  :  
    activity;
  SELF\action_relationship.relating_action  :  
    activity;
END_ENTITY;
(*

5.2.2.4 creating_activity_for_product

A creating_activity_for_product is an activity_for_product that is a Creating_activity_for_product.

EXPRESS specification:

*)
ENTITY creating_activity_for_product
  SUBTYPE OF (activity_for_product);
END_ENTITY;
(*

5.2.2.5 destroying_activity_for_product

A destroying_activity_for_product is an activity_for_product that is a Destroying_activity_for_product.

EXPRESS specification:

*)
ENTITY destroying_activity_for_product
  SUBTYPE OF (activity_for_product);
END_ENTITY;
(*

5.2.2.6 specialisation_of_activity

A specialisation_of_activity is an action_relationship that is a Specialisation_of_state.

EXPRESS specification:

*)
ENTITY specialisation_of_activity
  SUBTYPE OF (action_relationship);
  SELF\product_definition_relationship.related_action  :
    activity;
  SELF\product_definition_relationship.relating_action  :
    activity;
END_ENTITY;
(*

*)
END_SCHEMA;
(*