Формальное положение
Атрибут detailed_report_request_type, унаследованный от супертипаdetailed_report_request, не должен иметь значение INFERIOR_QUALITY_ELEMENT.
EXPRESS-спецификация:
| *) |
| END_SCHEMA; - - end product_data_quality_criteria_schema |
| (* |
6 Схема результатов проверки качества данных
6.1 Введение
Ниже представлен фрагмент EXPRESS-декларации, с которого начинается описание схемыproduct_data_quality_inspection_result_schema. В нем определены необходимые внешние ссылки.
EXPRESS-спецификация:
| *) |
| SCHEMA PRODUCT_DATA_QUALITY_INSPECTION_RESULT_SCHEMA; |
| REFERENCE FROM PRODUCT_DATA_QUALITY_CRITERIA_SCHEMA; - - ISO 10303-59 |
| REFERENCE FROM PRODUCT_DATA_QUALITY_DEFINITION_SCHEMA - - ISO 10303-59 |
| (data_quality_definition_representation, |
| product_data_and_data_quality_relationship); |
| REFERENCE FROM PRODUCT_DEFINITION_SCHEMA - - ISO 10303-41 |
| (product_definition); |
| REFERENCE FROM REPRESENTATION_SCHEMA - - ISO 10303-43 |
| (representation, |
| representation_item, |
| representation_item_relationship); |
| REFERENCE FROM SUPPORT_RESOURCE_SCHEMA (bag_to_set); - - ISO 10303-41 |
| (* |
Примечания
1 Схемы, ссылки на которые даны выше, определены в следующих стандартах комплекса ИСО 10303:
| product_data_quality_criteria_schema | - раздел 5 настоящего стандарта; |
| product_data_quality_definition_schema | - раздел 4 настоящего стандарта; |
| product_definition_schema | - ИСО 10303-41; |
| representation_schema | - ИСО 10303-43; |
| support_resource_schema | - ИСО 10303-41. |
2 Графическое представление схемы приведено на рисунке D.3, приложение D.
6.2 Основные принципы и допущения
В данной схеме предоставлена обобщенная спецификация для представления результатов проверки качества данных об изделии. Результаты проверки показывают уровень качества данных об изделии для конкретного экземпляра данных об изделии в соответствии с заданным критерием качества. Следовательно, в схеме предоставлены средства для указания проверяемого экземпляра данных об изделии и для установления связи с соответствующим заданным критерием качества.
Требования к результатам проверки зависят от сценария использования информации о качестве данных об изделии. Если передаются только требования к качеству или декларация об удовлетворительном качестве, то результаты проверки не требуются.
Примечание - Подробности о том, какой вид относящейся к качеству информации требуется для каждого из ожидаемых сценариев использования, приведены в приложении G.
Экземпляр объекта data_quality_inspection_result представляет результаты проверки, соответствующие строго одному критерию качества данных. Встречаются случаи, когда от программного обеспечения зависит, рассматривать или нет полученный результат проверки как дефект качества. В связи с этим в схеме предоставлены два объекта - с обоснованием и без обоснования.
Для представления полного результата проверки, соответствующего набору заданных критериев качества данных об изделии, в схеме предоставлен объектdata_quality_inspection_result_representation. Этот объект содержит коллекцию объектовdata_quality_inspection_results. Связь между первым и последним такая же, как между объектами representation и representation_item.
Существуют два типа отчетов о результатах проверки. Первый тип - это сводный отчет, показывающий проверенный критерий качества и содержащий описание результатов проверки без приведения подробной информации о величине дефекта и об объекте, вызвавшем дефект. Такая информация может использоваться для обоснования общего уровня качества предоставленных данных об изделии относительно одного критерия. Второй тип - это подробный отчет, в котором представлен результат проверки на уровне экземпляров объектов с целью показать, дефект какого типа вызывает конкретный экземпляр объекта и какова степень этого дефекта. Данная информация может быть использована для улучшения конкретного экземпляра данных.
Спецификации настоящей схемы являются достаточно обобщенными, поэтому они могут быть применены к представлению результатов проверки данных о любом свойстве изделия. В разделе 8 дано уточнение настоящей схемы применительно к данным о трехмерной форме изделия. В будущем также возможны уточнения настоящей схемы, позволяющие представлять результаты проверки данных о любых свойствах, отличных от трехмерной формы изделия.
6.3 Определение типа данных схемы результатов проверки качества данных
6.3.1 Тип данных statistical_value_type
Тип данных statistical_value_type (тип статистического значения) позволяет задать выбор статистического значения, которое будет использоваться в объектеdata_quality_inspection_criterion_report_item, определение которого дано в 6.4.6. Это - перечисляемый тип, имеющий два значения: NUMBER_OF_INSPECTED_INSTANCES иNUMBER_OF_QUALITY_DEFECTS_DETECTED.
EXPRESS-спецификация:
| *) |
| TYPE statistical_value_type = ENUMERATION OF |
| (NUMBER_OF_INSPECTED_INSTANCES, |
| NUMBER_OF_QUALITY_DEFECTS_DETECTED); |
| END_TYPE; |
| (* |
Определения элементов перечисляемого типа
NUMBER_OF_INSPECTED_INSTANCES - в объектеdata_quality_inspection_criterion_report_item будет представлено число проверенных экземпляров объектов;
NUMBER_OF_QUALITY_DEFECTS_DETECTED - в объектеdata_quality_inspection_criterion_report_item будет представлено число экземпляров объектов, в которых обнаружен дефект качества.
6.4 Определение объектов схемы результатов проверки качества данных
6.4.1 Объект data_quality_inspection_result_representation
Объект data_quality_inspection_result_representation представляет результаты проверки для заданного критерия качества данных об изделии для конкретного экземпляра данных об изделии. Объект data_quality_inspection_result_representation содержит один или более объектов data_quality_inspection_result, каждый из которых соответствует одному критерию.
EXPRESS-спецификация:
| *) |
| ENTITY data_quality_inspection_result_representation |
| SUBTYPE OF(representation); |
| criteria_inspected : data_quality_criteria_representation; |
| WHERE |
| WR1 : SIZEOF( QUERY( q <* SELF\representation.items| |
| 'PRODUCT_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.'+ |
| 'DATA_QUALITY_INSPECTION_RESULT IN TYPEOF(q))) > 0; |
| WR2 : SIZEOF(inspected_product_definition(SELF)) > 0; |
| END_ENTITY; |
| (* |
Определение атрибута
criteria inspected - критерии, для которых была выполнена проверка.
Формальные положения
По меньшей мере один экземпляр объекта типа representation_item из множества объектов, на которые имеются ссылки из объектаdata_quality_inspection_result_representation, должен быть экземпляром объекта типаdata_quality_inspection_result.
На экземпляр настоящего объекта должен ссылаться по меньшей мере один экземпляр объекта product_definition, определение которого дано в схеме product_definition_schema. Ссылка обеспечивается через экземпляр объекта data_quality_definition, определение которого дано в схеме product_data_quality_definition_schema.
6.4.2 Объект data_quality_inspection_result
Объект data_quality_inspection_result представляет результат проверки относительно одного заданного критерия.
EXPRESS-спецификация:
| *) |
| ENTITY data_quality_inspection_result |
| SUBTYPE OF(representation_item); |
| criterion_inspected : data_quality_criterion; |
| 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; |
| (* |
Определение атрибута
criterion inspected - объект data_quality_criterion, для которого была выполнена проверка.
Формальное положение
Экземпляр настоящего объекта не должен использоваться как элемент в объектеdata_quality_criteria_representation.
6.4.3 Объект data_quality_inspection_result_with_judgement
Объект data_quality_inspection_result_with_judgement - это подтип объектаdata_quality_inspection_result, содержащего информацию о том, какой была проверка критерия: удовлетворительной или неудовлетворительной.
EXPRESS-спецификация: