Preview

Моделирование и анализ информационных систем

Расширенный поиск

Использование журналов событий для локальной корректировки моделей процессов

https://doi.org/10.18255/1818-1015-2017-4-459-480

Полный текст:

Аннотация

В ходе жизненного цикла информационной системы (ИС) ее реальное поведение может перестать соответствовать исходной модели системы. Между тем для поддержки системы очень важно иметь актуальную модель, отражающую текущее поведение системы. Для корректировки модели можно использовать информацию из журнала событий системы. Журналы событий процессно-ориентированных информационных систем содержат запись истории исполнения поддерживаемых процессов в виде более или менее детальных списков событий. Такие журналы, как правило, записываются всеми современным ИС. Эта информация может использоваться для анализа реального поведения ИС и ее усовершенствования. В работе рассматривается задача корректировки (исправления) модели процесса на основе информации из журнала событий. Исходными данными для этой задачи являются первоначальная модель процесса в виде сети Петри и журнал событий. Результатом корректировки должна быть новая модель процесса, лучше отображающая реальное поведение ИС, чем исходная модель. Актуальная модель может быть построена и полностью заново, например, с помощью одного из известных алгоритмов автоматического синтеза модели процесса по журналу событий. Однако структура исходной модели при этом может полностью измениться. Полученную модель будет трудно сопоставить с прежней моделью процесса, что затруднит ее понимание и анализ. Поэтому при корректировке модели важно по возможности сохранить ее прежнюю структуру. Предлагаемый в настоящей работе алгоритм корректировки модели основан на принципе «разделяй и властвуй». Исходная модель процесса декомпозируется на фрагменты. Для каждого из фрагментов проверяется, соответствует ли он актуальному журналу событий. Фрагменты, для которых выявлены несоответствия, заменяются на заново синтезированные. Новая модель собирается из фрагментов путем слияния переходов. Проведенные эксперименты показывают, что наш алгоритм корректировки дает хорошие результаты, если применяется для исправления локальных несоответствий. Работа содержит описание алгоритма, формальное обоснование его корректности, а также результаты экспериментального тестирования на искусственных примерах. 

Об авторах

Алексей Александрович Мицюк
Национальный исследовательский университет «Высшая школа экономики»
Россия
науч. сотр., лаборатория ПОИС


Ирина Александровна Ломазова
Национальный исследовательский университет «Высшая школа экономики»
Россия
д-р физ.-мат. наук, профессор, лаборатория ПОИС


Вил М.П. ван дер Аалст
Технический университет Эйндховена (TU/e)
Нидерланды
профессор, группа «Архитектура информационных систем»


Список литературы

1. van der Aalst W. M. P., “Decomposing Process Mining Problems Using Passages”, Lecture Notes in Computer Science, 7347, Springer-Verlag, 2012, 72–91.

2. van der Aalst W. M. P., “Decomposing Petri Nets for Process Mining: A Generic Approach”, Distributed and Parallel Databases, 31:4 (2013), 471–507.

3. van der Aalst W. M. P., Process Mining — Data Science in Action, Second Edition, Springer, 2016.

4. van der Aalst W. M. P., Adriansyah A., van Dongen B. F., “Replaying History on Process Models for Conformance Checking and Performance Analysis”, WIREs Data Mining and Knowledge Discovery, 2 (2012), 182–192.

5. van der Aalst W. M. P., Bolt A., van Zelst S. J., “RapidProM: Mine Your Processes and Not Just Your Data”, CoRR, abs/1703.03740 (2017).

6. van der Aalst W. M. P., Kalenkova A. A., Rubin V. A., Verbeek H. M.W., “Process Discovery Using Localized Events”, LNCS, 9115, Springer, 2015, 287–308.

7. van der Aalst W. M. P, Weijters A. J. M. M., Maruster L., “Workflow Mining: Discovering Process Models from Event Logs”, IEEE Transactions on Knowledge and Data Engineering, 16 (2004), 1128–1142.

