ГОСТР ИСОЯС 10303-1112—2012
Определение аргумента
product
_
dofinition — множество всех экземпляров объекта product
_
definition.
Формальное утверждение
WR1 — недолжносуществовать миодного экземпляра объекта product
_
dofinition, значением атри
бута frame
_
of
_
reference которого является ’design constraint definition’ (определениеконструктивного огра
ничения), но который неявляется определениемизделия категории ’requirement1(требование).
5.2.3.3 Правилоdesign
_
constraint
_
roquiros
_
product
_
dofinition
Правило dosign
_
constraint
_
requires
_
product
_
dofinition ограничивает любой экземпляр объекта
product
_
definition
_
formation. определяющего изделие категории ’requirement1(требование), требованием к
наличию не менее одного надлежащегоопределения.
EXPRESS-спецификация:
*)
RULEdesign
_
constraint
_
requires
_
product
_
definition FOR
(product
_
definition formation);
WHERE
WR1: SIZEOF ( QUERY ( pdf <* product
_
definition
_
formation | ( SIZEOF
( QUERY ( prpc <* USEDIN ( pdf.of
_
product,
1SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
RELATED
_
PRODUCT
_
CATEGORY.PRODUCTS’)
|prpc.name = ’requirement’)) >0 )AND ( SIZEOF ( QUERY ( pd <*
USEDIN (pdf, SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
DEFINITION.FORMATION)
|pd.frame
_
of
_
reference.name =’design constraint definition’)) <1
))) =
0
: "
END
_
RULE;
r
Определение аргумента
product
_
definition
_
formation — множество всех экземпляровобъекта product
_
definition
_
formation.
Формальное утверждение
WR1 — на любой объект product
_
definitlon
_
formation.определяющий изделие категории ’requirement’
(требование), должен ссылаться по крайней мере один объект product
_
dofinition, значением атрибута
framo
_
of
_
referonce которогоявляется ’design constraint definition’ (определение конструктивного ограниче
ния).
5.2.3.4 Правило restrict
_
configuration
_
design
_
for
_
class
_
broakdown
_
association
Правило rostrict
_
configuration
_
design
_
for
_
class
_
breakdown
_
association ограничивает любой эк
земпляр объекта configuration
_
dosign, значением атрибута пате которого является functionality1(функци
ональность). требованием к существованию ссылки через атрибут design на объект product
_
deflnition,
значением атрибутаframo
_
of
_
reference которого является functional definition’ (функциональноеопреде
ление).
Данное правилотакже ограничивает любой экземпляр объекта configuration
_
dosign. значением ат
рибута name которого является ‘realization’ (реализация), требованием к существованиюссылки через ат
рибут dosign на объект product
_
definition, значением атрибута frame
_
of
_
reforence которого является
’conceptual definition1(концептуальное определение).
В обоих случаях атрибут item
_
concept. на который имеется косвенная ссылка, должен быть пред
ставлен объектом product
_
class.
EXPRESS-спецификация:
*)
RULE restnct
_
oonfiguration
_
design
_
for
_
class
_
breakdown
_
assodation FOR
(configuration
_
design);
WHERE
WR1: SIZEOF ( QUERY ( cd <* configuration
_
design |
( cd.name =’functionality’) AND ( NOT (
1SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
DEFINmON’ IN TYPEOF
(cd.design
))
OR
(cd.des»gn\product
_
definition.frame
_
of
_
reference.name<>
functional definition’)))) =0;
WR2: SIZEOF ( QUERY ( cd <• configuration
_
design |
( cd.name-realization’)AND ( NOT
26