ГОСТ Р ИСО 10303-59—2012
WR4: Объект shape_data_quality_inspection_instance_report_item. связанный с настоящим объек
том. не должен быть объектом типа instance_report_item_with_extreme_lnstances. поскольку указание в
отчете о проверке выходящих за пределы значений не имеет смысла.
WR5: Настоящий объект недолжен бытьсвязан посредством объектов shape_data_quality_criterion_
and_accuracy_association ни с какими элементами данных, задающими точность. Объект shape_data_
quality_inspoction_result. соответствующий настоящему объекту, также не должен связан быть посред
ством объекта shapo_inspection_result_accuracy_association с какими-либо элементами данных, задаю
щими точность.
7.5 Определение функций схемы критериев качества данных о форме
7.5.1 Функция validate_inspectod_elements_type
Функция validate_inspected_olements_type проверяет, содержатся ли типы объектов, играющих
роль атрибута inspected_elemonts объекта shape_data_quality_inspection_instance_roport_item, на ко
торый ссылается объект shape_data_quality_inspection_instance_report. соответствующий объекту
shape_data_quality_criterion. являющемуся входным параметром настоящей функции, в списке типов,
являющемся другим входным параметром настоящей функции. Если с заданным критерием не связан ни
один объект, то функция возвращает значение ’TRUE’. Функция выполняется следующим образом:
1) собрать все экземпляры объекта shapo_data_quality_inspection_instance_report_item. связан
ные посредством объектов shape_data_quality_inspoction_result и shape_data_quality_inspection_
instance_roport с объектом shape_data_quality_critorion. задаваемым в качестве входного параметра
настоящей функции;
2) проверить, точно ли соответствуют наименования типов объектов, играющих роль атрибута
inspected_elements во всех собранных экземплярах, именам типов из списка типов, данного в качестве
входного параметра настоящей функции.
EXPRESS-специФикация:
•)
FUNCTION validatcJnspected_elemonts_type
(ei:shape_data_quality_criterion;
type list:BAG OF STRING):LOGICAL:
LOCAL
sdqir: SET OF
SHAPE_DATA_QUALITY_INSPECTION_RESULT:=[]:
sdir: SET OF
SHAPE_DATA_QUALITY INSPECTION_INSTANCE_REPORT:=[]:
sdiri: SET OF
SHAPE_DATA_QUALITY_INSPECTION_INSTANCE_REPORT_ITEM:=[];
t_type_list:BAG OF STRING:=[]:
END_LOCAL,
--STEP—1
- - collect all shape_data_quality_inspection_instance_report_item
- - instances associated with the given shape_data_quality_criterion
- - via shape_data_quality_inspection_result and
- - shape_data_quality_inspection_instance_report
sdqir := QUERY(q <* bag_to_set(USEDIN(ei,
■PRODUCT_DATA_QUAUTY_INSPECTION_RESULT_SCHEMA.’+
■DATA_QUALITY_INSPECTION_RESULT>
’CRITERION INSPECTED’))!
’SHAPE_DATA_.QUALITYJNSPECTION_RESULT_SCHEMA>
•SHAPE_DATA_QUALITY_INSPECTION_RESULr
IN TYPEOF(q));
IF(SIZEOF(sdqir) =0) THEN
RETURN(TRUE):
ENDJF;
REPEAT i:= 1 TO SIZEOF(sdqir);
sdir := sdir +QUERY(q <* bag_to_set(USEDIN(sdqir[i),
137