Побудовані моделі узагальненої конструкції неявного вибору між процедурами бізнес-процесах у вигляді логічних мереж. Надалі отримана модель забезпечить можливість побудови логічних мереж виявлення конструкцій неявного вибору, а також оцінки отриманих результатів
Ключові слова: бізнес - процес, процедура, логічна мережа, інтелектуальний ангаліз
□--------------------------------------□
Построены модели обобщенной конструкции неявного выбора между процедурами бизнес-процессах в виде логических сетей. В дальнейшем полученная модель обеспечит возможность построения логических сетей выявления конструкций неявного выбора, а также оценки полученных результатов Ключевые слова: бизнес - процесс, процедура, логическая сеть, интеллектуальный анализ
□--------------------------------------□
The models of the generalized construction of implicit choice between the procedures of business processes in the form of logical networks are constructed. In the future, the resulting model will provide the possibility of constructing the logical network design to identify implicitly the choice and evaluation of the results
Keyword: sbusiness - process, procedure, logical network intelligent analysis --------------------□ □-------------------------
УДК 65.012.23 + 519.766.2
ПРЕДИКАТНЫЕ МОДЕЛИ ПРЕДСТАВЛЕНИЯ НЕПРЯМЫХ СВЯЗЕЙ МЕЖДУ ПРОЦЕДУРАМИ В БИЗНЕС ПРОЦЕССАХ
Н.В. Гол я н
Ассистент* Контактный тел.: (057) 702-14-46 E-mail: [email protected] В . В . Г о л я н
Кандидат технических наук, доцент* Контактный тел.: (057) 702-14-46 *Кафедра "Программное обеспечение электронновычислительных машин”** С.С. Пелешенко Кафедра прикладной математики** **Харьковский национальный университет радиоэлектроники пр. Ленина, 14, г. Харьков, 61166 Контактный тел.: (057) 702-18-05
1. Введениие
Актуальность рассмотрения структуры и характеристик бизнес-процессов в контексте данной работы определяется необходимостью разработки эффективных методов интеллектуального анализа бизнес-процессов, в частности, методов выявления фрагментов таких процессов.
В настоящее время осуществляется переход к процессному управлению от традиционного функционального, что требует формализации существующих бизнес-процессов путем построения их иерархической структуры с использованием типовых фрагментов процессов. Следовательно, детализация структуры и характеристик бизнес-процессов является необходимым условием исследования и разработки методов интеллектуального анализа данных.
2. Постановка задачи
На основе рассмотренных ранее моделей типовых ситуаций неявного выбора детализуем основные особенности таких конструкций, и, на их основе построим модель обобщенной конструкции неявного выбора в виде логических сетей. В дальнейшем по-
лученная модель обеспечит возможность построения логических сетей выявления конструкций неявного выбора, а также оценки полученных результатов.
Следовательно, задача состоит в том, чтобы построить предикатную модель представления непрямых связей между процедурами в журнале регистрации событий бизнес-процесса.
3. Разработка предикатной модели представления непрямых связей между процедурами в журнале регистрации событий бизнес-процесса.
Структуризация схемы алгебро-логической модели обобщенной конструкции неявного выбора, представленной на рис. 1, позволяет сделать вывод о том, что она содержит в частности: причинноследственные связи между процедурами БП; неявные связи; возможность параллельного выполнения процедур; возможность циклического выполнения и т.п.
Исходя из того, что задачи интеллектуального анализа бизнес-процессов требуют нахождения взаимосвязи между моделью реального процесса и его «следом», зафиксированным в журнале регистрации событий, выделим основные структурные элементы конструкции неявного выбора.
э
Рис. 1. Обобщенная схема конструкции неявного выбора
во взаимодействии с другими фрагментами бизнес-процесса
Для такой структуризации предлагаются следующие классификационные признаки, охватывающие основные виды взаимодействия процедур бизнес-процесса:
- наличие явной связи между процедурами;
- параллельное либо независимое выполнение процедур БП;
- наличие неявной связи между процедурами БП.
К первой группе элементов конструкции неявного
выбора относятся:
- явная связь между процедурами, отраженная в виде их последовательного выполнения;
- конструкция цикла;
- цикл с заданием начальных действий перед его выполнением.
Ко второй группе относятся следующие структурные элементы:
- отсутствие связей между процедурами;
- параллельное выполнение процедур;
- наличие общей входной процедуры для заданной пары процедур бизнес-процесса;
- наличие общей выходной процедуры для заданной пары процедур бизнес-процесса.
К третьей группе относятся:
- непрямая связь между процедурами;
- неявная связь между процедурами;
Определим отражение указанных элементов обобщенной конструкции неявного выбора в журнале регистрации событий бизнес-процесса.
Явная последовательная связь между процедурами Р и р определяется следующим образом. Пусть в журнале регистрации событий G имеется кортеж с записями выполнении процедур Рь,р,Р^Рь вида:
Gk =< g1h,...,gj,...,gJm, gN >А с ад = Щ (1)
где записи g|,gJm свидетельствуют о выполнении процедур р и р при реализации бизнес-процесса;
1, т - номера записей о выполнении процедур в кортеже Gk, отражающие порядок его выполнения во времени.
Тогда процедуры р , р выполняются последовательно, если
^т^[ :(т> 1)л(т = 1 + 1) (2)
Связь, отражающую циклическое выполнение процедур, определим на основе последовательностей в журнале регистрации событий следующим образом.
Пусть в журнале регистрации событий G имеется кортеж Gk, с записями о последовательном выполнении процедур, вида:
Gk =< ...^і,...^т,.^,.. >А с ад=Щ (3)
Или, в случае начальных условий для процедуры Р , представленных в виде результатов выполнения предшествующей процедуры р :
Gk =< ...^і,...^т,.^,.^ >А с ад=Щ (4)
Здесь запись gі,...,gm,...gO свидетельствует о последовательном во времени выполнении процедур Р,Р,Р;
а,...^)т,...£,..£і (5)
о последовательном во времени выполнении процедур Р,РяРі,р
1, т, о, 8 - номера записей о выполнении процедур в кортеже, отражающие последовательность их выполнения во времени.
Тогда будем считать, что процедуры р^ выполняются циклически в при реализации процесса, если существуют такие записи в журнале операций, для которых выполняются условия:
Зgm,g^,gO:(m = 1 + 1,о = т +1) (6)
либо
Зgi,gm,gO,g8:(m -1 = э - о) (7)
Теперь формально определим группу структурных элементов, формализующих параллельное или независимое выполнение процедур бизнес-процесса. Для этого необходимо формально определить отсутствие прямой связи между процедурами Рі , р на основе данных из журнала регистрации событий.
Пусть в журнале регистрации событий G имеется кортеж Gk с записями о последовательном во времени выполнении процедур р , р вида:
Gk =<...^,...^т,... >,Gk с G,i,j = Щ (8)
где запись g| свидетельствует о выполнении процедуры р при реализации бизнес-процесса, а запись gm
- о выполнении процедуры р;
1, т - номера записей о выполнении процедур р , р в кортеже Gk, отражающие порядок его выполнения во времени.
Е
Тогда отсутствие прямой связи между процедурами р, р определим основе признака, отражающего последовательное появление рассматриваемых процедур в журнале регистрации событий:
^т^1 :(т > 1) л (т * 1 +1). (9)
Данный признак позволяет определить параллельное выполнение процедур р и р с одной общей входной процедурой рг следующим образом.
Пусть в журнале регистрации событий G имеется кортеж Gk с записями о последовательном во времени выполнении процедур р , р вида:
Gk =< ••^0,-^,"^."1?1,-^т,->А с ед = Щ (10)
Тогда процедуры р и р выполняются параллельно и имеют общую входную процедуру рг , результаты выполнения которой необходимы для их запуска, в том случае, если выполняются условия:
- отсутствия связи между процедурами р и р ,
^т^1: ((т > 1) л (т * 1 +1)) V ((1 > т) л (1 * т +1)) (11)
- последовательного либо циклического выполнения пар процедур рг и р, рг и р :
Эga :(((1 = г +1) V ((1 = г +1)) л (г = о +1) V
((т = г +1) V ((т = г +1) л (г = 1 +1))) (12)
Аналогично формализуем признак параллельного выполнения процедур р и р с общей выходной процедурой рг . Подмножество журнала регистрации событий Gk имеет следующий обобщенный вид:
Gk =< ••^0,-^,-^.-і?і,-^т,->А с ед = Щ (13)
Тогда при отображении в журнале операций параллельно выполняющихся процедур р и р , результаты которых передаются в процедуру рг , должны выполняться следующие условия:
Зgm,g^: ((т > 1)л(т * 1 +1)) V((1 > т)л(1 * т +1))
^ :(((г = о +1) V ((1 = г +1)) л (г = о +1)) V (14)
((г = 1 +1) V ((т = г +1) л (г = 1 +1)))
Формализуем признак параллельного выполнения процедур р и р для элементов журнала регистрации событий бизнес-процесса.
Параллельное выполнение предполагает истинность следующих условий:
- наличие в журнале регистрации событий записей о последовательном во времени выполнении процедур р и р , а также р и р ,
- отсутствие признаков циклического выполнения процедур р и р.
Тогда формально, согласно рассмотренным ранее условиям, должно выполняться выражение (14) и не должны выполняться условия (6, 7).
3gm,g^,g0,g^:((m = 1 +1) л (1 = о +1)) (15)
Приведенные выше определения структурных взаимосвязей между процедурами позволяют формально определить модель представления непрямой связи между процедурами.
Такая связь между процедурами р и р отличается следующими признаками:
- в журнале регистрации событий отражена последовательность выполнения процедур, включающая р и р , причем р выполняется ранее процедуры р , также между процедурами р и р выполняется ряд промежуточных процедур; иными словами не отражена непосредственная связь между процедурами р и р:
^т^1 :(т-1) > 1. (16)
- отсутствует циклического выполнения процедуры р либо рі на интервале выполнения ^1^) ;
(т-1 * з^^т^^^т^о^(17)
- процедуры, которые выполнялись между р и р , в рамках интервала ^і^т), не имеют общих входов с начальной процедурой р; иными словами для начальной процедуры р всегда , для которой условия (15, 16) не выполняются;
- процедуры, которые выполнялись между р и р , в рамках интервала ^^т) , не имеют общих выходов с конечной процедурой р ; иными словами, для конечной процедуры р всегда Эg{, для которой условие (17) не выполняется.
Полученная предикатная модель представления непрямой связи между процедурами в журнале регистрации событий бизнес-процесса позволит в дальнейшем обоснованно определить неявную связь и, на ее базе, разработать метод нахождения таких связей и содержащих их конструкций неявного выбора.
Таким образом, в данном подразделе рассмотрены признаки выделения структурных элементов ситуации неявного выбора в журнале регистрации событий бизнес-процесса, включая последовательное, параллельное выполнение, общие входные и выходные процедуры, независимое выполнение процедур бизнес-процесса.
Формализация таких признаков позволила построить предикатную модель неявной связи между процедурами.
Данная модель служит теоретической основой для разработки метода выделения ситуаций неявного выбора при анализе журнала регистрации событий бизнес-процесса.
Выводы
Получена алгебо-логическая модель обобщенной конструкции неявного выбора, которая формализует на основе предикатов явные связи между процедурами, независимое выполнение процедур, а также основные элементы неявных связей в виде последовательного, параллельного, циклического выполнения. Модель обеспечивает возможности для формализации представления таких элементов в журнале регистрации событий бизнес-процесса.
Получена предикатная модель представления непрямой связи между процедурами в журнале регистрации событий бизнес-процесса. Данная модель определяет последовательное во времени выполнение связанных непрямой связью процедур, причем для них характерно отсутствие непосредственной связи между процедурами, циклов, общих взаимосвязей по входу и выходу. Модель позволяет на основе анализа журнала регистрации событий бизнес-процесса выделить такое подмножество связей между процедурами, которое может содержать неявные связи.
Литература
1. Agrawal, R. Mining Process Models from Workflow Logs. R. Agrawal, D. Gunopulos, and F. Leymann.In Sixth International Co-
nference on Extending Database Technology, pages 469-483, 1998.
2. W.M.P. van der Aalst, Workflow Mining: A Survey of Issues and Approaches. [Текст]/ W.M.P. van der Aalst, B.F. van Dongen, J.
Herbst, L. Maruster, G. Schimm, and A.J.M.M. Weijters Data and Knowledge Engineering, 47(2):237-267, 2003.
3. A.K.A. de Medeiros, W.M.P. van der Aalst, and A.J.M.M. Weijters. Workflow Mining: Current Status and Future Directions. In R.
Meersman, Z. Tari, and D.C. Schmidt, editors, On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, [Текст]/ A.K.A. de Medeiros, W.M.P. van der Aalst, and A.J.M.M. Weijters.volume 2888 of Lecture Notes in Computer Science, pages 389 -406. Springer-Verlag, Berlin, 2003.
4. W.M.P. van der Aalst, Workflow Mining: Discovering Process Models from Event Logs. [Текст]/ W.M.P. van der Aalst, A.J.M.M.
Weijters, and L. Maruster. IEEE Transactions on Knowledge and Data Engineering, 16(9):1128-1142, 2004.
5. J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. [Текст]/ Cam-
bridge University Press, Cambridge, UK, 1995.-256 p.
6. M. Z. J.Q. Li, Timing constraint workflow nets for workflow analysis. [Текст]/ M. Z. J.Q., Y.S. Fan. IEEE Transactions on Systems,
Man, and Cybernetics, part A: Systems and Humans, 33(2):179-193, March 2003.
7. Бондаренко, М.Ф. Об алгебре предикатов [Текст]/ М.Ф. Бондаренко, Ю.П. Шабанов-Кушнаренко Проблемы бионики,
2004. - Вып. 1. - С. 00-00.
Е