ГОСТ Р ИСО/ТС 10303-1122—2014
EXPRESS-слецификация.
*)
ENTITY applied_document_usage_constraint_assignment
SUBTYPE OF (document_usage_constraint_assignmer.t);
items : SET[1:?] OF documer.t_reference_item;
END_ENTITY;
(*
Определение атрибута
items - данные об изделии или данные о действиях, для которых задается отдельная часть
документа.
5.2.2.3 Объект documont_product_equivalcnce
Объектdocumcnt_product_oquivalcnccявляетсяподтипомобъектаdocument_
product_association. С помощью этого объекта устанавливается равенство экземпляра объекта
product, представляющего изделие, экземпляра объекта product_definition. представляющего
определение изделия, или экземпляра объекта product_definition_ formation, представляющего
версию изделия, и экземпляра объекта document, представляющего документ.
EXPRESS-слецификация:
*)
ENTITY document_product_equivalence
SUBTYPE OF (document_product_associatior.) ;
WHERE
WR1: SELF\document_product_association.name = ’equivalence’;
WR2: NOT (’DOCUMENT_ASSIGNMENT_MIM.PRODUCT’ IN
TYPEOF(SELF\document_product_association.related_product)) OR
((SELF\document_product_association.relating_document.kind.product
_data_type = ’configuration controlled document’) AND
(SIZEOF(QUERY(prpc <*
USEDIN(SELF\document_product_association.related_product,
’PRODUCT_DEFINITION_SCHEMA.’ +
’PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS’) Iprpc.r.ame =
’document’)) = 1));
WR3: NOT (’DOCUMENT_ASSIGNMENT_MIM.PRODUCT_DEFINITION_FORMATION’
IN TYPEOF(SELF.related_product)) OR
((SELF\document_product_association.relating_document.kind.product
_data_type = ’configuration controlled document version’) AND
(SIZEOF(QUERY(prpc <*
USEDIN(SELF.reiated_product\product_definition_formation.of_produc
t,
’PRODUCT_DEFINITION_SCHEMA.PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUC
TS’) |prpc.name = ’document’)) = 1));
WR4: NOT (’DOCUMENT_ASSIGNMENT_MIM.PRODUCT_DEFINITION’ IN
TYPEOF(SELF.related_product)) OR
((SELF\document_product_association.relating_document.kind.product
_data_type = ’configuration controlled document definition’) AND
(SIZEOF(QUERY(prpc <*
USEDIN(SELF\document_product_association.related_product\product_d
efinition.formation.of_product,
’PRODUCT_DEFINITION_SCHEMA.PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUC
TS’) |prpc.name = ’document’)) = 1));
END_ENTITY;
<*
13