ГОСТ Р 55346—2012
Атрибут lower Jimit: Этот атрибут определяет минимально допустимое значение прикладного ком
понента property_value. которое ограничивается диапазоном значений прикладного компонента value.
Атрибут upperjimit: Этот атрибут определяет максимально допустимое значение прикладного
компонента property_value, которое ограничивается диапазоном значений прикладного компонента
value.
4.3.318 Прикладной компонент value_with_unit
Прикладной компонент value_with_umt определяет либо единственную численную меру, либо диа
пазон численных значений, имеющий верхнюю или нижнюю границы.
Примечание — Каждый прикладной компонент value_with_unit является прикладным компонентом value_
limit. value_range или nominal_value.
EXPRESS-описание:
*)
ENTITY value_with_unite
ABSTRACT SUPERTYPE OF ( ONEOF(nominal_valuet. valuejimit, value_range));
significant_digits :OPTIONAL INTEGER;
unit_component; OPTIONAL unit;
END ENTITY;
r
Определения атрибутов:
Атрибут significant_digits; Этот атрибут определяет число значащих чисел для конкретного при
кладного компонента value_with_unit.
Атрибут unit_component: Этот атрибут определяет единицу измерений для прикладного компонен
та value_with_unit.
4.3.319 Прикладной компонент verification_report_for_verification_specification
Прикладной компонент verification_report_for_verification_specification определяет способ связи
результатов, получаемых с помощью прикладного компонента verification_specification_allocation с при
кладным компонентом verification_resu!t. Результат работ по верификации отбирается с помощью атри
бута verification_report_entry.
EXPRESS-описание:
*)
ENTITY verification_report_for_verification_specificationlt;
description:text_select;
specific_verification_element: verification_specificationlt_allocation;
verification_report_entry; verification_result;
END_ENTITY;
C
Определения атрибутов.
Атрибут description; Этот атрибут определяет дополнительную информацию, относящуюся к при
кладному компоненту verification_report_for_verification_specification.
Атрибут specific_verification_element; Этот атрибут определяет прикладной компонент verification_
specification_allocation, который используется для верификации.
Атрибут verification_report_entry: Этот атрибут определяет описание результатов верификации.
4.3.320 Прикладной компонент verification_result
Прикладной компонент verification_result определяет заключение по результатам выполнения опе
рации верификации.
EXPRESS-описание:
*)
ENTITY verification_result;
description :text_select;
id: etementjdentifier:
name: label;
system_under_verification : verification_specificationlt_system_view_relationship;
162