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

*)
ENTITY data_quality_inspection_result_with_judgement
SUBTYPE OF(data_quality_inspection_result);
judgement : BOOLEAN;
END_ENTITY;
(*
Определение атрибута
judgement - булева величина, представляющая (удовлетворительный или неудовлетворительный) результат проверки критерия качества данных, заданного объектом, играющим роль атрибута criterion_inspected. Когда обнаружена проблема с качеством, величина принимает значение TRUE, в противном случае - FALSE.
Примечания
1 Когда оценка не требуется или недоступна по некоторым причинам, например из-за неполной проверки, вместо экземпляра данного объекта должен использоваться экземпляр объектаdata_quality_inspection_result.
2 Выражение оценки зависит от каждой предметной области. Данный атрибут является представлением оценки по умолчанию. Разработчики прикладных протоколов, используя настоящий стандарт, могут создавать свое собственное представление оценки, основанное на подробной информации, содержащейся в объекте data_quality_inspection_report.
6.4.4 Объект data_quality_inspection_report
Объект data_quality_inspection_report представляет отчет по результатам проверки относительно одного указанного критерия.
EXPRESS-спецификация:
*)
ENTITY data_quality_inspection_report
SUPERTYPE OF (ONEOF(data_quality_inspection_criterion_report,
data_quality_inspection_instance_report))
SUBTYPE OF(representation_item);
inspection_result : data_quality_inspection_result;
WHERE
WR1 : SIZEOF(QUERY(q <* bag_to_set( USEDIN(SELF,
'REPRESENTATION_SCHEMA.REPRESENTATION.ITEMS'))
I'PRODUCT_DATA_QUALITY_CRITERIA_SCHEMA.'+
'DATA_QUALITY_CRITERIA_REPRESENTATION'
IN TYPEOF(q)))=0;
END_ENTITY;
(*
Определение атрибута
inspection_result - объект data_quality_inspection_result, для которого представлен отчет о проверке.
Формальное положение
Экземпляр настоящего объекта не должен использоваться как элемент в объектеdata_quality_criteria_representation.
6.4.5 Объект data_quality_inspection_criterion_report
Объект data_quality_inspection_criterion_report - это такой подтип объектаdata_quality_inspection_report, который представляет сводную информацию о результатах проверки по одному отдельному критерию. Этот объект может содержать посредством ссылки на объект data_quality_inspection_criterion_report_item отчет о числе проверенных экземпляров и о числе экземпляров из числа проверенных, в которых были обнаружены дефекты качества относительно критерия.
EXPRESS-спецификация:
*)
ENTITY data_quality_inspection_criterion_report
SUBTYPE OF(data_quality_inspection_report);
statistical_values : SET [1:2] OF
data_quality_inspection_criterion_report_item;
WHERE
WR1 : SIZEOF(QUERY(i1<*bag_to_set(USEDIN(
SELF\data_quality_inspection_report.
inspection_result.criterion_inspected,
'PRODUCT_DATA_QUALITY_CRITERIA_SCHEMA.'+
'DATA_QUALITY_REPORT_REQUEST.CRITERION_OF_REPORT_REQUEST'))|
'PRODUCT_DATA_QUALITY_CRITERIA_SCHEMA.'+
'SUMMARY_REPORT_REQUEST'
IN TYPEOF(i1)))>0;
WR2 : (SIZEOF(SELF.statistical_values) = 1 ) OR
(SELF.statistical_values[1].value_type <>
SELF.statistical_values[2].value_type);
END_ENTITY;
(*
Определение атрибута
statistical_values - один или два объекта data_quality_inspection_criterion_report_item, показывающие число проверенных экземпляров и/или число обнаруженных дефектов.
Формальные положения
WR1: На объект data_quality_criterion, связанный с экземпляром данного объекта, должен ссылаться по крайней мере один объект summary_report_request.
WR2: Атрибут statistical_values экземпляра данного объекта должен содержать одно или два значения. Если значений два, то значения атрибутов value_type двух объектов, играющих роль атрибута statistical_values, не должны совпадать.
6.4.6 Объект data_quality_inspection_criterion_report_item
Объект data_quality_inspection_criterion_report_item - это такой подтип объектаrepresentation_item, который представляет целое значение, которое означает число проверенных экземпляров (при значении атрибута value_type, равномNUMBER_OF_INSPECTED_INSTANCES) или число обнаруженных дефектов качества (при значении атрибута value_type, равном NUMBER_OF_QUALITY_DEFECTS_DETECTED).
EXPRESS-спецификация:
*)
ENTITY data_quality_inspection_criterion_report_item
SUBTYPE OF(representation_item);
statistical_value: INTEGER;
value_type : statistical_value_type;
WHERE
WR1 : SIZEOF(QUERY(q <* bag_to_set( USEDIN(SELF,
'REPRESENTATION_SCHEMA.REPRESENTATION.ITEMS'))
I'PRODUCT_DATA_QUALITY_CRITERIA_SCHEMA.'+
'DATA_QUALITY_CRITERIA_REPRESENTATION'
IN TYPEOF(q)))=0;
END_ENTITY;
(*
Определения атрибутов
statistical_value - значение целого типа;
value_type - экземпляр данных типа statistical_value_type, значение которого показывает, является ли значение атрибута statistical_value числом проверенных экземпляров (значение данного атрибута NUMBER_OF_INSPECTED_INSTANCES) или числом обнаруженных дефектов качества (значение данного атрибута NUMBER_OF_QUALITY_DEFECTES_DETECTED).
Формальное положение
WR1: Экземпляр настоящего объекта не должен использоваться как элемент в объектеdata_quality_criteria_representation.
6.4.7 Объект data_quality_inspection_instance_report
Объект data_quality_inspection_instance_report - это такой подтип объектаdata_quality_inspection_report, который представляет подробную информацию о результатах проверки относительно одного отдельного критерия на уровне экземпляров объектов. Проверка выполняется для каждого элемента рассматриваемых данных об изделии. Данный объект содержит список объектов data_quality_inspection_instancereport_item. Каждый из объектовdata_quality_inspection_instance_report_item представляет результат проверки одного или двух объектов проверяемых данных об изделии.
Примечание - Порядок объектов data_quality_inspection_instance_report_item в списке в атрибуте inspected_instances задается объектом data_quality_report_request, определение которого дано в схеме product_data_quality_criteria_schema.
EXPRESS-спецификация:
*)
ENTITY data_quality_inspection_instance_report
SUBTYPE OF(data_quality_inspection_report);
inspected_instances : LIST [1:?] OF
data_quality_inspection_instance_report_item;
WHERE
WR1 : SIZEOF(QUERY(i1<*bag_to_set(USEDIN(
SELF\data_quality_inspection_report.
inspection_result.criterion_inspected,
'PRODUCT_DATA_QUALITY_CRITERIA_SCHEMA.'+
'DATA_QUALITY_REPORT_REQUEST.CRITERION_OF_REPORT_REQUEST'))|
'PRODUCT_DATA_QUALITY_CRITERIA_SCHEMA.'+
'DETAILED_REPORT_REQUEST'
IN TYPEOF(i1)))>0;
END_ENTITY;
(*
Определение атрибута
inspected_instances - список объектов data_quality_inspection_instance_report_item, каждый из которых представляет результат проверки для экземпляра или двух экземпляров проверяемых данных об изделии.
Формальное положение
WR1: На объект data_quality_criterion, связанный с экземпляром данного объекта, должен ссылаться по крайней мере один объект detailed_report_request.
6.4.8 Объект data_quality_inspection_instance_report_item
Объект data_quality_inspection_instance_report_item представляет подробный результат проверки элемента или пары элементов проверяемых данных об изделии.
Примечание - Экземпляры данного объекта могут создаваться для каждого проверяемого экземпляра объекта. Использованием экземпляров данного объекта можно управлять посредством объекта detailed_report_request, определение которого дано в схемеdata_quality_criteria_schema. Объект detailed_report_request имеет атрибуты, позволяющие задать необходимость формирования отчета для всех проверенных элементов или только для элементов с низким качеством, число элементов, которые включаются в отчет, и ожидаемый порядок отчета.
EXPRESS-спецификация:
*)
ENTITY data_quality_inspection_instance_report_item
SUBTYPE OF(representation_item);
WHERE
WR1 : SIZEOF(QUERY(q <* bag_to_set( USEDIN(SELF,
'REPRESENTATION_SCHEMA.REPRESENTATION.ITEMS'))
I'PRODUCT_DATA_QUALITY_CRITERIA_SCHEMA.'+
'DATA_QUALITY_CRITERIA_REPRESENTATION'
IN TYPEOF(q)))=0;
END_ENTITY;
(*
Формальное положение
WR1: Экземпляр настоящего объекта не должен использоваться как элемент в объектеdata_quality_criteria_representation.
6.4.9 Объект data_quality_report_measurement_association
Объект data_quality_report_measurement_association представляет соответствие между объектом data_quality_inspection_report и объектомdata_quality_measurement_requirement, используемым для проверки.