ГОСТ Р ИСО/ТС 10303-1115-2013
представленного объектом product изделия, относящегося к категории ’collection’
(комплект).
EXPRESS-спецификация:
*)
RULE restrict_collection_category FOR
(product_definition);
LOCAL
collection_definitions: SET OF product_definition := (];
END_LOCAL;
collection_definitions := QUERY( pd <* product_definition |
SI2EOF( QUERY( pdca <* USEDIN( pd, ’PART_COLLECTION_MIM’ +
’.PRODUCT_DEFINITION_CONTEXT_ASSOCIATION.DEFINITION’) |
pdca.frame_of_reference.name= ’collection definition’)) > 0
);WHERE
WR1: SI2EOF(QUERY( pd <* collection_definitions | NOT
(’collection’ IN categories_of_proauct(pd.formation.of_proauct)) ))=
0;
END_RULE;
(*
Определение параметра
product_definition - набор всех экземпляров представляющего определение
изделия объекта productdefinition.
Формальное положение
WR1: Не должно существовать ни одного представляющего изделие объекта
product, на который ссылается атрибут "of product" представляющего версию изделия
объекта product_definition_formation, не являющегося ’collection’ (комплектом).
5.2.1.2 Правило restrict_product definitions_for collection
Правило restrict_product definitions for_collection накладывает ограничение
наименаэкземпляровпредставляющегоопределениеизделияобъекта
product_definition, когда они связываются посредством представляющего связь
определений изделия объекта product_definition_relationship с именем ’collection
membership’ (вхождение в комплект).
Имяпредставляющегоопределениесвязывающего изделияобъекта
product_definition должно быть ’part definition’ (определение детали). Кроме того, этот
13