|
|
Application module:
Characteristic |
ISO/TS 10303-1654:2018-11(E)
© ISO
|
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:
-
use of a supertype entity does not make applicable any of its
specializations, unless the specialization is also imported in the
MIM schema;
-
use of a SELECT type does not make applicable any of its listed types
unless the listed type is also imported in the MIM schema.
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.
This subclause specifies the MIM type
for this application module. The MIM type and
definition is specified below.
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;
(*
This subclause specifies the MIM entities for this
module. The MIM entities and definitions are specified below.
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;
(*
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;
(*
A characteristic_data_table_header is a type of
general_property.
EXPRESS specification:
*)
ENTITY characteristic_data_table_header
SUBTYPE OF (general_property);
END_ENTITY;
(*
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;
(*
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;
(*
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;
(*
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'.
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.
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.
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.
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
