ГОСТ Р ИСО 10303-59—2012
EXPRESS-специФикация:
’ )
TYPE statistical_value_type = ENUMERATION OF
(NUMBER_OF_INSPECTED_INSTANCES.
NUMBER_OF_QUALITY_DEFECTS_DETECTED):
END_TYPE;
r
Определения элементов перечисляемого типа
NUMBER_OF_INSPECTED_INSTANCES — вобъекте data_quality_inspectlon_criterion_report_item
будет представлено число проверенныхэкземпляров объектов;
NUMBER_OF_QUALITY_DEFECTS_DETECTED — в объекте data_quality_inspoction_criterion_
report_item будет представлено число экземпляров объектов, в которых обнаружен дефект качества.
6.4 Определение объектов схемы результатов проверки качества данных
6.4.1 Объект data_quality_inspoction_result_representation
Объект data_quality_inspoction_result_representation представляет результаты проверки для за
данного критерия качества данных об изделии для конкретного экземпляра данных об изделии. Объект
data_quality_inspection_resuJt_representation содержитодин или более объектов data_quality_ inspection_
result, каждый из которых соответствует одному критерию.
EXPRESS-специФикация:
*)
ENTITY data_quality_inspect>on_resuIt_representation
SUBTYPE OF(representation);
criteriaJnspected;data_quality_criteria_representation;
WHERE
W R1: SIZEOF( QUERY( q <* SELF\representation.items|
■PRODUCT_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.’ ♦
•DATA_QUALITY_INSPECTION_RESULr INTYPEOF{q))) >0;
W R2; SIZEOF(inspected_product_definition(SELF)) > 0;
END_ENTITY;
Г
Определение атрибута
criteriajnspected — критерии, для которых была выполнена проверка.
Формальные положения
По меньшей мере один экземпляр объекта типа ropresentationjtem из множества объектов, на
которые имеются ссылки из объекта data_quality_inspection_result_ropresontation.должен быть экзем
пляром объекта типа data_quality_inspection_result.
На экземпляр настоящего объекта должен ссылаться по меньшей мере один экземпляр объекта
product_definition. определение которого дано в схеме product_definition_schema Ссылка обеспечи
вается черезэкземпляр объекта data_quality_definition, определение которогодано всхеме product_data_
quality_definitlon_schema
6.4.2 Объект data_quality_inspection_result
Объект data_quality_inspection_rosult представляет результат проверки относительно одного задан
ного критерия.
EXPRESS-специФикация:
*)
ENTITY data_quality_inspection_result
SUBTYPE OF(representationJtem);
criterionjnspected; data_quality_criterion;
WHERE
W R1; SIZEOF(QUERY(q <* bag_to_set( USEDIN(SELF.
’REPRESENTATION_SCHEMA.REPRESENTATION.ITEMS’))
I’PRODUCT DATA_QUALITY_CRITERIA_SCHEMA>
•DATA_OUALITY_CRITERIA_REPRESENTATION’
INTYPEOF(q)))=0;
END_ENTITY;
(*
16