ГОСТ Р ИСО 10303-45—2012
Определения атрибутоо
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 Объект moasure_representationJtem
Объект measuro_representation_item является подтипом объектов representation_ item и
measure_with_unit, вкотором представленоконкретноечисленноезначениеиегоединицы измерения.
EXPRESS-спецификаиия.
ENTITY measure_representation_item
SUBTYPE OF (representation item, measure_with_unit);
END_ENTITY;
C
6.4.8 Объект precision_qualifier
Объект precision_qualifier определяет количество значащих цифр в представлении значения.
EXPRESS-спецификаиия:
*)
ENTITY precision_qualifier;
precision_value INTEGER:
END_ENTITY;
(*
Определение атрибута
precision_value — количество значащих цифр вданном значении.
6.4.9 Объект qualified_representationJtem
Объектqualified_representationJtem являетсяподтипом объекта representationJtem. для кото
рого определены квалификаторы, описывающие егодостоверностьи/или неопределенность.
EXPRESS-спецификаиия:
*)
ENTITYqualified_representation_item
SUBTYPE OF (representationjtem);
qualifiers:SET[1:?] OF value_qualifier:
WHERE
WR1:SIZEOF(QUERY(temp <* qualifiers |
’QUALIFIED_MEASURE_SCHEMA.PRECISION_QUALIFIER’ IN TYPEOF(temp)))<2;
END_ENTITY;
Г
Определение атрибута
qualifiers — болеедетальная характеризация объекта representationjtem.
Формальное утверждение
WR1: не более одногоэлемента атрибута qualifiers может бытьобъектом precision_qualifier.
6.4.10 Объект qualitative_uncertainty
Объект qualitative_uncertainty является подтипом объекта uncertainty_qualifier. Он определяет
неопределенностьзначения с помощьюсравнения.
15