5 Module interpreted model

5.1 Mapping specification

• Identification_of_property_distribution
• Parameterisation_mapping
• Scale_mapping

5.2 MIM EXPRESS short listing

*)
SCHEMA Distribution_mapping_mim;
  USE FROM mathematical_identification_schema -- ISO 10303-5x
    (maths_space_context_relationship,
    maths_space_context_relationship_description,
    property_distribution_description);
  USE FROM property_identification_mim -- 10303-1085
    (scale);
  USE FROM product_activity_and_state_space_parameterisation_mim -- 10303-1084
    (parameterisation);
 (*

5.2.1 MIM EXPRESS types

none.

5.2.2 MIM EXPRESS entities

5.2.2.1 identification_of_parameterisation_mapping

An identification_of_parameterisation_mapping is a maths_space_context_relationship_description that defines a parameterisation_mapping.

EXPRESS specification:

*)
ENTITY identification_of_parameterisation_mapping
  SUBTYPE OF (maths_space_context_relationship_description);
  SELF\maths_space_context_relationship_description.described_relationship  :  
       parameterisation_mapping; 
END_ENTITY;
(*

5.2.2.2 identification_of_property_distribution

An identification_of_property_distribution is a property_distribution_description that is an Identification_of_property_distribution.

EXPRESS specification:

*)
ENTITY identification_of_property_distribution
  SUBTYPE OF (property_distribution_description);
  SELF\physical_maths_function_association.domain_context  :  
       parameterisation; 
  SELF\physical_maths_function_association.range_context  :
       scale;
END_ENTITY;
(*

5.2.2.3 identification_of_scale_mapping

An identification_of_scale_mapping is a maths_space_context_relationship_description that defines a scale_mapping.

EXPRESS specification:

*)
ENTITY identification_of_scale_mapping
  SUBTYPE OF (maths_space_context_relationship_description);
  SELF\maths_space_context_relationship_description.described_relationship  :  
       scale_mapping; 
END_ENTITY;
(*

5.2.2.5 parameterisation_mapping

A parameterisation_mapping is a maths_space_context_relationship that is a Parameterisation_mapping.

EXPRESS specification:

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

5.2.2.8 scale_mapping

A scale_mapping is a maths_space_context_relationship that is a Scale_mapping.

EXPRESS specification:

*)
ENTITY scale_mapping
  SUBTYPE OF (maths_space_context_relationship);
  SELF\maths_space_context_relationship.related_context  :  scale;
  SELF\maths_space_context_relationship.relating_context  :  scale;
END_ENTITY;
(*

*)
END_SCHEMA;
(*