SCHEMA State_arm;

  
USE FROM Engineering_analysis_basics_arm -- Engineering_analysis_basics
  (Class_of_physical_individual,
  Mapping,
  Specialisation_of_class);
USE FROM Activity_arm -- Activity
  (Activity);
USE FROM Product_specification_or_set_arm -- Product_specification_or_set
  (Product_specification_or_set);

  
ENTITY Composition_of_state
  SUBTYPE OF (Mapping);
  part  :  State
  whole  :  State;
END_ENTITY;

  
ENTITY Final_state_for_activity
  SUBTYPE OF (State_for_activity);
END_ENTITY;

  
ENTITY Initial_state_for_activity
  SUBTYPE OF (State_for_activity);
END_ENTITY;

  
ENTITY Specialisation_of_state
  SUBTYPE OF (Specialisation_of_class);
  subclass  :  State
  superclass  :  State;
END_ENTITY;

  
ENTITY State
  SUBTYPE OF (Class_of_physical_individual);
END_ENTITY;

  
ENTITY State_for_activity
  SUPERTYPE OF (ONEOF (
  Final_state_for_activity,
  Initial_state_for_activity))
  SUBTYPE OF (Mapping);
  activity  :  Activity
  state  :  State;
END_ENTITY;

  
ENTITY State_for_product
  SUBTYPE OF (Mapping);
  product  :  Product_specification_or_set
  state  :  State;
END_ENTITY;

  
END_SCHEMA;

Page last updated - 7 Sep 2000