5 Module interpreted model

5.1 Mapping specification

5.2 MIM EXPRESS short listing

*)
SCHEMA product_activity_and_state_space_parameterisation_mim;
  USE FROM mathematical_identification_schema -- ISO 10303-5x
    (compound_maths_space_context,
    maths_space_context,
    maths_value_context,
    membership_of_maths_space_context);
  USE FROM distribution_mapping_schema -- ISO 10303-5x
    (maths_space_context_relationship);
(*

5.2.1 MIM EXPRESS types

None.

5.2.2 MIM EXPRESS entities

5.2.2.1 derived_parameterisation

A derived_parameterisation is a parameterisation and a compound_maths_space_context that is a Parameterisation and that is derived from components as specified by Derivation_of_parameterisation.

EXPRESS specification: 

*)
ENTITY derived_parameterisation
  SUBTYPE OF (compound_maths_space_context,
  parameterisation);
  SELF\compound_maths_space_context.components  :  LIST [2,?] OF
         parameterisation;
END_ENTITY;
(*

5.2.2.2 parameterisation

A parameterisation is a maths_space_context that is a Parameterisation.

EXPRESS specification: 

*)
ENTITY parameterisation
  SUBTYPE OF (maths_space_context);
END_ENTITY;
(*

5.2.2.3 parameterisation_element

A parameterisation_element is a maths_value_context that is a Parameterisation_element.

EXPRESS specification: 

*)
ENTITY parameterisation_element
  SUBTYPE OF (maths_value_context);
END_ENTITY;
(*

5.2.2.4 subset_of_parameterisation

A subset_of_parameterisation is an maths_space_context_relationship that is a Subset_of_parameterisation.

EXPRESS specification: 

*)
ENTITY subset_of_parameterisation
  SUBTYPE OF (maths_space_context_relationship);
  SELF\maths_space_context_relationship.related_context  :  parameterisation;
  SELF\maths_space_context_relationship.relating_context  :  parameterisation;
END_ENTITY;
(*
*)
END_SCHEMA;
(*

[Information Requirements] [Annex A]

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