Application Module: Activity or state space Module Interpreted Model

5.2 MIM EXPRESS short listing

*)
SCHEMA Activity_or_state_space_mim;
USE FROM process_property_schema -- ISO 10303-49
   (product_definition_process,
   process_product_association);
USE FROM product_definition_schema -- ISO 10303-41
   (product_definition,
   product_definition_relationship);
USE FROM action_schema -- ISO 10303-41
   (action_relationship);
USE FROM activity_mim -- ISO 10303-1071
   (activity);
USE FROM product_feature_space_mim -- ISO 10303-1076
   (product_feature_space);
USE FROM state_mim -- ISO 10303-1082
   (state);
(*

5.2.1 MIM EXPRESS types

none.

5.2.2 MIM EXPRESS entities

5.2.2.1 activity_component_of_product_feature_and_activity_or_state_space

An activity_component_of_product_feature_and_activity_or_state_space is a process_product_association that indicates an activity_space is a component of a product_feature_and_activity_or_state_space.

*)
ENTITY activity_component_of_product_feature_and_activity_or_state_space
  SUBTYPE OF (process_product_association);
  SELF\process_product_association.defined_product  :  
       product_feature_and_activity_or_state_space; 
  SELF\process_product_association.relating_action  :  
       activity_space; 
END_ENTITY;
(*

5.2.2.2 activity_space

An activity_space is a product_definition_process that is an Activity_space.

*)
ENTITY activity_space
   SUBTYPE OF (product_definition_process);

END_ENTITY;
(*

5.2.2.3 activity_space_for_activity

An activity_space_for_activity is an action_relationship that is an Activity_or_state_space_for_activity and that indicates an activity_space corresponds to an activity.

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

5.2.2.4 feature_component_of_product_feature_and_activity_or_state_space

A feature_component_of_product_feature_and_activity_or_state_space is a product_definition_relationship that indicates a product_feature_space is a component of a product_feature_and_activity_or_state_space.

*)
ENTITY feature_component_of_product_feature_and_activity_or_state_space
  SUBTYPE OF (product_definition_relationship);
  SELF\product_definition_relationship.related_product_definition  :  
       product_feature_and_activity_or_state_space; 
  SELF\product_definition_relationship.relating_product_definition  :  
       product_feature_space; 
END_ENTITY;
(*

5.2.2.5 feature_component_of_state_feature_space

A feature_component_of_state_feature_space is a product_definition_relationship that indicates a product_feature_space has a one to one mapping with a state_feature_space.

*)
ENTITY feature_component_of_state_feature_space
  SUBTYPE OF (product_definition_relationship);
  SELF\product_definition_relationship.related_product_definition  :  
       state_feature_space; 
  SELF\product_definition_relationship.relating_product_definition  :  
       product_feature_space; 
END_ENTITY;
(*

5.2.2.6 membership_of_activity_space

A membership_of_activity_space is an action_relationship that is a Membership_of_activity_or_state_space relating an activity to an activity_space.

*)

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

5.2.2.7 membership_of_state_space

A membership_of_state_space is an product_definition_relationship that is a Membership_of_activity_or_state_space relating a state to a state_space.

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

5.2.2.8 product_feature_and_activity_or_state_space

A product_feature_and_activity_or_state_space is a product_definition that is a Product_feature_and_activity_or_state_space.

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

5.2.2.9 state_component_of_product_feature_and_activity_or_state_space

A state_component_of_product_feature_and_activity_or_state_space is a product_definition_relationship that indicates a state_space is a component of a product_feature_and_activity_or_state_space.

*)
ENTITY state_component_of_product_feature_and_activity_or_state_space
  SUBTYPE OF (product_definition_relationship);
  SELF\product_definition_relationship.related_product_definition  :  
       product_feature_and_activity_or_state_space; 
  SELF\product_definition_relationship.relating_product_definition  :  
       state_space; 
END_ENTITY;
(*

5.2.2.10 state_feature_space

A state_feature_space is a product_definition that is a State_feature_space.

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

5.2.2.11 state_feature_space_for_state

A state_feature_space_for_state is a product_definition_relationship that is a State_feature_space_for_state.

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

5.2.2.12 state_space

A state_space is a product_definition that is a State_space.

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

5.2.2.13 state_space_for_activity

A state_space_for_activity is a process_product_association that is an Activity_or_state_space_for_activity and that indicates a state_space corresponds to an activity.

*)
ENTITY state_space_for_activity
  SUBTYPE OF (process_product_association);
  SELF\process_product_association.defined_product  :  
       state_space; 
  SELF\process_product_association.relating_action  :  
       activity; 
END_ENTITY;
(*

*)
END_SCHEMA;
(*

[Information Requirements] [Annex A]

If you have a comment on this module, please send it to the support team

5 Module interpreted model

5.1 Mapping specification