Application module: Property space | ISO/TS 10303-1080:2005(E) © ISO |
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;
(*
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.
This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.
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;
(*
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.
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.
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;
(*
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;
(*
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.
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;
(*
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.
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