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-спецификация:
*) |
ENTITY data_quality_inspection_result_with_judgement |
SUBTYPE OF(data_quality_inspection_result); |
judgement : BOOLEAN; |
END_ENTITY; |
(* |
Определение атрибута