В.В. Девятков, Мьо Тан Тун
6
процессных выражений, позволяющих легко переходить от графа к
этим выражениям и наоборот.
Так для графа переходов на рис. 1 каноническими процессными
выражениями, адекватными этому графу, будут следующие.
1
1 4 1
1 4 2
2 1 1
2 3 2,
3 2 1
3 2 2
4 1 2
4 3 1
1 1
2 2
3 3 4
? ,
? ,
? ,
? ,
?
? ,
? ,
? ,
? ,
!
,
!
,
!
.
b e
b b a
b b a
b b a
b b a
b b a
P b b a
b b a
b b a
a b
a b
a b b
В этих выражениях каждое внутреннее процессное выражение
вида
?
i
j
k
b b a
задает один переход из состояния
j
b
в состояние
i
b
в
результате восприятия ?
k
a
. Выражение
!
i
j
a b
задает реакцию !
i
a
после перехода процесса в состояние
j
b
.
Очевидно, что если исходным описанием процесса являются ка-
нонические процессные выражения, то переход от этих выражений к
графу переходов процесса и наоборот очевиден. Канонические про-
цессные выражения могут быть рекурсивными.
Простые процессные модели для отдельного брандмауэра.
В случае использования вместо списков управления доступом про-
цессных моделей восприятиями являются выражения ?
R
(
p
) или
?
notR
(
p
), которые будем записывать соответственно просто как ?(
p
)
или ?
not
(
p
), где
p
– пакеты
адресов. Внешними реакциями являются
выражения !
action
, где
action
– действие.
Пример простой списковой модели, взятый из статьи [3], показан
на рис. 2.
Простая процессная модель поведения брандмауэра, представ-
ленная каноническими процессными выражениями и соответствую-
щая простой списковой модели, показанной на рис. 2, представлена
на рис. 3.
