ГОСТ Р ИСО 10303-520—2007
(NOT (SIZEOF (QUERY (psa < *sty.styles |
(NOT (’AIC ASSOCIATIVE_DRAUGHTING_ELEMENTS.CURVE_STYLE’
IN TYPEOF(psa))))) = 1
)))) = 1)))
))=
0
;
END_ENTITY:
r.
Формальные утверждения
UR1 — наименование объекта draughting_model должно бытьуникальным.
WR1 — элементами объекта draughting_model должны быть mappedJtem. styledjtem. axis2_-
placoment или camera_model.
WR2 — если вобъектеdraughting_model содержитсяобъект mapped_item, тоисточником объек
та mappedJtem должен бытьобъект shape_reprosentation илидругой объект draughting_model.
WR3 — если объект mappedJtem имеет обозначение, то источником объекта mappedJtem дол
жен быть объект shape_reprosentation. а обозначение объекта mappedJtem должно быть объектом
curve_style.
4.2.4 Объектshape_aspect_associativity
Объект shape_aspect_associativity является подтипом объекта shape_aspect_relationship. свя
зывающим элементобъекта shape_representation с направленной или проекционной линией, которая
визуально привязывает информацию начертеже к элементу или к границе закрашенной области, кото
рая определяется элементом.
EXPRESS-спецификация
ENTITY shape_aspect_associativity
SUBTYPE OF (shape_aspect_relationship);
WHERE
WR1:SELF.relating_shape_aspect.product_definitional:
WR2: NOT (SELF.related_shape_aspect.product_definitional);
WR3: SIZEOF (QUERY (pd < * USEDIN (SELF. ’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.’ ♦
•PROPERTYJDEFINITION.DEFINITION’) |
NOT(SIZEOF (QUERY (sdr< *QUERY (pdr <* USEDIN (pd.
’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.’♦
’PROPERTY_DEFINITION_REPRESENTATION.DEFINITION’) |
(’AIC_ASSOClATIVE_DFtAUGHTING_ELEMENTS.SHAPE_DEFINITЮN_REPRESENTATION•
IN TYPEOF (pdr))) |
NOT (SIZEOF (QUERY (it< *sdr.used_representation.items |
NOT (’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.CURVE’IN TYPEOF(it))
AND
(SIZEOF (QUERY (aco < * USEDIN (it.
’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.STYLEDJTEM.ITEM’) |
SIZEOF (TYPEOF(aco)*
[’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.LEADER_CURVE\
’AIC_ASSOCIATIVE DRAUGHTING_ELEMENTS.PROJECTION_CURVE’]) = 1)) ♦
SIZEOF (USEDIN (it. ’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.’ +
‘ANNOTATION_FILL AREA.BOUNDARIES’)) > = 1)
))=
1
)
)) = 0)
))=0;
WR4: SIZEOF (QUERY (pd < * USEDIN (SELF. ’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.’ ♦
•PROPERTY DEFINITION.DEFINITION’) |
NOT(SIZEOF (QUERY (sdr < *QUERY (pdr < * USEDIN (pd.
•AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.’ +
’PROPERTY_DEFINITION_REPRESENTATION.DEFINITION’) |
CAIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.SHAPE_DEFINITION_REPRESENTATION’
IN TYPEOF (pdr))) |
6