ГОСТР ИСО/ТС 10303-1112—2012
(’SPECIFICATION
_
CONTROL
_
MIM-PRODUCT
_
DEFINITION’
in
TYPEOF (cd.design
)) OR (cd.design\product
_
definition.frame
_
of
_
reference.name<>
’conceptual definition’)))) =0;
WR3: SIZEOF ( QUERY ( cd <* configuration
_
design |( cd.name IN
[■functionality’, ’realization’])AND ( NOT
(’SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
CLASS’ INTYPEOF
( cd.configuration.item
_
concept) ) ))) =0:
END
_
RULE;
r
Определение аргумента
configuration
_
design — множество всехэкземпляров объекта configuration
_
dosign.
Формальные утверждения
WR1 — недолжносуществовать ниодного экземпляра объекта configuration
_
design со значением
атрибута name ’functionality’ (функциональность), который не ссылается через атрибут dosign на объект
product
_
definftion. значением атрибута frame
_
of
_
reference которого является functional definition’(функ
циональное определение);
WR2— недолжносуществовать ни одного экземпляра объекта configuration
_
dosign созначением
атрибута name ’realization’ (реализация), который не ссылается через атрибут design на объект
product
_
definition, значением атрибута frame
_
of
_
reference которого является ’conceptual definition’(кон
цептуальное определение).
WR3 — недолжносуществовать ни одногоэкземпляра объекта configuration
_
design со значением
атрибута name ’realization’(реализация)или ’functionality’ (функциональность), который косвенно не ссыла
ется на атрибут item
_
conceptобъекта product
_
class.
5.2.3.5 Правило restrict
_
configuration
_
design
_
for
_
design
_
constraint
Правило restrict
_
configuration
_
design
_
for
_
design
_
constraintограничивает любой экземпляр объекта
configuration
_
dosign со значением атрибута name ’design constraint usage’ (применение конструктивного
ограничения) требованием к существованию ссылки черезатрибут design на объект product
_
definition,
значением атрибутаframe
_
of
_
roference которого является ’design constraint definition’ (определениеконст
руктивного ограничения).
П р и м е ч а н и е — Данное правило гарантирует правильное использование объекта configuration
_
design
для представления связи контекста конструктивного ограничения.
EXPRESS-спецификация:
*)
RULE restrict
_
configuratk>n
_
design
_
for
_
design
_
constraint FOR
(configuration
_
design):
WHERE
WR1: SIZEOF ( QUERY (cd <* configuration
_
design |(cd.name = ’design constraint usage’) AND
(NOT(’SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
DEFINITION’ INTYPEOF (
cd.design)) OR (cd.dosign\product
_
definition.frame
_
of
_
reference.name
<> ’design constraint definition’)))) = 0:
END
_
RULE;
C
Определение аргумента
configuration
_
design — множество всехэкземпляров объекта configuration
_
design.
Формальное утверждение
WR1 — недолжносуществовать ни одного экземпляра объекта configuration
_
design со значением
атрибута name’design constraint usage’(применениеконструктивногоограничения), который нессылается
черезатрибут design наобъект product
_
definition. значением атрибута framo
_
of
_
reforence которогояв
ляется ’design constraint definition’ (определение конструктивного ограничения).
5.2.3.6 Правило restrict
_
product
_
definitions
_
for
_
dosign
_
constraint
_
assoclation
Правило restrict
_
product
_
definitions
_
for
_
design
_
constraint
_
association ограничивает любой экзем
пляробъекта product
_
dofinition
_
relationship. имеющий наименование ’design constraint association’ (связь
конструктивного ограничения), требованием к наличию:
-атрибута relating
_
product
_
deflnition. который представлен объектом product
_
definition со значе
нием атрибута frame
_
of
_
reference ’design constraint definition’ (определение конструктивного ограничения);
27