ГОСТР ИСО/ТС 10303-1112—2012
5.2.3 Определенно правил ИММ
В данном пункте определены правила ИММ для прикладного модуля «Управление конфигурацией с
помощьюспецификаций».
5.2.3.1 Правило breakdown
_
element
_
requlres
_
product
_
definition
Правило breakdown
_
eloment
_
requires
_
product
_
definition ограничивает любой экземпляробъекта
product
_
definition
_
formation, который представляет версию функционального или физического элемента,
требованием к наличию не менее одного надлежащегоопределения.
EXPRESS-спецификация:
•)
RULEbreakdown
_
element
_
requires
_
product
_
defmition FOR
(prod uct
_
defmitionjormation);
WHERE
WR1: SIZEOF ( QUERY ( pdf <* product
_
definition
_
formation |( SIZEOF (
QUERY ( prpc<* USEDIN (pdf.of
_
product,
’SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
RELATED
_
PRODUCT
_
CATEGORY.PRODUCTS’)|
prpc.name = ‘functionality*)) = 1 )AND ( SIZEOF { QUERY ( pd <* USEDIN
(pdf.’SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
DEFINITION.FORMATION’) |
pd.frame
_
of
_
reference.name =functional definition’)) <1))) =0;
WR2: SIZEOF (QUERY ( pdf <* product
_
definition
_
formation |( SIZEOF (
QUERY ( prpc <* USEDIN ( pdf.of
_
product,
•SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
RELATED
_
PRODUCT
_
CATEGORY.PRODUCTS’)|
prpc.name = ’conceptual design’)) = 1 )AND ( SIZEOF (QUERY ( pd <*
USEDIN (pdf.’SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
DEFINITION.FORMATION’)
|pd.frame
_
of
_
reference.name = ’conceptual definition’ )) <1))) = 0;
END
_
RULE;
(*
Определение аргумента
product
_
definition
_
formation — множество всех экземпляров объекта product
_
definitlon
_
formation.
Формальные утверждения
WR1 — налюбойобъект product
_
definition
_
formation, который представляет версию функциональ
ного элемента, должен ссылаться по крайней мере один объект product
_
dofinition. значением атрибута
frame
_
of
_
roferonce которого является functional definition’ (функциональное определение);
WR2 — налюбой объект product
_
definition
_
formation, который представляет версиюфизического
элемента, должен ссылаться по крайней мере один объект product
_
derinition. значением атрибута
frame
_
of
_
roference которого является ’conceptual definition’ (концептуальное определение).
5.2.3.2 Правило constraint
_
definition
_
requires
_
constraint
_
catogory
Правилоconstraint
_
definition
_
requires
_
constraint
_
catogory ограничивает любой экземпляробъек
та product
_
definition. значениематрибута frame
_
of
_
reference которогоявляется’design constraint definition’
(определениеконструктивного ограничения), требованием представления определения изделия категории
’requirement’ (требование).
EXPRESS-спецификация:
•)
RULEconstraint
_
definition
_
requires
_
constraint
_
category FOR
(product
_
defmition);
LOCAL
constraint
_
definitions: SET OF product
_
definition ;= Q.
END
_
LOCAL;
constraint
_
defmitions := QUERY( pd <* product
_
defmition |
(pd.frame
_
of
_
reference.name =’design constraint definition’));
WHERE
WR1: SIZEOF ( QUERY ( pd <* constraint
_
definitions | ( SIZEOF
(QUERY ( prpc <* USEDIN ( pd.formation.of
_
product.
■SPECIFICATION
_
CONTROL
_
MIM.PRODUCT
_
RELATED
_
PRODUCT
_
CATEGORY.PRODUCTS’)
|prpc. name = ’requirement’)) =0 ))) =0;
END
_
RULE;
r
25