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

4 Information requirements

This clause specifies the information requirements for the Property space application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.

NOTE 1  A graphical representation of the information requirements is given in Annex C.

NOTE 2  The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.

The following EXPRESS specification begins the Property_space_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Property_space_arm;
(*

4.1 Required AM ARMs

The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.

EXPRESS specification:

*)
USE FROM Class_arm;    --  ISO/TS 10303-1070

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

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

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

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

USE FROM Property_assignment_arm;    --  ISO/TS 10303-1030
(*

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

Class_arm ISO/TS 10303-1070
Class_of_activity_arm ISO/TS 10303-1071
Class_of_product_arm ISO/TS 10303-1077
Independent_property_arm ISO/TS 10303-1036
Process_property_assignment_arm ISO/TS 10303-1040
Property_assignment_arm ISO/TS 10303-1030

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

4.2 ARM type definition

This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.

4.2.1 characterized_class_of_physical_object   EXPRESS-G

A characterized_class_of_physical_object is a Class_of_activity or a Class_of_product.

EXPRESS specification:

*)
TYPE characterized_class_of_physical_object = SELECT BASED_ON property_assignment_select WITH
   (Class_of_activity,
    Class_of_product);
END_TYPE;
(*

4.3 ARM entity definitions

This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.

4.3.1 Class_of_possession_of_property   EXPRESS-GMapping table

A Class_of_possession_of_property is possession of property mapping between a Class_of_activity or a Class_of_product and a Physical_quantity_space.

The nature of a Possession_of_property for individual activities or products can be specified by indicating a class_of_possession_of_property of which it is a member.

The nature of a Property_condition for classes of activity or product can be specified by indicating a class_of_possession_of_property of which it is a member.

EXAMPLE    The mapping between:

that indicates a vessel possesses the mass when empty, is a Class_of_possession_of_property.

NOTE    The entity Class_of_possession_of_property defined in this part of ISO 10303 is identical to the entity indirect_property defined in ISO 15926-2.

EXPRESS specification:

*)
ENTITY Class_of_possession_of_property
  SUBTYPE OF (Applied_independent_property);
  SELF\Applied_independent_property.base_independent_property : Physical_quantity_space;
END_ENTITY;
(*

Attribute definitions:

base_independent_property: an Physical_quantity_space that has a member possessed by each member of the described_element.

4.3.2 Physical_quantity_range   EXPRESS-GMapping table

A Physical_quantity_range is type of Physical_quantity_space that is all the instances of Physical_quantity_instance between an upper and a lower bound.

NOTE 1   A Physical_quantity_instanceis often not known exactly. In this case, a Physical_quantity_range of which it is known to be a member can be specified.

NOTE 2   The entity type Physical_quantity_range defined in this part of ISO 10303 is identical to the entity type property_range defined in ISO 15926-2.

EXAMPLE 1   Mass between 9.9 kg and 10.1 kg is a Physical_quantity_range.

EXAMPLE 2   Temperature between 400 degrees Celsius and 410 degrees Celsius is a Physical_quantity_range.

EXPRESS specification:

*)
ENTITY Physical_quantity_range
  SUBTYPE OF (Physical_quantity_space);
END_ENTITY;
(*

4.3.3 Physical_quantity_space   EXPRESS-GMapping table

A Physical_quantity_space is type of Independent_property and Class that is a physical quantity space.

NOTE    The entity type Physical_quantity_space defined in this part of ISO 10303 is identical to the entity type property_space defined in ISO 15926-2.

EXAMPLE 1   Temperature is a Physical_quantity_space.

EXAMPLE 2   Mass is a Physical_quantity_space.

EXAMPLE 3   Density is a Physical_quantity_space.

EXPRESS specification:

*)
ENTITY Physical_quantity_space
  SUBTYPE OF (Independent_property, Class);
