ГОСТ Р ИСО/ТС 10303-1345—2014
WHERE
WR1: SIZEOF{ QUERY (pdr <* product_definition_relatior.ship |
(pdr.name = ’definition replacement’) AND (SIZEOF( USEDIN(pdr,
’ITEM_DEFINITION_STRUCTURE_MIM.APPLIED_EFFECTIVITY ASSIGNMENT.ITEMS’)
)
= 0 ))) = 0;
END_RULE;
<*
"
Определение аргумента
product_dcfinition_relationship - множество всех экземпляров объекта product_ defini-
tion_relationship.
Формальное утверждение
WR1 - не должно существовать ни одного экземпляра объекта product_definition_ relationship,
атрибут name которого имеет значение ’definition replacement*, на который бы не ссылался через свой
атрибут items по крайней мере один экземпляр объектаapplied_effectivity_assignment.
5.2 2.2 Правило restrict_assembly_category
Правило restrict_assembly_category ограничивает любой экземпляр объекта product_ definition,
наименованием атрибута frame_of_referenco которого является ’assemblydefinition (определение
сборочной единицы)’, в том. что он должен быть определением изделия (объекта product), относящегося к
категории ’assembly (сборочная единица)’.
EXPRESS-cneundniKauHH:
*)
RULE restrictassemblycategory FOR
(product_definition) ;
LOCAL
assembly_defir.itions:SET OF product_defir.itior. := [J;
END_LOCAL;
assembly_definitions := QUERY(pd <* product_definition |
SIZEOF(QUERY(pdca <* USEDIN(pd,
’ITEM_DEFINITION_STRUCTURE_MIM.PRODUCT_DEFINITION_CONTEXT_
ASSOCIATION.DEFINITION’) |
pdca.frame_of_reference.r.ame= ’assembly definition’)) > 0
) ;
WHERE
WR1: SIZEOF( QUERY(pd <* assembiy_definitions INOT (’assembly’
IN
categories_of_product(pd.formation.of_product)) ))= 0;
END_RULE;
(*
Определение аргумента
product_dofinition - множество всех экземпляров объекта product_definition.
Формальное утверждение
WR1 - не должно существовать ни одного экземпляра объекта product_definition, наименова
нием атрибута frame_of_reference которого является ’assembly definition’, который бы не являлся опре
делением изделия (объекта product), относящегося к категории ’assembly’.
5.2.2.3 Правило restrict_product_definitions_for_part_definition_rolationship
Правило restrict_product_definitions_for_part_definition_relationship ограничивает любой эк
земпляр объекта product_dofinltion_relationship. атрибут пате которого имеет значение ’geometrical
relationship (геометрическое отношение)’ или ’definition replacement (замена определения)’, в том. что он
должен устанавливать отношение между двумя экземплярами объекта product_definition, наименова-
13