ГОСТ Р ИСО/ТС 10303-1109—2013
WR1 - на любой экземпляр объекта product_definition, который ссылается через свой атрибут
frame_of_reforence с наименованием ’alternative definition’ на объект product_definition_context.
должен ссылаться через атрибут related_product_ definition точно один экземпляр объекта
product_definition_relationship с наименованием ’solution alternative definition’.
П римечание - Данный экземпляр связывает объект Altemative_solution с атрибутом base_element.
для которого он задает альтернативную реализацию;
WR2 - у любого экземпляра объекта product_definition. который ссылается через свой атрибут
frame_of_referonce с наименованием ’alternative definition’ на объект product_definition_context.
атрибут пате должен иметь значение ’technical’, ’supplier, ’technical supplier1или
WR3 - любой экземпляр объекта product_definition. который ссылается через свой атрибут
frame_of_reference с наименованием ’alternative definition’ на объект product_definition_context и
имеет атрибут пате со значением ’supplier или ’technical supplier’, должен присутствовать среди
множества элементов точно одного объекта applied_organization_assignment. атрибут role которого
имеет значение ’supplier.
5.2.2.3 Правило restrict_product_definitions_for_base_element
Правилоrestrict_product_definltions_for_base_elementограничиваетнаименованиядвух
экземпляров объекта product_definition. если они связаны между собой с помощью объекта
product_definition_relationship с наименованием ’solution alternative definition’. Наименованием
первого объекта product_definition должно быть ’alternative definition’, ’functional definition’ или
’conceptual definition’. Наименованием второго объекта product_definition должно быть ’alternative
definition’.
П римечание - Данное правило соответствует ограничению на тип данных атрибута base_element.
EXPRESS-слсцификация-
*>
RULE restrict_product_definitions_for_base_element FOR
(product_definition_relationship);
WHERE
WR1: SI2EOF (QUERY (pdr <* product_definition_relatior.ship
I(
pdr. name = ’solution alternative definition’ ) AND (NOT(
pdr.
relating_product_defir.itior..frame_of_referer.ce.name IN [
’alternative definition’ , ’functional definition’ ,
’conceptual
definition’ J ) OR (
pdr .related_product_definition.frame_of_referen.ce.nameo’altern
ative
definition’ ) ) ) ) =0;
END_RULE;
(*
Определение аргумента
product_definition_re!ationship-множествовсехэкземпляровобъектаproduct_
defmition_relationship.
Формальноо утверждение
WR1 - не должно существовать ни одного экземпляра объекта product_ definition_relationship
с наименованием ’solution alternative definition’, для которого наименования экземпляров объектов
product_definition. между которыми он устанавливает связь, не соответствуют указанному выше
ограничению.
5.2 2.4 Правило solution_dofinition_requires_solution_category
Правило solution_dofinition_requires_solution_category ограничивает каждый экземпляр
14