SCHEMA Activity_or_state_space_arm;
  
USE FROM Engineering_analysis_basics_arm -- Engineering_analysis_basics
  (Classification,
  Components_of_physical_space,
  Fusion,
  Physical_space);
USE FROM Activity_arm -- Activity
  (Activity);
USE FROM Product_feature_space_arm -- Product_feature_space
  (Product_feature_space);
USE FROM State_arm -- State
  (State);
  
TYPE Activity_or_state_select = SELECT 
  Activity,
  State);
END_TYPE;
  
ENTITY Activity_or_state_space
  SUPERTYPE OF (ONEOF (
  Activity_space,
  State_space))
  SUBTYPE OF (Physical_space);
END_ENTITY;
  
ENTITY Activity_space
  SUBTYPE OF (Activity_or_state_space);
END_ENTITY;
  
ENTITY Activity_or_state_space_for_activity
  SUBTYPE OF (Fusion);
  class  :  Activity_or_state_space;
  whole  :  Activity;
END_ENTITY;
  
ENTITY Components_of_product_feature_and_activity_or state_space
  SUBTYPE OF (Components_of_physical_space);
  SELF\Components_of_physical_space.whole  :  
    Product_feature_and_activity_or state_space;
  SELF\Components_of_physical_space.components  : LIST[2,2] OF   
    Physical_space;
END_ENTITY;
  
ENTITY Components_of_state_feature_space
  SUBTYPE OF (Components_of_physical_space);
  SELF\Components_of_physical_space.whole  :  
    State_feature_space;
  SELF\Components_of_physical_space.components  : LIST[1,1] OF   
    Product_feature_space;
END_ENTITY;
  
ENTITY Membership_of_activity_space
  SUBTYPE OF (Classification);
  class  :  Activity_or_state_space;
  member  :  Activity_or_state_select;
END_ENTITY;
  
ENTITY Product_feature_and_activity_or_state_space
  SUBTYPE OF (Physical_space);
END_ENTITY;
  
ENTITY State_feature_space
  SUBTYPE OF (Physical_space);
END_ENTITY;
  
ENTITY State_feature_space_for_state
  SUBTYPE OF (Fusion);
  class  :  State_feature_space;
  whole  :  State;
END_ENTITY;
  
ENTITY State_space
  SUBTYPE OF (Activity_or_state_space);
END_ENTITY;
  
END_SCHEMA;

Page last updated - 7 Sep 2000