6.4.1 Объект descriptive_representation_item
Объект descriptive_representation_item является подтипом объекта representation_item, представляющим текстовый фрагмент данных об изделии, который присутствует в одном или нескольких представлениях или входит в определение другого объекта representation_item.
Объект descriptive_representation_item входит в определение другого объекта representation_item, если они вместе образуют представление, содержащее только два объекта representation_item, или если представление, содержащее объект descriptive_representation_item, связано с другим представлением через объект representation_relationship.
EXPRESS-спецификация:
| *) | |
| ENTITY descriptive_representation_item | |
| SUBTYPE OF (representation_item); | |
| description : text; | |
| END_ENTITY; | |
| (* | |
Определение атрибута
description - значение представления, выраженное в текстовой форме.
6.4.2 Объект expanded_uncertainty
Объект expanded_uncertainty является подтипом объекта standard_uncertainty. Он определяет коэффициент охвата для неопределенности.
EXPRESS-спецификация:
| *) | |
| ENTITY expanded_uncertainty | |
| SUBTYPE OF (standard_uncertainty); | |
| coverage_factor : REAL; | |
| END_ENTITY; | |
| (* | |
Определение атрибута
coverage_factor - коэффициент охвата для неопределенности данного значения.
6.4.3 Объект maths_value_qualification
Объект maths_value_qualification связывает один или несколько квалификаторов с объектом maths_value_with_unit.
EXPRESS-спецификация:
| *) | |
| ENTITY maths_value_qualification; | |
| name : label; | |
| description : text; | |
| qualified_maths_value : maths_value_with_unit; | |
| qualifiers : SET[1:?] OF value_qualifier; | |
| WHERE | |
| WR1 : SIZEOF(QUERY(temp <* qualifiers | | |
| ’QUALIFIED_MEASURE_SCHEMA.PRECISION_QUALIFIER’ IN TYPEOF(temp))) < 2; | |
| WR2: NOT (’REPRESENTATION_SCHEMA.REPRESENTATION_ITEM’ IN | |
| TYPEOF(SELF\maths_value_qualification.qualified_maths_value)); | |
| END_ENTITY; | |
| (* | |
Определения атрибутов
name - слово или группа слов, используемая для ссылок на объект maths_value_qualification;
description - словесное описание объекта maths_value_qualification;
qualified_maths_value - объект maths_value_with_unit, который должен быть квалифицирован;
qualifiers - более детальная характеризация объекта maths_value_with_unit.
Формальные утверждения
WR1 - не более одного из элементов атрибута qualifiers может быть объектом precision_qualifier;
WR2 - данный объект не должен использоваться для связи квалификаторов с мерой, используемой при создании экземпляра сложного объекта вместе с объектом representation_item.
6.4.4 Объект maths_value_representation_item
Объект measure_value_representation_item является подтипом объектов representation_item и maths_value_with_unit, в котором представлена конкретная математическая функция.
EXPRESS-спецификация:
| *) | |
| ENTITY maths_value_representation_item; | |
| SUBTYPE OF (representation_item, maths_value_with_unit); | |
| END_ENTITY; | |
| (* | |
6.4.5 Объект maths_value_with_unit
Объект maths_value_with_unit является количественным значением, которое должно быть задано математической функцией и иметь определенные единицы измерения.
EXPRESS-спецификация:
| *) | |
| ENTITY maths_value_with_unit; | |
| value_component : maths_value; | |
| unit_component : unit; | |
| END_ENTITY; | |
| (* | |
Определения атрибутов
value_component - ссылка на спецификацию математической функции;
unit_component - ссылка на удельную величину атрибута value_component.
6.4.6 Объект measure_qualification
Объект measure_qualification связывает один или несколько квалификаторов с объектом measure_with_unit.
EXPRESS-спецификация:
| *) | |
| ENTITY measure_qualification; | |
| name : label; | |
| description : text; | |
| qualified_measure : measure_with_unit; | |
| qualifiers : SET[1:?] OF value_qualifier; | |
| WHERE | |
| WR1 : SIZEOF(QUERY(temp <* qualifiers | | |
| ’QUALIFIED_MEASURE_SCHEMA.PRECISION_QUALIFIER’ IN TYPEOF(temp))) < 2; | |
| WR2: NOT (’REPRESENTATION_SCHEMA.REPRESENTATION_ITEM’ IN | |
| TYPEOF(SELF\measure_qualification.qualified_measure)); | |
| END_ENTITY; | |
| (* | |
Определения атрибутов
name - слово или группа слов, используемая для ссылок на объект measure_qualification;
description - словесное описание объекта measure_qualification;
qualified_measure - объект measure_with_unit, который должен быть квалифицирован;
qualifiers - более детальная характеризация объекта measure_with_unit.
Формальные утверждения
WR1: не более одного из элементов атрибута qualifiers может быть объектом precision_qualifier;
WR2: данный объект не должен использоваться для связи квалификаторов с мерой, используемой при создании экземпляра сложного объекта вместе с объектом representation_item.
6.4.7 Объект measure_representation_item
Объект measure_representation_item является подтипом объектов representation_item и measure_with_unit, в котором представлено конкретное численное значение и его единицы измерения.