˙
b
(1)
4
= ˙
b
(1)
4
?
a
1
˙
b
(1)
3
?
a
2
˙
b
(1)
5
?
a
2
˙
b
(1)
1
?
a
2
˙
b
(1)
4
?
a
1
,
˙
b
(1)
5
= ˙
b
(1)
3
?
a
1
,
!
a
1
= ˙
b
(1)
3
˙
b
(1)
1
˙
b
(1)
2
,
!
a
2
= ˙
b
(1)
4
˙
b
(1)
5
.
Относительно алгоритма 4 справедливы следующие утверждения,
принципы доказательства которых можно найти в работе [1]:
если
S
0
S
, то
P
(
S
∪
S
0
) =
P
(
S
)
;
если
S S
0
, то
P
(
S
∪
S
0
) =
P
(
S
0
)
;
если
S
0
6
=
S
и
S
∩
S
0
6
=
?
,
то
P
(
S
∪
S
0
) =
P
(
S
\
(
S
∩
S
0
))
|
P
(
S
0
\
(
S
∩
S
0
))
|
P
(
S
∩
S
0
)
;
если
S
0
6
=
S
и
S
∩
S
0
=
?
, то
P
(
S
∪
S
0
) =
P
(
S
)
|
P
(
S
0
)
.
Несмотря на очевидность этих утверждений, выводы, которые
можно сделать на их основе, имеют большое значение для практики.
Построение процесса
P
(
S
∪
S
0
)
можно рассматривать как расширение
процесса
P
(
S
)
. Процесс расширения может выполняться многократно
и при каждом очередном расширении может быть неизвестно, выпол-
няет ли уже процесс
P
(
S
)
множество
S
0
или его часть. Использование
алгоритма 4 для расширения процесса
P
(
S
)
дает ответ на вопрос, ре-
ализует ли процесс
P
(
S
)
это множество. Если реализует, то никакого
расширения процесса
P
(
S
)
не произойдет, он останется прежним.
Построение процесса
P
(
S
∪
S
0
)
можно также рассматривать как
расширение не всего процесса
P
(
S
)
, а некоторой его части (подпро-
цесса). В этом случае точнее говорить не о расширении, а об исполь-
зовании процесса
P
(
S
)
для выполнения нитей множества
S
∩
S
0
. Если
процесс
P
(
S
)
выполняет множество нитей
S
∩
S
0
, то его расширение
потребуется только для реализации множества
S
0
\
(
S
∩
S
0
)
. Расшире-
ние процесса
P
(
S
)
можно интерпретировать так же, как внесение в
него изменений. Эта процедура может носить итеративный диалого-
вый характер, применяя, например, алгоритм 4 последовательно для
каждой нити множества
S
0
.
В заключение раздела отметим, что если процесс
P
(
S
)
является не
полностью определенным, то требуются изменения в п. “б”, ориенти-
рованные на определенную стратегию доопределения.
Заключение.
Рассмотрены алгоритмы построения процессного
графа переходов и эквивалентных ему канонических процессных
выражений по множеству нитей, оптимизация канонических про-
цессных выражений и их модификация. Дальнейшему рассмотрению
подлежат вопросы композиции и декомпозиции взаимодействующих
и невзаимодействующих процессов, проверки правильности процес-
сов, преобразования процессов в целях удовлетворения определенным
78 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 4
