ГОСТ Р ИСО 10303-504—2016
4.4.3 Объект draughtlng_subfigure_reprosentatlon
Объект draughting_subfigure_representation является таким подтипом объекта symbol_repre-
scntation.
посредством которого собирается множество экземпляров объектов annotation_occurrence.
используемых для определения шаблона.
EXPRESS-слециФикация:
•)
ENTITY draughting_subfigure_representation
SUBTYPE OF (symbol_representation);
SELF\representation.items : SET’l:?] OF draughting_subfigure_representation_
item;
WHERE
WR1: SIZEOF (QUERY (item <* SELF\representation.items |SIZEOF C ‘AIC_
DRAUGHTING,.ANNOTATION.ANNOTATION_OCCURRENCE’, ’AIC_DRAUGHT1NG_ANNOTATION.
DRAUGHTING_CALLOUT’] • TYPEOF (item)» = 1)) >= 1;
WR2: SIZEOF (QUERY (srm
< •
QUERY (rm <* USEDIN (SELF, ’REPRESENTATIONSCHEMA.’
■» ’REPRESENTAT10N_MAP.MAPPED REPRESENTATION’) | (’AIC_DRAUGHTING.ANNOTATION.
SYMBOL_REPRESENTATION__MAP‘ IN TYPEOF(rm))) |NOT (SIZEOF (QUERY (a_s <A QUERY
(mi <* srm.map_usage | (’AIC_DRAUGHTING_ANNOTATION.ANNOTATIONSYMBOL’ IN
TYPEOF(mi})) |NOT (SIZEOF (QUERY (aso <* USEDIN (a_S, *PRESENTATION_APPEARANCE_
SCHEMA.’ * *STYLED_ITEM.ITEM’) |NOT (’AlC_DRAUGHTING_ANNOTATION.ANNOTATION
SUBFIGURE_OCCURRENCE’ IN TYPEOF(aso)))) = 0))) = 0)>) > 0;
WR3:SIZEOF (SELF.context_of_items.representations_in_context) = 1;
END_ENTITY;
{*
Определение атрибута:
Items - множество экземпляров подтипов объекта representationjtem. которые должны быть
экземплярами объектов annotation_occurrence, draughting_callout, или axis2_placement.
Формальные положения:
WR1. По меньшей мере, один объект, на который ссылается атрибут itoms объекта draughting_
subfigure_roprosentation, должен быть объектом типа annotation_occurrence или draughting_callout.
WR2. Объект draughting_subflgure_ropresontation. должен быть использован в определении,
по меньшей мере, одного использования шаблона, представленного объектом annotation_subfigure_
occurrence.
WR3. На представляющий контекст представления объект representation_ context, играющий
роль атрибута context_ofJtems объекта draughting_subfigure_ representation, не должны ссылаться
никакие другие объекты типа representation.
4.4.4 Объект draughting_symbol_ropresentation
Объект draughting_symbol_reprosentation является таким подтипом объекта symbol_reprosen-
tation, посредством которого собирается множество экземпляров объектов annotation_curve_occur-
rence, annotation_symbol_occurronce. annotation_ text_occurrence и annotation_fill_area_occur-
renco. используемых для определения символа условного обозначения.
EXPRESS-слециФикация:
•)
ENTITY draughting_symbol_representation
SUBTYPE OF (symbol_representation
) ;
SELF\representation.items r SET’l:?] OF draughting_symbol_representation_item;
UNIQUE
URl: name;
WHERE
WR1: SIZEOF (QUERY (item <* SELF\representation.items | (SIZEOF (TYPEOF (item)
* I’AIC_DRAUGHT1NG„ANN0TATION.ANNOTATION_CURVE_OCCURRENCE’, ’AIC_DRAUGHT1NG_
ANNOTATION.ANNOTATION_SYMBOL_OCCURRENCE’, ’AIC_DRAUGHTING_ANNOTATION.ANNOTATION
FILL_AREA_OCCURRENCE’, 1A1C_DRAUGHT1NG_ANN0TATI0N.ANNOTATION_TEXT_OCCURRENCE’]>
* 1) M >= 1?
10