ГОСТ Р ИСО/ТС 10303-1115-2013
объект product_definition должен иметь связанный с ним контекст определения с
именем ’collection definition’ (определение комплекта).
Имяпредставляющегоопределениесвязываемогоизделиеобъекта
product,definition должно быть ’part occurrence’ (наличие детали).
EXPRESS-спецификация:
*)
RULE restrict_product_definitions_for_collection FOR
(proauct_definition_relationship);
WHERE
WR1: SIZEOF ( QUERY ( pdr <* proauct_definition_relationship | (
pdr. name = ’collection membership’ ) AND ( (
pdr.relating_product_definition.frame_of_reference.nameo’part
definition’ ) OR (
pdr.related_proauct_definition.frame_of_reference.nameo’part
occurrence’ ) OR ( SIZEOF ( QUERY ( pdca <* USEDIN
(pdr.relating_product_definition , •PART_COLLECTION_MIM’ +■
’.PRODUCT_DEFINITION_CONTEXT_ASSOCIATION.DEFINITION’) | (
pdca.role.name = ’part definition type’ ) AND (
pdca.frame_of_reference.name = ’collection definition’ ) )) =0 ) ) )
) =
0
;
END_RULE;
<*
Определение параметра
product_definition_relationship - набор всех экземпляров представляющего
связь определений изделия объекта product_definition_relationship.
Формальное положение
WR1: Не должно существовать ни одного представляющего связь определений
изделия объекта product, definition_relationship с именем ’collection membership’
(вхождение в комплект), для которого экземпляр объекта product_definition,
представляющийопределениесвязываемогоизделиянеудовлетворяет
вышеупомянутым ограничениям.
*>
END_SCHEMA; -- Part_collection_mim
<*
14