ГОСТ Р ИСО 10303-517— 2009
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.’ +
’DRAUGHTING_PRE_DEFINED_COLOURl
*TYPEOF(sssc\surface_style_segmentation_curve.
style_of_segmentation_curve\curve_style.curve_co!our)) = 1)
AND
(’AIC_MECHANICAL_DESIGN_GEOMETRIC PRESENTATION.’ +
’POSITIVE_LENGTH_MEASURE’ INTYPEOF
(sssc\surface_style_segmentatjon_curve.
style_of_segmentation_curve\curve_style.curve_width))
AND (SIZEOF(
(’AlC MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.CURVE_STYLE_FONT\
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.’ +
’DRAUGHTING_PRE_DEFINED_CURVE_FONT’]
*TYPEOF(sssc\surface_style_segmentation_curve.
stylG_of_segmGntation_curvG\curve_style.curve_font)) = 1))))
=0)))= 0))) =0)))=0;
WR14: SIZEOF(QUERY(si <* QUERY(it <* SELF.items |
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.STYLED_ITEM’
IN TYPEOF(it)) | NOT (SIZEOF(QUERY(psa <* si\styled_item.styles |
NOT(SIZEOF(QUERY(ssu <* QUERY(pss <* psa.styles |
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.SURFACE_STYLE_USAGE’
INTYPEOF(pss)) | NOT (SIZEOF(QUERY(ssbd <* QUERY(sses <*
ssu\surfacG_stylG_usage.style\surface_sidG_slyle.styles |
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.’ +
’SURFACE
_
STYLE
_
BOUNDARr INTYPEOF(sses)) |
NOT ((’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.CURVE_STYLE’
INTYPEOF(ssbd\surface_style_boundary.style_of_boundary))
AND (SIZEOF(
[’AIC_MECHANICAL_DESIGN GEOMETRIC_PRESENTATION.COLOUR_RGB’.
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.’ +
’DRAUGHTING_PRE_DEFINED_COLOUR’]
* TYPEOF(ssbd\surface_sty1e_boundary.
style_of_boundary\ajrve_style.curve colour)) = 1)
AND
(*AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.’ +
’POSITIVE_LENGTH_MEASURE,INTYPEOF (ssbd\surface_style_boundary.
styte_of_boundary\curve_stylG.curve_width))
AND (SIZEOF{
[’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.CURVE_STYLE_FONT’.
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.’ +
’DRAUGHTING_PRE_DEFINED_CURVE_FONT’]
* TYPEOF(ssbd\surface_style_boundary.
style_of_boundary\curve_stylG.curvG_font)) = 1)))) = 0)))
= 0))) =0))) = 0;
END_ENTITY;
(‘
Формальныеутверждения
WR1 — каждый объект из множества items должен быть объектом styledjtem. mappedjtem,
axis2_placement или camera_model_d3.
WR2— объект mappcd_rcprosentation из representation_map, то есть объект mapping_source из
mappedjtem, в mechanical_design_geometric_presentation_representation должен быть представлен
объектом shape_representation или другим объектом mechanical_design_ geometric_presentation_
representation.
WR3— элемент styledjtem может быть только объектом mappedjtem. если уобъекта mappedjtem
атрибут mapped_representation является объектом shape_representation.
13