ГОСТ Р ИСО 10303-504—2006
4.2 Определения объектов схемы aic_draughting_annotation
4.2.1 Объект annotation_subfigure_occurrence представляет собой группировку пояснений, ко
торая распознается как элемент рисунка.
EXPRESS-спецификация
*)
ENTITY annotation_subfigure_occurrence
SUBTYPE OF (annotation_symbol_occurrence);
WHERE
WR1: SIZEOF (QUERY (sty <* SELF.styles |
NOT (SIZEOF (sty.styles) = 1)
)> =
0
;
WR2: SIZEOF (QUERY (sty <* SELF.styles |
NOT (’AIC_DRAUGHTING_ANNOTATION.NULL_STYLE’
IN TYPEOF (sty.styles[1J)) ))=0;
WR3: (’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_SYMBOL’
IN TYPEOF (SELF.item)):
WR4: (’AIC_DRAUGHTING_ANNOTATION.DRAUGHTING_SUBFIGURE_REPRESENTATION’
IN TYPEOF
(SELF.item\mappedJtem.mapping_source.mapped_representation));
END_ENTITY;
r
Формальные утверждения
WR1 — объект annotation_subfigure_occurrence должен иметь точно один стиль.
WR2 — типом стиля должен быть null_style.
WR3 — элементом объекта annotation_subfigure_occurrence должен быть объект annotation_-
symbol.
WR4 — источником объекта annotation_subfigure_occurrence должен быть объект draughting_-
subfigure_representation.
4.2.2 Объект draughting_annotation_occurronce относится к типу annotation_occurrence. Он за
дает ограничения в пределах контекста чертежа.
П р и м е ч а н и е — Прикладной протокол, в котором используется данная ПИК. может обеспечить реализа
цию объекта annotatlon occurrence как объекта draughtlng_annotatlon_occurrence.
EXPRESS-спеиификация
E
*>
NTITY draughting_annotation_occurronce
SUBTYPE OF (annotation_occurrence);
WHERE
WR1:- кривая имеет стиль кривой:
(NOT (’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_CURVE_OCCURRENCE’
IN TYPEOF (SELF))) OR
(SIZEOF (QUERY (sty <* SELF.styles |
NOT ((SIZEOF (sty.styles) = 1)
AND (’AIC_DRAUGHTING_ANNOTATION.CURVE_STYLE’
IN TYPEOF (sty.styles[1]))))) = 0);
WR2:- область заполнения имеет стиль заполнения:
(NOT (’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_FILL_AREA_OCCURRENCE’
IN TYPEOF (SELF))) OR (SIZEOF (QUERY (sty <* SELF.styles |
NOT ((SIZEOF (sty.styles) = 1)
AND (’AIC_DRAUGHTING_ANNOTATION.FILL_AREA_STYLE’
IN TYPEOF (sty.styles{1 ]))))) = 0);
5