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