ГОСТ Р ИСО 10303-59—2012
(’REPRESENTATION_SCHEMA.VALUE_REPRESENTATlONJTEM’
IN TYPEOF (i2)) AND
(i1 :<>: i2) AND
(TYPEOF(i1\value_representatk>n_item.value_oomponent) =
TYPEOF(i2\value_representationJtem.value_component)))
)=1))> = 2):
END_ENTITY.
г
Формальные положения
WR1: Атрибут item_elomont имеет тип set_representation_itom и его мощностьдолжна равнять
ся 2. Оба эти элемента должны быть типа measure_representation_item или типа value_reprosenta-
tionjtem .
WR2: Атрибуты name объектов representation_items. на которые ссылается атрибут item_element.
должны иметь соответственно значения ’upper limit’ (верхний предел) и ’lower limit’ (нижний предел).
WR3: Если атрибут item_element ссылается на два объекта measure_representation_item, то зна
чения атрибутов unit (единица измерения) соответствующих объектов measure_with_unitдолжны быть
однородными. Если атрибут item_olement ссылается на два объекта value_representation_item, то их
типы должны быть однородными.
7.4.9 Объект shape_data_quality_valueJim it
Объект shape_data_quality_value_limit представляет предельное значение, используемое в специ
фикации оценки.
EXPRESS-специФикация:
•)
ENTITY shape_data_quality_valuejimit
ABSTRACT SUPERTYPE OF (ONEOF(
shape_data_quality_upper_value_limit.
shape_data_qualityJower_valueJimit))
SUBTYPE OF(
measure_representation_item,
qualified _representatk>n_item);
ENDJENTITY:
Г
7.4.10 Объект shapo_data_quality_upper_value_limit
Объект shape_data_quality_uppor_value_limitпредставляет верхнее предельное значение, исполь
зуемое вспецификации оценки.
EXPRESS-специФикация:
•>
ENTITY shape_data_quality_upper_vaiue_limit
SUBTYPE OF(shape_data_quality_value_limit);
WHERE
WR1. SELF\qualified_representation_item.qualifiers[1].name
= ’maximum’:
END_ENTITY;
Г
Формальное положение
WR1: Наследуемый атрибут qualified_representationJtem.qualifiers[1].name (наименование)
должен иметь значение ’maximum’(наибольшее).
7.4.11 Объект shapo_data_quality_lower_value_limit
Объект shape_data_quality_lowor_valueJim it представляет наименьший предел значения, исполь
зуемого в спецификации оценки.
EXPRESS-специФикация:
•)
ENTITY shape_data_quaIity_lower_value_limit
SUBTYPE OF(shape_data_quality_valueJimit):
WHERE
28