ГОС! Р ИСО 10303-203-2003
WHERE
wrl: (SIZEOF (QUERY <app <* approval |(NOT (SIZEOF (QUERY ( adt <*
approval dalc limc |(appadt.datcd_approval) )) = I)) ))
=
0
) ;
END_RULE; - - approvaIrequiresapprovaI datc_time
RULE approval_rcquinrs_approval_pcrson_organization FOR (approval,
approval_person_organizalion) ;
WHERE
wrl: (SIZEOF(QUERY ( app <* approval |(NOT (SIZEOF(QUERY ( apo <•
approval_person_organization |(app :*■: apo.
authorized_approval) )) >“ !)))) = 0);
END_RULE: - - approval_rcquircs_approval_pcrst)n organization
RULE approvals_are_assigncd FOR (approval. approval_assignmcnt);
WHERE
wrl: (SIZEOF (QUERY ( app <• approval |(NOT (SIZEOF(QUERY ( aa <•
approval_assignmcnt
j
(appaa.assigncd_approval) ))
>- 0) )) - 0);
END_RULE; - - approvals_arc_assigned
RULE as rcquircd quantitv FOR (mcasurc_wilh_unit);
WHERE
wrl: (SIZEOF(QUERY ( in <* mcasurc_with_unil |(<
,CONFIG_CONTROL_DESIGN.DESCRIPTIVE_MEASURE‘ IN TYPEOF(m.
valuc_componcnt)( AND (NOT (m.valuc_coroponcnt =
’asrequired’ ))) )) = 0);
END_RULE: - - as_rcquircd_quantity
RULE ccrti(lcation_rcquircs_approval FOR (certification. cc_dcsign_approval) ;
WHERE
wrl: (SIZEOF (QUERY <cert <* certification |(NOT (SIZEOR
QUERY (ccda <* cc_desdgn_approval |(cert IN ccda.itcms) )) ■= I)) )) = 0) ;
END_RULE; - - ccrtification_rcquires_approval
RULE ccrtification_rcquircs_datc_timc FOR (certification.
ce_design_datc_and_time_assignment):
WHERE
wrl: (SIZEOF(QUERY ( cert <* certification |(NOT (SIZEOF (
QUERY ( ccdta <* cc_design_date_and_time_assignment |(cert IN
ccdta.items) )) = 1)) )) = 0);
END_RULE: - - ccrtification rcquires date timc
RULE change_request_requircs approval FOR (change_rcqucst.
cc dcsign_approval);
WHERE
wrl: (SIZEOF(QUERY ( cr <* changc_requcM|(NOT ( SIZEOF (
QUERY ( ccda <* cc_design_approval |(cr IN ccda.itcms) )) = I» )) ™0 );
END_RULE: - - changc_rcqucst_rcquircs_approval
RULE changc_rcqucsl_rcquircs_datc_timc FOR (change_rcqucst.
cc_dcsign_datc_and_timc_assignmcnt);
WHERE
wrl: (SIZEOF(QUERY ( cr <* changc_rcqucst |(NOT (SIZEOF (
QUERY ( ccdta <* cc_dcsign_datc_and_timc_ass«gnment |(cr IN
ccdta.itcms) )) = !))))■ = 0):
END_RULE: - - change_request_rcquires_datc_limc
RULE change_rcqucst_requircs_pcrson_organization FOR (change_request,
cc_dcsign_person_and_organization_assjgnmcnt) ;
168