ГОСТ Р ИСОГГС 10303-1345—2014
нием атрибута
framo_of_reference
которого является ’part definition (определение детали)’.
EXPRESS-слецификация.
*>
RULE restrict_product_defir.itior.s_for_paгt_defir.ition_relatior.ship
FOR
(product_definition_relationship);
WHERE
WR1: SI2EOF (QUERY (par <* proauct_definition_relationship |
(pdr.name IN [ ’geometrical relationship’ , ’definition replace
ment’
] ) AND ( (
pdr.relating_proauct_aefinition.frame_of_reference.name
O’part definition’ ) OR
(pdr.related_product_definition.frame_of_reference.name <>’part
definition’ ) ) ) ) =0;
END_RULE;
<*
Определение аргумента
product_definltion_rolationship - множество всех экземпляров объекта product_ dofini-
tion_relationship.
Формальное утверждение
WR1 - не должно существовать ни одного экземпляра объекта product_definition_ relationship,
атрибут name которого имеет значение ’geometrical relationship’ или ’definition replacement", который бы не
устанавливал отношение между двумя экземплярами объекта product_definition. наименованием
атрибута frame_of_reference которого является ’part definition’.
*)
END_SCHEMA; — Item_definition_structure_mim
<* ’
14