8. Adriansyah A., Aligning observed and modeled behavior, Ph.D. Thesis, Technische Universiteit Eindhoven, 2014.

9. Begicheva A. K., Lomazova I. A., Does Your Event Log Fit the High-level Process Model? Modeling and Analysis of Information Systems, 22:3 (2015), 392–403.

10. Begicheva A. K., Lomazova I. A., “Discovering High-Level Process Models from Event Logs”, Modeling and Analysis of Information Systems, 24:2 (2017), 125–140.

11. Buijs J. C. A. M., van Dongen B. F., van der Aalst W. M. P., “On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery”, On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012 (Rome, Italy, September 10-14, 2012), Proceedings, Part I, 2012, 305– 322.

12. Buijs J. C. A. M., La Rosa M., Reijers H. A., van Dongen B. F., van der Aalst W. M. P., “Improving Business Process Models Using Observed Behavior”, LNBIP, 162, SpringerVerlag, Berlin, 2013, 44–59.

13. Burattin A., Maggi F. M., Sperduti A, “Conformance checking based on multi-perspective declarative process models”, Expert Syst. Appl., 65 (2016), 194–211.

14. Dijkman R. M., Dumas M., Garcia-Banuelos L., “Graph matching algorithms for business process model similarity search”, Lecture Notes in Computer Science, 5701, 2009, 48–63.

15. van Dongen B. F., Carmona J., Chatain T., “A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments”, Lecture Notes in Computer Science, 9850, Springer, 2016, 39–56.

16. Fahland D., van der Aalst W. M. P., “Repairing Process Models to Reflect Reality”, Lecture Notes in Computer Science, 7481, Springer-Verlag, 2012, 229–245.

17. Fahland D., van der Aalst W. M. P., “Model repair - Aligning process models to reality”, Inf. Syst., 47 (2015), 220–243.

18. Fahland D., van der Aalst W. M. P., “Simplifying discovered process models in a controlled manner”, Inf. Syst., 38:4 (2013), 585–605.

19. Gambini M., La Rosa M., Migliorini S., Ter Hofstede A. H. M., “Automated Error Correction of Business Process Models”, Lecture Notes in Computer Science, 6896, Springer, 2011, 148–165.

20. G¨unther C.W., van der Aalst W. M. P., “Fuzzy mining: Adaptive process simplification based on multi-perspective metrics”, BPM, Lecture Notes in Computer Science, 4714 (2007), 328–343.

21. Hompes B. F. A., On Decomposed Process Discovery: How to Solve a Jigsaw Puzzle with Friends, Master’s Thesis, Technische Universiteit Eindhoven, 2014.

22. Hompes B. F. A., Verbeek H. M.W., van der Aalst W. M. P., “Finding suitable activity clusters for decomposed process discovery”, SIMPDA 2014, 1293 (2014), 16–30.

23. Kalenkova A. A., Lomazova I. A., van der Aalst W. M. P., “Process Model Discovery: A Method Based on Transition System Decomposition”, Application and Theory of Petri Nets and Concurrency, Proceedings of 35th International Conference, PETRI NETS 2014, Lecture Notes in Computer Science, 8489, Springer, 2014, 71–90.

24. Leemans S. J. J., Fahland D., van der Aalst W. M. P., “Discovering Block-Structured Process Models from Incomplete Event Logs”, Lecture Notes in Computer Science, 8489, Springer, 2014, 91–110.

25. Leemans S. J. J., Fahland D., van der Aalst W. M. P., “Scalable Process Discovery with Guarantees”, LNBIP, 214, Springer, 2015, 85–101.

26. Mans R., van der Aalst W. M. P., Verbeek H. M.W., “Supporting Process Mining Workflows with RapidProM”, Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), CEUR-WS.org, 2014, 56–60.

