ГОСТ РИСО/ТС 10303-1292—2012
interface_dofinition_con nection.
interface_definition_for,
product Jn_attachment_slot);
END_SUBTYPE_CONSTRAINT;
r
5.2.3 Опродолонио правила ИММ
Вданном подразделе определено правило ИММ для прикладного модуля «Информация об опреде
лении изделия по прикладному протоколу ПП239». Правило ИММ иегоопределение приведены ниже.
5.2.3.1 Правило ap239_prdi_restrict_product_category_for_product
Правило ap239_prdi_restrict_product_category_for_productобеспечивает существование объекта
product_related_product_catogory с именем ’assembly’, ’attachment stot1.’breakdown’, ’breakdown element’,
’conceptual product1,’detail*,’document’, ’envelope’, ’functionalbreakdown’, functionality’,’hybridbreakdown’, ’hybrid
element’, ’interface connector*, ‘interface specification’, ’justification’, ’message’, ’part*, ’physical breakdown’,
’physically realizedproduct’,’prototypepart*,’raw material’, ’requirement1,’spare part’, ’standard’, ’system breakdown’,
’system element*, ’tool’, "zone breakdown’ или ’zone element*для каждого объекта product.
EXPRESS-специФикация:
•)
RULEap239_prdi_restrict_product_category_for_product FOR (product),
WHERE
WR1: SIZEOF(QUERY(p <* product | SIZEOF(QUERY(prpc <* USEDIN(p.
’AP239_PRODUCT_DEFINITION_INFORMATION_MIM.*+
’PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS’) |prpc.name IN
fassembly’, ’attachment slot’, ’breakdown’, ’breakdown element’,
’conceptual product", ’detail’, ’document’, ’envelope’, ’functional
breakdown’, ’functionality1, ’interfaceconnector*, ’interface
specification1,’justification’, ’message’, ’part’, ’physical
breakdown’, ’physically realized product1, ’prototype part’, ’raw
material’, ’requirement’, ’spare part1,’standard’, ’system
breakdown’, ’systemelement1, ’tool’, ‘zone breakdown’, ’zone
element’])) <> 1)) = 0;
END_RULE;
(*
Определение аргумента
product— множество всехэкземпляров объекта product.
Формальное утверждение
WR1 — на каждый экземпляр объекта product должна существовать ссылка от объекта
product_related_product_category с именем ’assembly1, ’attachment slot’, ’breakdown’, ’breakdown element’,
’conceptual product1,’detail*,’document*, ’envelope’, ’functionalbreakdown’, functionality*, ’hybridbreakdown’,’hybrid
element’, ’interface connector*, ’interface specification’, rjustification\ ’message’, ’part’, ’physical breakdown’,
■physicallyrealizedproduct’.’prototype part*,’raw material’, ’requirement1,’spare part, ’standard’, ’system breakdown’,
’system element’,’tool’, ’zone breakdown’ или ’zone element’.
•)
END_SCHEMA; - - Ap239_product_definition„information mim
Г
108