Application module: Characteristic ISO/TS 10303-1654:2018-11(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definitions
   4.3 ARM entity definitions
   4.4 ARM subtype constraint definitions
   4.5 ARM function definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definition
     5.2.2 MIM entity definitions
     5.2.3 MIM subtype constraint definition

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
F Change history
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:

Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.

EXPRESS specification:

*)
SCHEMA Characteristic_mim;

USE FROM Basic_data_representation_mim;    --  ISO/TS 10303-1773

USE FROM Document_assignment_mim;    --  ISO/TS 10303-1122

USE FROM Extended_measure_representation_mim;    --  ISO/TS 10303-1106

USE FROM External_library_mim;    --  ISO/TS 10303-1778

USE FROM Value_with_unit_extension_mim;    --  ISO/TS 10303-1753

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

USE FROM External_properties_mim;    --  ISO/TS 10303-1129

USE FROM group_schema    --  ISO 10303-41
  (group);
(*

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

Basic_data_representation_mim ISO/TS 10303-1773
Document_assignment_mim ISO/TS 10303-1122
Extended_measure_representation_mim ISO/TS 10303-1106
External_library_mim ISO/TS 10303-1778
Value_with_unit_extension_mim ISO/TS 10303-1753
Property_assignment_mim ISO/TS 10303-1030
External_properties_mim ISO/TS 10303-1129
group_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 type definition

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

5.2.1.1 c_document_reference_item   EXPRESS-G

The c_document_reference_item type is an extension of the document_reference_item type. It adds the data type representation to the list of alternate data types.

EXPRESS specification:

*)
TYPE c_document_reference_item = SELECT BASED_ON document_reference_item WITH
   (representation);
END_TYPE;
(*

5.2.2 MIM entity definitions

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

5.2.2.1 characteristic_data_column_header   EXPRESS-G

A characteristic_data_column_header is a type of general_property that implements the ARM concept of Characteristic_data_column_header.

EXPRESS specification:

*)
ENTITY characteristic_data_column_header
  SUBTYPE OF (general_property);
END_ENTITY;
(*

5.2.2.2 characteristic_data_column_header_link   EXPRESS-G

A characteristic_data_column_header_link is a type of general_property_relationship that implements the ARM concept of Characteristic_data_column_header_link.

EXPRESS specification:

*)
ENTITY characteristic_data_column_header_link
  SUBTYPE OF (general_property_relationship);
END_ENTITY;
(*

5.2.2.3 characteristic_data_table_header   EXPRESS-G

A characteristic_data_table_header is a type of general_property.

EXPRESS specification:

*)
ENTITY characteristic_data_table_header
  SUBTYPE OF (general_property);
END_ENTITY;
(*

5.2.2.4 characteristic_data_table_header_decomposition   EXPRESS-G

A characteristic_data_table_header_decomposition is a type of general_property_relationship that implements the ARM concept of Characteristic_data_table_header_decomposition.

EXPRESS specification:

*)
ENTITY characteristic_data_table_header_decomposition
  SUBTYPE OF (general_property_relationship);
END_ENTITY;
(*

5.2.2.5 characteristic_type   EXPRESS-G

A characteristic_type is a type of group that specifies a boolean property, a numeric property whose units are in accordance with ISO 10303-41, a compound characteristic, a logical property, a string property, or an externally defined property for a characteristic.

EXPRESS specification:

*)
ENTITY characteristic_type
  SUBTYPE OF (group);
END_ENTITY;
(*

5.2.2.6 null_representation_item   EXPRESS-G

A null_representation_item is a type of representation_item that implements the ARM concept of Null_representation_item.

EXPRESS specification:

*)
ENTITY null_representation_item
  SUBTYPE OF (representation_item);
END_ENTITY;
(*

5.2.2.7 range_characteristic   EXPRESS-G

A range_characteristic is a type of representation and of descriptive_representation_item that implements the ARM concept of Range_characteristic.

EXPRESS specification:

*)
ENTITY range_characteristic
  SUBTYPE OF (representation, descriptive_representation_item);
WHERE
  WR1: NOT(SELF\representation.name IN ['tolerance', 'minimum tolerance', 'maximum tolerance', 'nominal tolerance', 'plus minus tolerance', 'symmetrical tolerance', 'statistical tolerance']);
END_ENTITY;
(*

Formal propositions:

WR1: The name shall not be of type 'tolerance', 'minimum tolerance', 'maximum tolerance', 'nominal tolerance', 'plus minus tolerance', 'symmetrical tolerance', 'statistical tolerance'.

5.2.2.8 row_representation_item   EXPRESS-G

A row_representation_item is a type of compound_representation_item.

EXPRESS specification:

*)
ENTITY row_representation_item
  SUBTYPE OF (compound_representation_item);
  SELF\compound_representation_item.item_element : list_representation_item;
END_ENTITY;
(*

Attribute definitions:

item_element: an attribute inherited from the compound_representation_item shall be redeclared as the list_representation_item for the row_representation_item.

5.2.2.9 table_representation_item   EXPRESS-G

A table_representation_item is a type of compound_representation_item.

EXPRESS specification:

*)
ENTITY table_representation_item
  SUBTYPE OF (compound_representation_item);
WHERE
  WR1: SIZEOF(QUERY(itet <* SELF\compound_representation_item.item_element | NOT('CHARACTERISTIC_MIM.ROW_REPRESENTATION_ITEM' IN TYPEOF(itet)) )) = 0;
END_ENTITY;
(*

Formal propositions:

WR1: The item_element inherited from compound_representation_item shall be of type row_representation_item.

5.2.3 MIM subtype constraint definition

This subclause specifies the MIM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The MIM subtype constraint and definition is specified below.

5.2.3.1 c_compound_representation_item_subtypes   EXPRESS-G

The c_compound_representation_item_subtypes constraint specifies a constraint that applies to instances of subtypes of compound_representation_item.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT c_compound_representation_item_subtypes FOR compound_representation_item;
  ONEOF (row_representation_item,
         table_representation_item);
END_SUBTYPE_CONSTRAINT;
(*



*)
END_SCHEMA;  -- Characteristic_mim
(*


© ISO 2018 — All rights reserved