ГОСТ Р ИСО 10303-59-2012 Системы автоматизации производства их интеграция. Представление данных об изделии и обмен этими данными. Часть 59. Интегрированный обобщенный ресурс. Качество данных о форме изделия стр. 11

*)
TYPE shape_data_quality_value_limit_type_select = SELECT
(shape_data_quality_value_range,
shape_data_quality_value_limit);
END_TYPE;
(*

7.4 Определение объектов схемы критериев качества данных о форме

7.4.1 Объект shape_data_quality_criteria_representation
Объект shape_data_quality_criteria_representation представляет требования к качеству данных о форме для единичной модели формы изделия. Это коллекция из одного или более критериев качества данных о форме, представленных объектамиshape_data_quality_criterion. Экземпляр настоящего объекта может использоваться независимо для представления требований к качеству до того, как были созданы данные об изделии. Он также может использоваться в сочетании с представляющим результаты проверки объектом shape_data_quality_inspection_result_representation для того, чтобы представить для конкретных данных о форме изделия информацию о требованиях, которые были удовлетворены или не удовлетворены и в какой степени.
EXPRESS-спецификация:
*)
ENTITY shape_data_quality_criteria_representation
SUBTYPE OF(data_quality_criteria_representation);
WHERE
WR1 : SIZEOF( QUERY( q <* SELF\representation.items|
'SHAPE_DATA_QUALITY_CRITERIA_SCHEMA.' +
'SHAPE_DATA_QUALITY_CRITERION' IN TYPEOF(q))) > 0;
END_ENTITY;
(*
Формальное положение
По меньшей мере один экземпляр объекта типа representation_item из множества объектов, на которые имеются ссылки из объекта shape_data_quality_criteria_representation, должен быть экземпляром объекта типа shape_data_quality_criterion.
7.4.2 Объект shape_criteria_representation_with_accuracy
Объект shape_criteria_representation_with_accuracy - это такой подтип объектаshape_data_quality_criteria_representation, который содержит информацию о точности, которая должна применяться при измерении.
EXPRESS-спецификация:
*)
ENTITY shape_criteria_representation_with_accuracy
SUBTYPE OF(shape_data_quality_criteria_representation);
required_general_accuracy : SET [1:?] OF shape_measurement_accuracy;
END_ENTITY;
(*
Определение атрибута
required_general_accuracy - набор объектов shape_measurement_accuracy (точность измерения формы) для измерений. Этот набор объектов, представляющих точность, применяется как значения по умолчанию для всех измерений критериев, заданных настоящим объектом.
Примечание - Точность, применяемая для измерений относительного отдельного критерия, может быть задана с помощью объектаshape_data_quality_criterion_and_accuracy_association. Эта точность переопределяет точность, заданную настоящим объектом, если таковая была задана.
7.4.3 Объект shape_data_quality_criterion
Объект shape_data_quality_criterion представляет критерий, который является аспектом требований к одиночной модели формы изделия в сочетании с требованием к измерению, представляющим необходимые условия для соответствующего измерения (измерений), для оценки того, удовлетворен или не удовлетворен критерий. Это - общий супертип для представления всех уточняющих критериев, которые делятся на подтипы объектовerroneous_data и inapt_data.
EXPRESS-спецификация:
*)
ENTITY shape_data_quality_criterion
SUPERTYPE OF (ONEOF(erroneous_data, inapt_data))
SUBTYPE OF(data_quality_criterion,data_quality_measurement_requirement);
assessment_specification :
shape_data_quality_assessment_specification_select;
WHERE
WR1 : SIZEOF(USEDIN(SELF,
'PRODUCT DATA_QUALITY_CRITERIA_SCHEMA.'+
'DATA_QUALITY_CRITERION_ASSESSMENT_ASSOCIATION.'+
'CRITERION'
)) = 0;
WR2 : SIZEOF(QUERY(i1<*bag_to_set(
USEDIN(SELF,
'REPRESENTATION_SCHEMA.'+
'REPRESENTATION_ITEM_RELATIONSHIP.'+
'RELATED REPRESENTATION_ITEM'))|
'PRODUCT_DATA_QUALITY_CRITERIA_SCHEMA.'+
'DATA_QUALITY_CRITERION_MEASUREMENT_ASSOCIATION'
IN TYPEOF(i1))) = 0;
WR3 : SIZEOF(QUERY(i1<*bag_to_set(
USEDIN(SELF,
'REPRESENTATION_SCHEMA.'+
'REPRESENTATION_ITEM_RELATIONSHIP.'+
'RELATING_REPRESENTATION_ITEM'))|
'PRODUCT_DATA_QUALITY_CRITERIA_SCHEMA.'+
'DATA_QUALITY_CRITERION_MEASUREMENT_ASSOCIATION'
IN TYPEOF(i1))) = 0;
END_ENTITY;
(*
Определение атрибута
assessment_specification - экземпляр данных типаshape_data_quality_assessment_specification_select, который позволяет выбрать или объектshape_data_quality_assessment_by_logical_test, или объектshape_data_quality_assessment_by_numerical_test, который должен быть применен для проверки критерия.
Формальные положения
WR1: Данный объект не должен играть роль атрибута criterion объектаdata_quality_criterion_assessment_association.
Примечание - Поскольку настоящий объект имеет атрибут assessment_specification, который непосредственно задает для экземпляра данного объекта соответствующую спецификацию оценки, для экземпляра настоящего объекта не требуется и не рекомендуется создание экземпляра объекта data_quality_criterion_assessment_association, определенного в 5.4.5.
WR2: Данный объект не должен играть роль атрибута related_representation объектаdata_quality_criterion_measurement_association.
WR3: Данный объект не должен играть роль атрибута relating_representation объектаdata_quality_criterion_measurement_association.
Примечание - Поскольку настоящий объект является общим подтипом объектовdata_quality_criterion и data_quality_measurement_requirement, то для экземпляра настоящего объекта не требуется и не рекомендуется создание экземпляра объектаdata_quality_criterion_measurement_association, определенного в 5.4.6.
7.4.4 Объект shape_data_quality_assessment_by_logical_test
Объект shape_data_quality_assessment_by_logical_test представляет спецификацию оценки, выполняемой логической проверкой.
EXPRESS-спецификация:
*)
ENTITY shape_data_quality_assessment_by_logical_test
SUBTYPE OF(data_quality_assessment_specification);
END_ENTITY;
(*
7.4.5 Объект shape_data_quality_assessment_by_numerical_test
Объект shape_data_quality_assessment_by_numerical_test представляет спецификацию оценки, выполняемой численной проверкой.
EXPRESS-спецификация:
*)
ENTITY shape_data_quality_assessment_by_numerical_test
SUBTYPE OF(data_quality_assessment_specification);
threshold : shape_data_quality_value_limit_type_select;
END_ENTITY;
(*
Определение атрибута
threshold - используемый для оценки измеренного значения экземпляр типа данныхshape_data_quality_value_limit_type_select, который может быть или объектомshape_data_quality_value_range, или объектом shape_data_quality_value_limit. Если измеренное значение находится в заданном диапазоне или ограничен пределом, то рассматриваемый критерий качества удовлетворен, что означает наличие дефекта качества.
7.4.6 Объект shape_data_quality_criterion_and_accuracy_association
Объект shape_data_quality_criterion_and_accuracy_association представляет связь между объектом shape_data_quality_criterion и требуемым для измерения критерия объектомshape_measurement_accuracy.
EXPRESS-спецификация:
*)
ENTITY shape_data_quality_criterion_and_accuracy_association;
required_specific_accuracy : shape_measurement_accuracy;
shape_data_quality_criterion : shape_data_quality_criterion;
END_ENTITY;
(*
Определения атрибутов
required_specific_accuracy - объект shape_measurement_accuracy для применения при измерении рассматриваемого критерия;
shape_data_quality_criterion - объект shape_data_quality_criterion, связь с которым должна быть задана.
Примечание - Настоящий объект используется для задания точности измерения, которая должна применяться для отдельного критерия. Если существует данный объект, то он переопределяет заданную объектом shape_criteria_representation_with_accuracy точность по умолчанию, общую для всех критериев.
7.4.7 Объект shape_measurement_accuracy
Объект shape_measurement_accuracy представляет точность численных расчетов, используемых при измерении. Это - или точность, требуемая для измерения, или точность, с которой в действительности проводилось измерение. Она может быть задана как обобщенная точность, применимая ко всем измерениям, или как конкретная точность, применимая только к выполняемому измерению.
EXPRESS-спецификация:
*)
ENTITY shape_measurement_accuracy;
description : text;
range: shape_data_quality_value_limit_type_select;
END_ENTITY;
(*
Определения атрибутов