Application module: Independent property definition ISO/TS 10303-1099: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 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 Independent_property_definition_mim;

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

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

USE FROM Property_space_mim;    --  ISO/TS 10303-1080

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
Independent_property_mim ISO/TS 10303-1036
Property_space_mim ISO/TS 10303-1080
external_reference_schema ISO 10303-41

NOTE 2   See Annex D, Figures D.1and D.2 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 physical_quantity_instance   EXPRESS-G

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

EXPRESS specification:

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

5.2.1.2 physical_quantity_symmetry   EXPRESS-G

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

EXPRESS specification:

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

5.2.1.3 physical_quantity_symmetry_by_library_reference   EXPRESS-G

A physical_quantity_symmetry_by_library_reference is a general_property and an externally_defined_item that is a Physical_quantity_symmetry_by_library_reference (as defined in the ARM).

EXPRESS specification:

*)
ENTITY physical_quantity_symmetry_by_library_reference
  SUBTYPE OF (physical_quantity_symmetry, externally_defined_item);
END_ENTITY;
(*

5.2.1.4 space_for_physical_quantity   EXPRESS-G

A space_for_physical_quantity is a type of general_property_relationship that is a Space_for_physical_quantity (as defined in the ARM).

EXPRESS specification:

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

Attribute definitions:

relating_property: the physical_quantity_space that indicates the physical phenomenon.

related_property: the physical_quantity_instance that is a member of the space.

5.2.1.5 standard_physical_quantity_symmetry   EXPRESS-G

A standard_physical_quantity_symmetry is a type of physical_quantity_symmetry_by_library_reference that is a Standard_physical_quantity_symmetry (as defined in the ARM).

EXPRESS specification:

*)
ENTITY standard_physical_quantity_symmetry
  SUBTYPE OF (physical_quantity_symmetry_by_library_reference);
WHERE
  valid_standard_class: (SELF\physical_quantity_symmetry_by_library_reference\externally_defined_item.source.source_id = 'ISO-TS-10303-1099') AND (SELF\physical_quantity_symmetry_by_library_reference\externally_defined_item.item_id IN ['PS001', 'PS002', 'PS003', 'PS004', 'PS005', 'PS006', 'PS007', 'PS008', 'PS009', 'PS010', 'PS011', 'PS012', 'PS013']);
END_ENTITY;
(*

Formal propositions:

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

5.2.1.6 symmetry_for_physical_quantity   EXPRESS-G

A symmetry_for_physical_quantity is a type of general_property_relationship that is a Symmetry_for_physical_quantity (as defined in the ARM).

EXPRESS specification:

*)
ENTITY symmetry_for_physical_quantity
  SUBTYPE OF (general_property_relationship);
  SELF\general_property_relationship.relating_property : physical_quantity_symmetry;
  SELF\general_property_relationship.related_property : physical_quantity_instance;
END_ENTITY;
(*

Attribute definitions:

relating_property: the physical_quantity_symmetry that indicates the symmetry.

related_property: the physical_quantity_instance that has the symmetry.



*)
END_SCHEMA;  -- Independent_property_definition_mim
(*


© ISO 2005 — All rights reserved