ГОСТ Р ИСО/ТС 10303-1109—2013
’alternative definition’)) о 1))= 0;
END_RULE;
(*
Определение аргумента
product_definition_formatlon-множествовсехэкземпляровобъектаproduct_
definition_formation.
Формальное утверждение
WR1-не должно существовать ниодногообъектаproduct_definition_formation,
соответствующего объекту product категории ’alternative solution’, на который бы не ссылался точно
один объект product_definition с атрибутом frame_of_reference. наименованием которого является
’alternative definition’.
5.2 2.2 Правило restrict_alternative_definition
Правило restrict_alternative_definition устанавливает ограничения, применяемые к экземплярам
объекта product_definition. которые ссылаются через атрибут frame_ of_reference с наименованием
’alternative definition’ на объект product_definition_ context.
EXPRESS-спеиификация:
*)
RULE restrict_alterr.ative_definition 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; SI2EOF (QUERY (pd <* solution_definitions | (SI2EOF (
QUERY (pdr <* USEDIN (pd , ’ALTERNATIVE_SOLUTION_MIM’ +
’.PRODUCT_DEFINITION_RELATIONSHIP.RELATED_PRODUCT_DEFINITION’
> I
pdr.name = ’solution alternative definition’ ) ) <>1 ) ) ) =
0;
WR2: SIZEOF (QUERY (pd <* solution_definitions |NOT (
pd.name
IN [’technical’ , ’supplier’ , ’technical supplier’ , ’’] ) )
) = 0;
(QUERY (pd
<* solution_definitions |
(pd.name
WR3: SIZEOF
IN
[’supplier’
, ’technical
supplier’] ) AND (SIZEOF
(QUERY (
aoa <*
USEDIN (pd.formation , ’ALTERNATIVE_SOLUTION_MIM’ +
’.APPLIED_ORGANIZATION_ASSIGNMENT.ITEMS’ ) |aoa.role.name =
’supplier’ )) <>1 ) )) =0;
END_RULE;
(*
Определение аргумента
product_dofinition - множество всех экземпляров объекта product_definition.
Формальные утверждения
13