END_ENTITY;
(*

4.3.4 Standard_tensor_order_and_symmetry   EXPRESS-GMapping table

A Standard_tensor_order_and_symmetry is a type of Tensor_order_and_symmetry_by_library_reference that is defined within this part of ISO 10303.

The standard instances of Tensor_order_and_symmetry specified by this part of ISO 10303 are shown in Table 1.

Table 1 — Standard instances of Tensor_order_and_symmetry

code

name

definition

TO001

scalar

zero order tensor or scalar - see ISO 10303-104:2000

TO002

vector_2d

first order tensor or vector in two dimensions - see ISO 10303-104:2000

TO003

vector_3d

first order tensor or vector in three dimensions - see ISO 10303-104:2000

TO004

symmetric_tensor2_2d

symmetric second order tensor in two dimensions - see ISO 10303-104:2000

TO005

symmetric_tensor2_3d

symmetric second order tensor in three dimensions - see ISO 10303-104:2000

TO006

symmetric_tensor4_2d

symmetric fourth order tensor in two dimensions - see ISO 10303-104:2000

TO007

symmetric_tensor4_3d

symmetric fourth order tensor in three dimensions - see ISO 10303-104:2000

TO008

orientation_2d

orientation in two dimensions - see ISO 10303-104:2000

TO009

orientation_3d

orientation in three dimensions - see ISO 10303-104:2000

These standard instances of class are identified using the methodology of IEC 61360, where:

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.source_id = 'ISO-TS-10303-1099') AND (SELF\Tensor_order_and_symmetry_by_library_reference.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.

4.3.5 Tensor_order_and_symmetry   EXPRESS-GMapping table

A Tensor_order_and_symmetry is a type of Independent_property and Class that has instances of Physical_quantity_space as members and that indicates the tensor order and tensor symmetry of the members of the Physical_quantity_space.

NOTE    Standard instances of Tensor_order_and_symmetry are specified in Standard_tensor_order_and_symmetry.

EXAMPLE 1   Scalar is a Tensor_order_and_symmetry.

EXAMPLE 2   Symmetric second order tensor is a Tensor_order_and_symmetry.

EXPRESS specification:

*)
ENTITY Tensor_order_and_symmetry
  SUBTYPE OF (Independent_property, Class);
END_ENTITY;
(*

4.3.6 Tensor_order_and_symmetry_by_library_reference   EXPRESS-GMapping table

A Tensor_order_and_symmetry_by_library_reference is a type of Tensor_order_and_symmetry that is defined by reference to an external library.

NOTE    Standard instances of Tensor_order_and_symmetry are specified in Standard_tensor_order_and_symmetry.

EXPRESS specification:

*)
ENTITY Tensor_order_and_symmetry_by_library_reference
  SUBTYPE OF (Tensor_order_and_symmetry);
  item_id : STRING;
  source_id : STRING;
END_ENTITY;
(*

Attribute definitions:

item_id: a text string that identifies the the Tensor_order_and_symmetry_by_library_reference.

source_id: a text string that identifies the supplier of definition of the Tensor_order_and_symmetry_by_library_reference.

4.3.7 Tensor_order_and_symmetry_for_physical_quantity_space   EXPRESS-GMapping table

A Tensor_order_and_symmetry_for_physical_quantity_space is a relationship between a Physical_quantity_space and a Tensor_order_and_symmetry that indicates the tensor order and symmetry for the members of the Physical_quantity_space.

EXAMPLE    The relationship between:

that indicates the nature of the physical quantity space, is a Tensor_order_and_symmetry_for_physical_quantity_space.

EXPRESS specification:

*)
ENTITY Tensor_order_and_symmetry_for_physical_quantity_space
  SUBTYPE OF (Independent_property_relationship);
  SELF\Independent_property_relationship.relating : Tensor_order_and_symmetry;
  SELF\Independent_property_relationship.related : Physical_quantity_space;
END_ENTITY;
(*

Attribute definitions:

relating: the Tensor_order_and_symmetry that indicates the tensor order and symmetry.

related: a Physical_quantity_space that has the tensor order and symmetry.



*)
END_SCHEMA;  -- Property_space_arm
(*


© ISO 2005 — All rights reserved