maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2015-3-392-403mais-258Research ArticleОригинальные статьиArticlesСООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА?DOES YOUR EVENT LOG FIT THE HIGH-LEVEL PROCESS MODEL?БегичеваА. К.BegichevaA. K.

Бегичева Антонина Константиновна, Научно-учебная лаборатория ПОИС, стажер-исследователь 

akbegicheva@edu.hse.ruЛомазоваИ. А.LomazovaI. A.

Ломазова Ирина Александровна, доктор физико-математических наук, профессор

ilomazova@hse.ruНациональный Исследовательский Университет «Высшая Школа Экономики», МоскваРоссияNational Research University Higher School of Economics, MoscowRussian Federation201520062015223392403Copyright © Бегичева А.К., Ломазова И.А., 20152015Бегичева А.К., Ломазова И.А.Begicheva A.K., Lomazova I.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/258

Process mining – это технология, которая посредством извлечения данных из журнала событий предоставляет различные методы для исследования реального процесса, его улучшения и контроля над ним. В данной статье мы рассматриваем проблему проверки соответствия между высокоуровневой моделью процесса и журналом событий. Проверка соответствия интенсивно изучается в рамках process mining, но в литературе можно найти только методы, позволяющие измерить этот показатель между логом и моделью одного уровня. В статье мы представляем алгоритм проверки соответствия между высокоуровневой моделью процесса (построенной экспертами) и низкоуровневым журналом событий (сгенерированным системой), а также доказываем его применимость.

Статья публикуется в авторской редакции. 

Process mining is a relatively new field of computer science, which deals with process discovery and analysis based on event logs. In this paper we consider the problem of models and event logs conformance checking. Conformance checking is intensively studied in the frame of process mining research, but only models and event logs of the same granularity were considered in the literature. Here we present and justify the method of checking conformance between a high-level model (e.g. built by an expert) and a low-level log (generated by a system).

The article is published in the author’s wording.

сети Петривысокоуровневые модели процессовжурналы событийProcess Miningпроверка соответствияPetri netshigh-level process modelsevent logsprocess miningconformance checkingNational Research University Higher School of Economics’ Academic FundReferencesvan der Aalst W. M. P., Process Mining: Discovery, Conformance and Enhancement of Business Processes, Springer-Verlag, Berlin, 2011.van der Aalst W. M. P., Process Mining: Discovery, Conformance and Enhancement of Business Processes, Springer-Verlag, Berlin, 2011.van der Aalst W. M. P., van Hee K. M., Workflow Management: Models, Methods and Systems, MIT Press, Cambridge, MA, 2002.van der Aalst W. M. P., van Hee K. M., Workflow Management: Models, Methods and Systems, MIT Press, Cambridge, MA, 2002.Adriansyah A., van Dongen B. F., van der Aalst W. M. P., “Conformance Checking Using Cost-Based Fitness Analysis”, IEEE 15th International Enterprise Distributed Object Computing Conference, 2011, 55–64.Adriansyah A., van Dongen B. F., van der Aalst W. M. P., “Conformance Checking Using Cost-Based Fitness Analysis”, IEEE 15th International Enterprise Distributed Object Computing Conference, 2011, 55–64.Bose R. P. J. C., van der Aalst W. M. P., “Abstractions in Process Mining: A Taxonomy of Patterns. In Business Process Management”, Lecture Notes in Computer Science, 5701 (2009), 159–175.Bose R. P. J. C., van der Aalst W. M. P., “Abstractions in Process Mining: A Taxonomy of Patterns. In Business Process Management”, Lecture Notes in Computer Science, 5701 (2009), 159–175.Bose R. P. J. C., Verbeek H. M.W., van der Aalst W. M. P., “Discovering Hierarchical Process Models Using ProM”, CAiSE Forum (Selected Papers), 2011, 33–48.Bose R. P. J. C., Verbeek H. M.W., van der Aalst W. M. P., “Discovering Hierarchical Process Models Using ProM”, CAiSE Forum (Selected Papers), 2011, 33–48.van Dongen B. F., Alves de Medeiros A. K., Verbeek H. M.W., Weijters A. J. M. M., van der Aalst W. M. P., “The ProM framework: A New Era in Process Mining Tool Support”, Lecture Notes in Computer Science, 3536 (2005), 444–454.van Dongen B. F., Alves de Medeiros A. K., Verbeek H. M.W., Weijters A. J. M. M., van der Aalst W. M. P., “The ProM framework: A New Era in Process Mining Tool Support”, Lecture Notes in Computer Science, 3536 (2005), 444–454.Rozinat A., Process mining: conformance and extension, Technische Universiteit, Eindhoven, 2010.Rozinat A., Process mining: conformance and extension, Technische Universiteit, Eindhoven, 2010.Rozinat A., van der Aalst W. M. P., “Conformance Testing: Measuring the Alignment Between Event Logs and Process Models”, BETA Working Paper Series, 144 (2005), 203–210.Rozinat A., van der Aalst W. M. P., “Conformance Testing: Measuring the Alignment Between Event Logs and Process Models”, BETA Working Paper Series, 144 (2005), 203–210.Jensen K., Kristensen L. M., “Coloured Petri Nets: Modelling and Validation of Concurrent Systems”, 2009.Jensen K., Kristensen L. M., “Coloured Petri Nets: Modelling and Validation of Concurrent Systems”, 2009.Shugurov I., Mitsyuk A., “Generation of a Set of Event Logs with Noise”, Proc. of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014), 2014, 88–95.Shugurov I., Mitsyuk A., “Generation of a Set of Event Logs with Noise”, Proc. of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014), 2014, 88–95.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, 615, 2010, 34–39.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, 615, 2010, 34–39.

The authors declare that there are no conflicts of interest present.