5 Module interpreted model

5.1 Mapping specification

• Composition_of_state
• Final_state_for_activity
• Initial_state_for_activity
• Specialisation_of_state
• State
• State_for_activity
• State_for_product

5.2 MIM EXPRESS short listing

*)
SCHEMA State_mim;
  USE FROM product_definition_schema -- ISO 10303-41
    (product_definition,
    product_definition_relationship);
  USE FROM process_property_schema -- ISO 10303-49
    (process_product_association);
  USE FROM activity_mim -- ISO 10303-1071
    (activity);
  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 composition_of_state

A composition_of_state is a product_definition_relationship that is a Composition_of_state.

EXPRESS specification:

*)
ENTITY composition_of_state
  SUBTYPE OF (product_definition_relationship);
  SELF\product_definition_relationship.related_product_definition  : 
    state;
  SELF\product_definition_relationship.relating_product_definition  : 
    state;
END_ENTITY;
(*

5.2.2.2 final_state_for_activity

An final_state_for_activity is a state_for_activity that is a Final_state_for_activity.

EXPRESS specification:

*)
ENTITY final_state_for_activity
  SUBTYPE OF (state_for_activity);
END_ENTITY;
(*

5.2.2.3 initial_state_for_activity

An initial_state_for_activity is a state_for_activity that is an Initial_state_for_activity.

EXPRESS specification:

*)
ENTITY initial_state_for_activity
  SUBTYPE OF (state_for_activity);
END_ENTITY;
(*

5.2.2.4 specialisation_of_state

A specialisation_of_state is a product_definition_relationship that is a Specialisation_of_state.

EXPRESS specification:

*)
ENTITY specialisation_of_state
  SUBTYPE OF (product_definition_relationship);
  SELF\product_definition_relationship.related_product_definition  : 
    state;
  SELF\product_definition_relationship.relating_product_definition  : 
    state;
END_ENTITY;
(*

5.2.2.5 state

A state is a product_definition that is a State.

EXPRESS specification:

*)
ENTITY state
  SUBTYPE OF (product_definition);
END_ENTITY;
(*

5.2.2.6 state_for_activity

A state_for_activity is a process_product_association that is a State_for_activity.

EXPRESS specification:

*)
ENTITY state_for_activity
  SUPERTYPE OF (ONEOF (
    final_state_for_activity,
    initial_state_for_activity))
  SUBTYPE OF (process_product_association);
  SELF\product_definition_relationship.defined_product  :
    state;
  SELF\product_definition_relationship.process  :  
    activity;
END_ENTITY;
(*

5.2.2.7 state_for_product

A state_for_product is a product_definition_relationship that is a State_for_product.

EXPRESS specification:

*)
ENTITY state_for_product
  SUBTYPE OF (product_definition_relationship);
  SELF\product_definition_relationship.related_product_definition  :
    state;
  SELF\product_definition_relationship.relating_product_definition  :
    product_specification_or_set;
END_ENTITY;
(*

*)
END_SCHEMA;
(*