5 Module interpreted model

5.1 Mapping specification

• Membership_of_property_distribution
• Property_distribution

5.2 MIM EXPRESS short listing

*)
SCHEMA property_distribution_mim;
  USE FROM process_property_schema -- ISO 10303-49
    (action_property,
    action_property_relationship);
  USE FROM product_property_definition_schema -- ISO 10303-41
    (general_property_relationship,
    general_property_relationship_relationship,
    property_definition);
  USE FROM material_property_definition_schema -- ISO 10303-45
    (property_definition_relationship);
  USE FROM possession_of_property_mim -- ISO 10303-1074
    (possession_of_property_definition_by_activity,
    possession_of_property_definition_by_product_or_state,
    possession_of_property_definition_by_property_definition);
(*

NOTE - The entity general_property_relationship_relationship does not exist in ISO 10303-41 edition 2, but is needed to satisfy the information requirements of this module. (I am not sure how it should be introduced - DJL)

5.2.1 MIM EXPRESS types

None.

5.2.2 MIM EXPRESS entities

5.2.2.1 membership_of_property_distribution_over_activity

A membership_of_property_distribution_over_activity is an action_property_relationship that is a Membership_of_property_distribution.

EXPRESS specification:

*)
ENTITY membership_of_property_distribution_over_activity
  SUBTYPE OF (action_property_relationship);
  SELF\action_property_relationship.related_action_property  :  
        possession_of_property_definition_by_activity;
  SELF\action_property_relationship.relating_action_property  :
        property_distribution_over_activity;
END_ENTITY;
(*

5.2.2.2 membership_of_property_distribution_over_product_or_state

A membership_of_property_distribution_over_product_or_state is a property_definition_relationship that is a Membership_of_property_distribution.

EXPRESS specification:

*)
ENTITY membership_of_property_distribution_over_product_or_state
  SUBTYPE OF (property_definition_relationship);
  SELF\property_definition_relationship.related_property_definition  :  
        possession_of_property_definition_by_product_or_state;
  SELF\property_definition_relationship.relating_property_definition  :
        property_distribution_over_product_or_state;
END_ENTITY;
(*

5.2.2.3 membership_of_property_distribution_over_property_space

A membership_of_property_distribution_over_property_space is a general_property_relationship_relationship that is a Membership_of_property_distribution.

EXPRESS specification:

*)
ENTITY membership_of_property_distribution_over_property_space
  SUBTYPE OF (general_property_relationship_relationship);
  SELF\general_property_relationship_relationship.related_property_relationship  :  
        possession_of_property_definition_by_property_definition;
  SELF\general_property_relationship_relationship.relating_property_relationship  :
        property_distribution_over_property_space;
END_ENTITY;
(*

5.2.2.4 property_distribution_over_activity

A property_distribution_over_activity is an action_property that is a Property_distribution.

EXPRESS specification:

*)
ENTITY property_distribution_over_activity
  SUBTYPE OF (action_property);
WHERE
  domain_activity_or_state_space  : 
    'ACTIVITY_OR_STATE_SPACE_MIM.ACTIVITY_OR_STATE_SPACE' IN
      TYPEOF(SELF\action_property.definition);
END_ENTITY;
(*

Formal propositions:

domain_activity_or_state_space: The domain shall be a space of activities or states.

5.2.2.5 property_distribution_over_product_or_state

A property_distribution_over_product_or_state is a property_definition that is a Property_distribution.

EXPRESS specification:

*)
ENTITY property_distribution_over_product_or_state
  SUBTYPE OF (property_definition);
WHERE
  domain_product_feature_space  : 
    'PRODUCT_FEATURE_SPACE_MIM.PRODUCT_FEATURE_SPACE' IN
      TYPEOF(SELF\property_definition.definition);
END_ENTITY;
(*

Formal propositions:

domain_product_feature_space: The domain shall be either a space of product features or the product of a space of product features with a space of activities or states.

5.2.2.6 property_distribution_over_property_space

A property_distribution_over_property_space is an general_property_relationship that is a Property_distribution.

EXAMPLE - The Von Mise's stress is a property_space. The relationship between this property_space and the property_space that is 'stress_tensor' is a property_distribution_over_property_space.

EXPRESS specification:

*)
ENTITY property_distribution_over_property_space
  SUBTYPE OF (general_property_relationship);
WHERE
  domain_property_space  : 
    ('PROPERTY_SPACE_MIM.PROPERTY_SPACE' IN
      TYPEOF(SELF\general_property_relationship.related_property));
  range_property_space  : 
    ('PROPERTY_SPACE_MIM.PROPERTY_SPACE' IN
      TYPEOF(SELF\general_property_relationship.relating_property));
END_ENTITY;
(*

Formal propositions:

domain_property_space: The domain shall be a property space.

range_property_space: The range shall be a property space.

*)
END_SCHEMA;
(*