ГОСТ Р ИСО/ТС 10303-1109—2013
объекта product_definition типа ’alternative definition* требованием, что данный экземпляр является
определением объекта product категории ’alternative solution’.
Примечание-Данное правило соответствует ограничению альтернативных решений,
установленному правилом restrict_product_definition_context_for_product.
EXPRESS-спецификация:
*>
RULE solution_definition_requires_solution_category FOR
(product_definition);
LOCAL
solution_definitions: SET OF product_definition := [];
END_LOCAL;
solution_definitions := QUERY(pd <* product_definition
I
(pd.frame_of_reference.name = ’alternative
definition’>);
WHERE
WR1: SIZEOF(QUERY(pd <* solution_definitions | (SIZEOF(
QUERY(
prpc <* USEDIN(pd.formation.of_product,
’ALTERNATIVE_SOLUTION_MIM’
+ ’.PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS’> |prpc.name =
’alternative solution’)) = 0 ) )) = 0;
END_RULE;
(*
Определение аргумента
product_definition - множество всех экземпляров объекта product_definltion.
Формальное утверждение
WR1 - не должно существовать ни одного экземпляра объекта product_ definition с атрибутом
frame_of_referenco,имеющимнаименование’alternativedefinition’,которыйнеявляется
определением объекта product категории ’alternative solution’.
*>
END_SCHEMA; — Alternative_solution_mim
(*
15