ГОС! Р ИСО 10303-203-2003
wrl: (SIZEOF(QUERY ( eff<* eftcctivity | (NOT (SIZEOF (
QUERY ( cola <* cc_design_approval! (clT IN ccda.items))) =
D )))" 0):
END_RULE: - - cffcctivityrequiresapproval
RLILE gcomctric_rcprcsentation_itcm_3d FOR
(gcomctric_represcntation_ilcm) :
WHERE
wrl: (SIZEOF(QUERY ( gri <* geomctric_rcprcscntation_item | (NOT ((
dimension_ol\gri) " 3) OR (SIZEOF(QUERY ( ur <*
using representations (gri) | (
’CON FlG_CONTROL_DESIGN.DEFINITIONAL REPRESENTATION’ IN TYPEOF (
ur)) )) > ()))) )) - 0);
END_RULE; - - geometric_reprcscntatk>n_itcm_3d
RULE global_unit_assignment FOR (global_unit_assigrred_context);
WHERE
wrl: (SIZEOF(QUERY ( guac <* global_unit_assign«l_context | (NOT (
SIZEOF(guac.units) = 3») )) = 0):
wr2: (SIZEOF(QUERY ( guac <* global_unit_assigncd_contcxt | (NOT ((
SIZEOF(QUERY ( u <* guac.units | (
’CONFIG_CONTROL_DESIGN.LENGTH_UNIT’ IN TYPEOF (u)) )) - I) AND
(SlZ£OF(QUERY ( u <* guac.units | (
CONFIG_CONTROL_DESIGN.PLANE_ANGLE_UNI Г IN TYPEOF <u)) )) - I)
AND (S!ZEOF(QUERY ( u <* guac.units | (
•CONFlG_CONTROL_DESIGN.SOLID_ANGLE_UNir IN TYPEOF <u)) ))
- I))))) “ 0):
END_RULE; - - globai_unit_assignmcnt
RULE no_shape_for_makc_from FOR (dcsign_makc_from_relationship) ;
WHERE
wrl: (SlZEOF(QUERY ( dmfr
<*
dcsjgn_make_from_rclationship | (NOT (
SIZEOF(QUERY ( pd <* USEDIN(dmfr.’CONFIG_CONTROL_DESIGN.* +
’PROPERTY_DEFINITION.DEFINITION’) | (
’CONFIG_CONTROL_DESIGN.PRODUCT DEFINNION_SHAPE’
IN TYPEOF(pd)) )) = 0)) )) “ 0);
END_RULE; - - no_shape_for_makc_from
RULE no_shape_for_supplicd_part FOR (supplied_part_rclationship) ;
WHERE
wrl: (SIZEOF(QUERY ( spr <* supplicd_part_rclationship | (NOT (SIZEOF (
QUERY ( pd <• USEDIN (spr. CONFIG_CONTROL_DESIGN.’ +
’PROPERTY_DEFINITION.DEFINITION’) | (
’CONFIG_CONTROL_DESIGN.PRODUCT DEFINNION_SHAPE‘
IN TYPEOF(pd)) )) - 0)) )) ~ 0);
END_RULE: - - no_shape_for_supplicd_part
RULE product_conccpl_rcquircs_configuralion_item FOR <producl_concept.
configuratiOn_item) ;
WHERE
wrl: (SIZEOF(QUERY ( pc <* product_conccpt | (NOT <SIZEOF<
QUERY ( ci
<*
configurationjlcm | (pc :=: ci.itcm_conccpt)))
>= 1)))) - 0);
END_RULE; -- product_conccpt_rcquircs_configuration_itcm
RULE product_dcfinition_rcquircs_ approval FOR (producl_definition,
cc dcsign_approval) ;
WHERE
wrl: (SIZEOF(QUERY ( pd <* product_dcfinition | (NOT (SIZEOF (
QUERY ( ccda <* cc_dcsign_approval | (pd IN ccda.itcms) ))
172