SCHEMA Product_activity_and_state_space_parameterisation_arm;

  
USE FROM Engineering_analysis_basics_arm -- Engineering_analysis_basics
  (Class_of_physical_individual,
  Classification,
  Physical_space
  Specialisation_of_class, 
  Mapping);
USE FROM Maths_space_arm -- Maths_space
  (Maths_space);
USE FROM Maths_value_arm -- Maths_value
  (Maths_value);

  
ENTITY Derivation_of_parameterisation;
  derived  :  Parameterisation;
  source  :  LIST [1,?] OF Parameterisation;
END_ENTITY;

  
ENTITY Element_of_parameterisation
  SUBTYPE OF (Classification);
  class  :  Parameterisation;
  member  :  Parameterisation_element;
END_ENTITY;

  
ENTITY Parameterisation
  SUBTYPE OF (Mapping);
  identifier  :  Maths_space;
  physical_space  :  Physical_space;
END_ENTITY;

  
ENTITY Parameterisation_element
  identifier  :  Maths_value;
  physical_space  :  Class_of_physical_individual;
END_ENTITY;

  
ENTITY Subset_of_parameterisation
  SUBTYPE OF (Specialisation_of_class);
  subclass  :  Parameterisation;
  superclass  :  Parameterisation;
END_ENTITY;

  
END_SCHEMA;

Page last updated - 7 Sep 2000