27. Мицюк А. А., Шугуров И. С., “Синтез моделей процессов по журналам событий с шумом”, Моделирование и анализ информационных систем, 21:4 (2014), 181–198

28. Mitsyuk A. A., Lomazova I. A., Shugurov I. S., van der Aalst W. M. P., “Process Model Repair by Detecting Unfitting Fragments”, Supplementary Proceedings of AIST 2017, CEUR-WS.org, 2017.

29. Mu˜noz-Gama J., “Conformance Checking and Diagnosis in Process Mining — Comparing Observed and Modeled Processes”, LNBIP, 270 (2016).

30. Mu˜noz-Gama J., Carmona J., van der Aalst W. M. P., “Single-Entry Single-Exit Decomposed Conformance Checking”, Inf. Syst., 46 (2014), 102–122.

31. Polyvyanyy A., van der Aalst W. M. P., ter Hofstede A. H. M., Wynn M. T., “Impact-driven process model repair”, ACM Transactions on Software Engineering and Methodology (TOSEM), 25:4 (2017), 28:1–28:60.

32. de San Pedro J., Carmona J., Cortadella J., “Log-based simplification of process models”, BPM, Lecture Notes in Computer Science, 9253 (2015), 457–474.

33. Шершаков С. А., “Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов”, Моделирование и ана- лиз информационных систем, 21:5 (2014), 102–115

34. Shugurov I. S., Mitsyuk A. A., “Iskra: A Tool for Process Model Repair”, Proceedings of the Institute for System Programming of the Russian Academy of Sciences, 27:3 (2015), 237–254.

35. Shugurov I. S., Mitsyuk A. A., “Applying MapReduce to Conformance Checking”, Proceedings of the Institute for System Programming of the Russian Academy of Sciences, 28:3 (2016), 103–122.

36. Shugurov I. S., Mitsyuk A. A., “Generation of a Set of Event Logs with Noise”, Proceedings of the 8th Spring/Summer Young Researchers Colloquium on Software Engineering (SYRCoSE 2014), 2014, 88–95.

37. Verbeek H. M.W., Buijs J. C. A. M., van Dongen B. F., van der Aalst W. M. P., “ProM 6: The Process Mining Toolkit”, Proc. of BPM Demonstration Track 2010, 615, CEURWS.org, 2010, 34–39.

38. Verbeek H. M.W., “Decomposed Process Mining with Divide And Conquer”, BPM 2014 Demos, 1295 (2014), 86–90.

39. Verbeek H. M.W., van der Aalst W. M. P., Mu˜noz-Gama J., “Divide and Conquer: A Tool Framework for Supporting Decomposed Discovery in Process Mining”, The Computer Journal, 08.05.2017. https://doi.org/10.1093/comjnl/bxx040.

40. Weber I., Rogge-Solti A., Li C., Mendling J., “CCaaS: Online Conformance Checking as a Service”, BPM 2015 Demos, 1418 (2015), 45–49.

41. van derWerf J. M. E. M., van Dongen B. F., Hurkens C. A. J., Serebrenik A., “Process Discovery using Integer Linear Programming”, Fundam. Inform., 94 (2009), 387–412.

42. Weijters A. J. M. M., Ribeiro J., Chawla N., “Flexible Heuristics Miner”, IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), 2011, 310–317.


Для цитирования:


Мицюк А.А., Ломазова И.А., ван дер Аалст В. Использование журналов событий для локальной корректировки моделей процессов. Моделирование и анализ информационных систем. 2017;24(4):459-480. https://doi.org/10.18255/1818-1015-2017-4-459-480

For citation:


Mitsyuk A.A., Lomazova I.A., van der Aalst W. Using Event Logs for Local Correction of Process Models. Modeling and Analysis of Information Systems. 2017;24(4):459-480. (In Russ.) https://doi.org/10.18255/1818-1015-2017-4-459-480

Просмотров: 511


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)