Интеллектуальный анализ выполнения бизнес-процессов в системе электронного документооборота. Матвейкин В.Г - 37 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

4.2. ОПРЕДЕЛЕНИЕ ТЕРМИНОВ
Определим понятие журнала выполнения бизнес-процесса. Пусть
...},,,{ CBAT =
– множество задач бизнес-процесса,
тогда нумерованный список элементов этого множества мы будем называть последовательностью (или следом), обозначае-
мой как
)...(
21 n
α→→α→αα
. Некоторое множество последовательностей L мы будем называть журналом выполнения
автоматизированного бизнес-процесса.
Помимо приведенного определения журнала выполнения автоматизированного бизнес-процесса в работе потребуется
понятие подпоследовательности. Последовательность
α
является подпоследовательностью
β
(обозначается как
βα
)
тогда и только тогда, когда существуют числа
n
iii <<< ...
21
такие, что
ii
β=α
для всех
j
α
.
Для алгоритма восстановления комплексных МАБП понятие комплексной WF-модели является ключевым.
Определение 1. Пусть
P
– это процесс. Комплексная WF-модель для
P
определяется как
)(PWS
– множество
}...,,{
1 m
WSWS
WF-моделей для
P
. Размер
)(PWS
определяется как
– количество WF-моделей, содержащихся в
ней.
Заметим также, что если последовательность в журнале принадлежит некоторой модели из множества комплексной
схемы, то она также принадлежит и комплексной WF-модели.
Определение 2. Пусть дан след
s
журнала
L
, тогда WF-модель
)(sI +α=
(где
+α
– альфа плюс алгоритм ван-дер-
Аальста) будем называть экземпляром.
Во многих исследованиях, даже несмотря на различия используемого в них синтаксиса, подразумевается (хоть и не ука-
зывается явно), что локальные ограничения бизнес-процессов могут быть выражены с использованием трех функций
IN
,
min
OUT
и
max
OUT
, сопоставляющих каждому узлу число:
•
);()(0},{
0
aInDegreeaINaAa <<−∈∀
•
);()()(0,
maxmin
aOutDegreeaOUTaOUTFAa
≤≤<−∈∀
•
0)(
0
=aIN
и
,0)()(,
maxmin
==∈∀
aOUTaOUTFa
где
,|)},({|)( abeaInDegree ==
|)},({|)( b
aeaOutDegree ==
и
Ee∈
.
Задача
a
может стартовать тогда, когда как минимум
)(aIN
ее предшественников были завершены. Две типичные си-
туации: (1) если
)()( aInDegreeaNI =
, тогда
a
является and-join задачей, которая может быть выполнена только тогда, когда
все ее предшественники были выполнены, и (2) если
1)( =aIN
, тогда
a
является or-join задачей, которая может быть вы-
полнена если хотя бы одна из ее предшественников была выполнена. После завершения задача
a
может запустить одно не-
пустое множество исходящих дуг с мощностью между
)(
min
aOUT
и
)(
max
aOUT
. Если
)()(
max
aOutDegreeaOUT =
, тогда
a
называется full-fork, если
)()(
maxmin
aOUTaOUT =
, тогда
a
называется and-split , которая активирует все ее последующие
задачи. Итак, если
1)(
max
=aOUT
, тогда
a
называется xor-split.
Выше были описаны локальные ограничения, однако в моделях существуют и глобальные ограничения. Глобальные ог-
раничения в отличии от локальных отображают отношения между задачами не обязательно связанными друг с другом по-
средством дуг. Такие ограничения богаче по своей природе и из представление зависит от частной прикладной задачи моде-
лируемого бизнес-процесса. Часто они выражаются с использованием сложного формализма. Как пример глобального огра-
ничения в процессе на рис. 10
mf ¬→
показывает, что если задача
f
была выполнена, то задача
m
не может быть выпол-
нена. В контексте предложенной примерной модели бизнес-процесса это означает, что если был зарегистрирован новый кли-
ент, то к его заказу не может быть начислена скидка.
Пусть даны множества глобальных (
)(
PC
G
) и локальных (
)(
PC
L
) ограничений для процесса
P
. Допустим дан подграф
исходной WF-модели для процесса
P
–
I
, а также дано ограничение
)()( PCPCc
GL
∪∈
, мы записываем
cI =|
, если
I
удовлетворяет
c
. Более того, если
cI =|
для всех
c
в
)()( PCPC
GL
∪
и содержит стартовую задачу
0
a
и конечную задачу
из
F
, тогда
I
называется экземпляром процесса
P
.
Обычно журналы записываются посредством следов. Длина следа обозначается как
)(slenght
, а множество всех задач в
следе обозначим через
)(1
][)(
slenghti
isstastks
≤≤
=
. Тогда журнал для процесса
P
, обозначаемый как
P
L
, будет мультимно-
жеством следов:
]|[
*
AssL
P
∈=
.
Пусть дан след
s
в журнале
P
L
,
P
– процесс и
I
экземпляр этого процесса. Тогда
s
соответствует процессу
P
по-
средством
I
, обозначается через
sP
I
=|
, т.е. в
s
содержатся задачи из
I
A
, таким образом, что каждая
I
Eba ∈),(
,
ji <
где
ais =][
и
bjs =][
. Более того
s
является совместимой с
P
, обозначаемой как
sP =|
, если существует
I
с
sP
I
=|
. Итак,
ослабленная формулировка соответствия, которая не полагается на существовании экземпляра
I
, может быть определено
как
sP
.

Страницы