ГОСТ Р ИСО 10303-45—2012
Определения атрибутов
name — слово или группа слов, используемаядля ссылок наобъект maths_value_qualification:
description — словесное описаниеобъекта maths_value_qualification:
quallfied_maths_value — объект maths_value_with_unlt. который должен быть квалифици
рован;
qualifiers — болеедетальная характеризация объекта maths_value_with_unit.
Формальные утверждения
WR1 — не более одного из элементов атрибута qualifiers может быть объектом precision_
qualifier:
WR2 — данный объект недолжен использоваться для связи квалификаторов с мерой, используе
мой при создании экземпляра сложногообъекта вместе с объектом representation_item.
6.4.4 Объект maths_value_represontation_item
Объект measure_value_representation_item является подтипом объектов reprosentationjtem и
maths_value_with_unit. в котором представлена конкретная математическая функция.
EXPRESS-споиификация:
*)
ENTITY maths_value_reprosentation_item;
SUBTYPE OF (representationJtem. 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_va!ue;
unit_component; unit;
END_ENTITY;
Г
Определения атрибутов
value_component — ссылка на спецификацию математической функции;
unit_component — ссылка на удельную величинуатрибута value_component.
6.4.6 Объект measure_qualif1cation
Объект measure_qualification связывает один или несколько квалификаторов с объектом
measure_with_unit.
EXPRESS-спецификация:
*)
ENTITY measure_qualificatJon;
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_SCHEWA.REPRESENTATION_ITEM’ IN
TYPEOF(SELF\measure_qualification.qualified_measure));
END_ENTITY;
(‘
14