4 Information requirements

This clause specifies the information requirements for the Property space application module.

The information requirements are specified as a set of units of functionality, application elements, and application assertions. These assertions pertain to individual application entities and to relationships between application entities. The information requirements are defined using the terminology of the subject area of this application module.

1. - A graphical representation of the information requirements is given in annex C.
2. - The mapping specification is specified in 5.1 which shows how the information requirements are met using the integrated resources of this International Standard. The use of the integrated resources introduces additional requirements which are common to application modules and application protocols.

EXPRESS specification:

*)
SCHEMA Property_space_arm;
(*

4.1 Units of functionality

This subclause specifies the units of functionality (UoF) for the Property space application module as well as any support elements needed for the module definition. This part of ISO 10303 specifies the following units of functionality:

• Property_space_order;
• Property_space_for_property.

This part of ISO 10303 uses the following units of functionality:

• Engineering_analysis_basics;

  NOTE - The Engineering analysis basics AM contains supertypes of the application objects in this AM. These supertypes have no attributes and merely clarify the meaning of the application objects. These supertypes have no impact on the MIM.

• Independent_property_definition;
• Independent_property.

The units of functionality and a description of the functions that each UoF supports are given below.

4.1.1 Property_space_order

The Property_space_order UoF specifies the tensor order of a property space.

NOTE - This UoF distinguishes between a scalar property space such as 'pressure', and a second order tensor property space such as 'stress'.

The following application objects are used by the Property_space_order UoF:

• Property_space;
• Property_space_tensor_order_and_symmetry.

4.1.2 Property_space_for_property

The Property_space_for_property UoF specifies:

• the relationship between an independent property definition and a property space of which it is an member;

  NOTE - The fact that the independent property definition 400 degrees Kelvin is a temperature is indicated by a relationship with the property space 'temperature'.

• the relationship between an independent property definition that is a range and a space of properties that is a view of it.

  NOTE - The range property definition that is 400 to 410 degrees Kelvin is a class that has physical things as members. A physical thing is a member, if it has a temperature that lies within the range.

  The property space that is 400 to 410 degrees Kelvin is a class that has independent property definitions as members. The point independent property definition that is 405 degrees Kelvin is a member of the space. This property space is a subspace of the 'temperature' property space.

The following application objects are used by the Property_space_for_property UoF:

• Membership_of_property_space;
• Property_space_as_property_definition.

4.1.3 Engineering_analysis_basics

This UoF is defined in the Engineering_analysis_basics module. The following application entities from this UoF are referenced in the Property space module:

• Class;
• Classification;
• Fusion;
• Physical_space.

4.1.4 Independent_property_definition

This UoF is defined in the Independent_property_definition module. The following application entities from this UoF are referenced in the Property space module:

• Independent_property_definition.

4.1.5 Independent_property

This UoF is defined in the Independent_property module. The following application entities from this UoF are referenced in the Property space module:

• Independent_property;
• Independent_property_relationship.

4.2 Required AM ARMs

EXPRESS specification:

*)
USE FROM Engineering_analysis_basics_arm -- Engineering_analysis_basics
  (Class,
  Classification,
  Fusion,
  Physical_space);
USE FROM Independent_property_definition_arm -- Independent_property_definition
  (Independent_property_definition);
USE FROM Independent_property_arm -- Independent_property
  (Independent_property
  Independent_property_relationship);
(*

4.3 ARM type definitions

• none.

4.4 ARM entity definitions

• Membership_of_property_space
• Property_space
• Property_space_as_property_definition
• Property_space_tensor_order_and_symmetry

4.5 ARM rule definitions

• none.

4.6 ARM function definitions

• none.

EXPRESS specification:

*)
END_SCHEMA;
(*