5 Module interpreted model

5.1 Mapping specification

• Possession_of_property

5.2 MIM EXPRESS short listing

*)
SCHEMA possession_of_property_mim;
  USE FROM process_property_schema -- ISO 10303-49
    (action_property);
  USE FROM product_property_definition_schema -- ISO 10303-41
    (property_definition,
    general_property_association,
    general_property_relationship);
  USE FROM independent_property_definition_mim -- ISO 10303-1036
    (independent_property_definition);
(*

5.2.1 MIM EXPRESS types

5.2.1.1 derived_property_select

A derived_property_select is one of the possession relationship with which a property_value can be associated. The possession relationships are with an action or a product_definition.

EXPRESS specification:

*)
TYPE derived_property_select = SELECT (
  action_property,
  property_definition);
END_TYPE;
(*

5.2.2 MIM EXPRESS entities

5.2.2.1 possession_of_property_definition_by_activity

A possession_of_property_definition_by_activity is an action_property that is a Possession_of_property.

EXPRESS specification:

*)
ENTITY possession_of_property_definition_by_activity
  SUBTYPE OF (action_property);
WHERE
  possessor_activity  : 
    'PROCESS_PROPERTY_SCHEMA.PRODUCT_DEFINITION_PROCESS' IN
      TYPEOF(SELF\action_property.definition)
END_ENTITY;
(*

Formal propositions:

possessor_activity: The possessor shall be an activity.

5.2.2.2 possession_of_property_definition_by_product_or_state

A possession_of_property_definition_by_product_or_state is a property_definition that is a Possession_of_property.

EXPRESS specification:

*)
ENTITY possession_of_property_definition_by_product_or_state
  SUBTYPE OF (property_definition);
WHERE
  possessor_product_or_state  : 
    'PRODUCT_DEFINITION_SCHEMA.PRODUCT_DEFINITION' IN
      TYPEOF(SELF\property_definition.definition)
END_ENTITY;
(*

Formal propositions:

possessor_product_or_state: The possessor shall be a product or state.

5.2.2.3 possession_of_property_definition_by_property_definition

A possession_of_property_definition_by_property_definition is a general_property_relationship that is a Possession_of_property.

EXAMPLE - The Von Mise's stress of 200 MPa is a independent_property_definition. The relationship between this independent_property_definition and the independent_property_definition that is 'my_stress_tensor' is a possession_of_property_definition_by_property_definition.

Both the Von Mise's stress of 200 MPa and 'my_stress_tensor' are possessed by the centroid of part type 'XYZ_123' in the state 'part type XYZ_123 running'. The relationship between the instances of independent_property_definition and the product_definition, that corresponds to the point within the product for the state, is a possession_of_property_definition_by_property_definition.

EXPRESS specification:

*)
ENTITY possession_of_property_definition_by_property_definition
  SUBTYPE OF (general_property_relationship);
  SELF/general_property_relationship.related_property  :
    independent_property_definition;
  SELF/general_property_relationship.relating_property  :
    independent_property_definition;
END_ENTITY;
(*

*)
END_SCHEMA;
(*