Application module: Property space ISO/TS 10303-1080:2005(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definition
   4.3 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM entity definitions

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
Bibliography
Index

5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

EXPRESS specification:

*)
SCHEMA Property_space_mim;

USE FROM Class_mim;    --  ISO/TS 10303-1070

USE FROM Class_of_activity_mim;    --  ISO/TS 10303-1071

USE FROM Class_of_product_mim;    --  ISO/TS 10303-1077

USE FROM Independent_property_mim;    --  ISO/TS 10303-1036

USE FROM Process_property_assignment_mim;    --  ISO/TS 10303-1040

USE FROM Property_assignment_mim;    --  ISO/TS 10303-1030

USE FROM external_reference_schema    --  ISO 10303-41
  (externally_defined_item,
   external_source);
(*

NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Class_mim ISO/TS 10303-1070
Class_of_activity_mim ISO/TS 10303-1071
Class_of_product_mim ISO/TS 10303-1077
Independent_property_mim ISO/TS 10303-1036
Process_property_assignment_mim ISO/TS 10303-1040
Property_assignment_mim ISO/TS 10303-1030
external_reference_schema ISO 10303-41

NOTE 2   See Annex D, Figures D.1, D.2and D.3 for a graphical representation of this schema.

5.2.1 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.1.1 class_of_possession_of_property_by_activity   EXPRESS-G

A class_of_possession_of_property_by_activity is a type of action_property that is a Class_of_possession_of_property (as defined in the ARM).

EXPRESS specification:

*)
ENTITY class_of_possession_of_property_by_activity
  SUBTYPE OF (action_property);
  SELF\action_property.definition : class_of_activity;
END_ENTITY;
(*

Attribute definitions:

definition: a Class_of_activity that has a mapping to the physical quantity space.

5.2.1.2 class_of_possession_of_property_by_product   EXPRESS-G

A class_of_possession_of_property_by_product is a type of property_definition that is a Class_of_possession_of_property (as defined in the ARM).

EXPRESS specification:

*)
ENTITY class_of_possession_of_property_by_product
  SUBTYPE OF (property_definition);
WHERE
  link_to_class: 'CLASS_OF_PRODUCT_MIM.CLASS_OF_PRODUCT' IN TYPEOF(SELF\property_definition.definition.formation);
END_ENTITY;
(*

Formal propositions:

link_to_class: The class_of_possession_of_property_by_product shall reference a class_of_product.

5.2.1.3 possessed_physical_quantity_space   EXPRESS-G

A possessed_physical_quantity_space is a type of general_property_association that specifies a Physical_quantity_space (as defined in the ARM) for a Class_of_possession_of_property (as defined in the ARM).

EXPRESS specification:

*)
ENTITY possessed_physical_quantity_space
  SUBTYPE OF (general_property_association);
  SELF\general_property_association.base_definition : physical_quantity_space;
WHERE
  link_to_possession: ('PROPERTY_SPACE_MIM.CLASS_OF_POSSESSION_OF_PROPERTY_BY_ACTIVITY' IN TYPEOF(SELF\general_property_association.derived_definition)) OR ('PROPERTY_SPACE_MIM.CLASS_OF_POSSESSION_OF_PROPERTY_BY_PRODUCT' IN TYPEOF(SELF\general_property_association.derived_definition));
END_ENTITY;
(*

Attribute definitions:

base_definition: a Physical_quantity_space that has possessed members.

Formal propositions:

link_to_possession: the Physical_quantity_space shall be referenced by a class of possession of property.

5.2.1.4 physical_quantity_range   EXPRESS-G

A physical_quantity_range is a type of physical_quantity_space that is a Physical_quantity_range (as defined in the ARM).

EXPRESS specification:

*)
ENTITY physical_quantity_range
  SUBTYPE OF (physical_quantity_space);
END_ENTITY;
(*

5.2.1.5 physical_quantity_space   EXPRESS-G

A physical_quantity_space is a type of general_property and class that is a Physical_quantity_space (as defined in the ARM).

EXPRESS specification:

*)
ENTITY physical_quantity_space
  SUBTYPE OF (general_property, class);
END_ENTITY;
(*

5.2.1.6 standard_tensor_order_and_symmetry   EXPRESS-G

A standard_tensor_order_and _symmetry is a type of tensor_order_and_symmetry_by_library_reference that is a Standard_tensor_order_and_symmetry (as defined in the ARM).

EXPRESS specification:

*)
ENTITY standard_tensor_order_and_symmetry
  SUBTYPE OF (tensor_order_and_symmetry_by_library_reference);
WHERE
  valid_standard_class: (SELF\tensor_order_and_symmetry_by_library_reference\externally_defined_item.source.source_id = 'ISO-TS-10303-1080') AND (SELF\tensor_order_and_symmetry_by_library_reference\externally_defined_item.item_id IN ['TO001', 'TO002', 'TO003', 'TO004', 'TO005', 'TO006', 'TO007', 'TO008', 'TO009']);
END_ENTITY;
(*

Formal propositions:

valid_standard_class: The supplier shall be 'ISO-TS-10303-1080', and the code shall be one of those listed in Table 1.

5.2.1.7 tensor_order_and_symmetry   EXPRESS-G

A tensor_order_and_symmetry is a type of general_property and class that is a tensor_order_and_symmetry (as defined in the ARM).

EXPRESS specification:

*)
ENTITY tensor_order_and_symmetry
  SUBTYPE OF (general_property, class);
END_ENTITY;
(*

5.2.1.8 tensor_order_and_symmetry_by_library_reference   EXPRESS-G

A tensor_order_and_symmetry_by_library_reference is a type of tensor_order_and_symmetry and externally_defined_item that is a Tensor_order_and_symmetry_by_library_reference (as defined in the ARM).

EXPRESS specification:

*)
ENTITY tensor_order_and_symmetry_by_library_reference
  SUBTYPE OF (tensor_order_and_symmetry, externally_defined_item);
END_ENTITY;
(*

5.2.1.9 tensor_order_and_symmetry_for_physical_quantity_space   EXPRESS-G

A tensor_order_and_symmetry_for_physical_quantity_space is a type of general_property_relationship that is a Tensor_order_and_symmetry_for_physical_quantity_space (as defined in the ARM).

EXPRESS specification:

*)
ENTITY tensor_order_and_symmetry_for_physical_quantity_space
  SUBTYPE OF (general_property_relationship);
  SELF\general_property_relationship.relating_property : tensor_order_and_symmetry;
  SELF\general_property_relationship.related_property : physical_quantity_space;
END_ENTITY;
(*

Attribute definitions:

relating_property: the tensor_order_and_symmetry that indicates the tensor order and symmetry.

related_property: the physical_quantity_space that has the tensor order and symmetry.



*)
END_SCHEMA;  -- Property_space_mim
(*


© ISO 2005 — All rights reserved