<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">mais</journal-id><journal-title-group><journal-title xml:lang="ru">Моделирование и анализ информационных систем</journal-title><trans-title-group xml:lang="en"><trans-title>Modeling and Analysis of Information Systems</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1818-1015</issn><issn pub-type="epub">2313-5417</issn><publisher><publisher-name>Yaroslavl State University</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.18255/1818-1015-2017-2-125-140</article-id><article-id custom-type="elpub" pub-id-type="custom">mais-504</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Оригинальные статьи</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>Articles</subject></subj-group></article-categories><title-group><article-title>Построение высокоуровневой модели процесса по журналу событий</article-title><trans-title-group xml:lang="en"><trans-title>Discovering High-Level Process Models from Event Logs</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Бегичева</surname><given-names>Антонина Константиновна</given-names></name><name name-style="western" xml:lang="en"><surname>Begicheva</surname><given-names>Antonina A.</given-names></name></name-alternatives><bio xml:lang="ru"><p>стажер-исследователь</p><p>ул. Мясницкая, 20, г. Москва, 101000 Россия</p></bio><bio xml:lang="en"><p>research assistant</p><p>20 Myasnitskaya str., Moscow 101000, Russia</p></bio><email xlink:type="simple">akbegicheva@edu.hse.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Ломазова</surname><given-names>Ирина Александровна</given-names></name><name name-style="western" xml:lang="en"><surname>Lomazov</surname><given-names>Irina A.</given-names></name></name-alternatives><bio xml:lang="ru"><p>доктор физ.-мат. наук, профессор</p><p>ул. Мясницкая, 20 г. Москва, 101000 Россия</p></bio><bio xml:lang="en"><p>Doctor of science, professor</p><p>20 Myasnitskaya str., Moscow 101000, Russia</p></bio><email xlink:type="simple">ilomazova@hse.ru</email><xref ref-type="aff" rid="aff-2"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Национальный исследовательский университет Высшая школа экономикии&#13;
&#13;
Научно-учебная лаборатория ПОИС</institution><country>Россия</country></aff><aff xml:lang="en"><institution>National Research University Higher School of Economics&#13;
&#13;
Laboratory of Process-Aware Information Systems</institution><country>Russian Federation</country></aff></aff-alternatives><aff-alternatives id="aff-2"><aff xml:lang="ru"><institution>Национальный исследовательский университет Высшая школа экономикии</institution><country>Россия</country></aff><aff xml:lang="en"><institution>National Research University Higher School of Economics</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2017</year></pub-date><pub-date pub-type="epub"><day>29</day><month>04</month><year>2017</year></pub-date><volume>24</volume><issue>2</issue><fpage>125</fpage><lpage>140</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Бегичева А.К., Ломазова И.А., 2017</copyright-statement><copyright-year>2017</copyright-year><copyright-holder xml:lang="ru">Бегичева А.К., Ломазова И.А.</copyright-holder><copyright-holder xml:lang="en">Begicheva A.A., Lomazov I.A.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.mais-journal.ru/jour/article/view/504">https://www.mais-journal.ru/jour/article/view/504</self-uri><abstract><p>Извлечение и анализ процессов (process mining) - это достаточно новая область компьютерных наук, изучающая синтез и анализ процессов на основе журналов событий. В работе рассматривается задача извлечения высокоуровневой модели по низкоуровневому журналу событий, т.е. задача автоматического синтеза модели процесса на основе информации, хранящейся в журналах событий информационной системы. События в высокоуровневой модели это абстрактные события, которые могут быть детализированы в виде низкоуровневых подпроцессов, поведение которых представлено в журналах событий. Синтез моделей интенсивно изучается в рамках исследований по майнингу процессов, но в основном в литературе рассматриваются только логи и модели одного и того же уровня детализации. Здесь мы представляем алгоритм для извлечения высокоуровневых ациклических моделей процессов на основании журналов событий и заранее определенного разбиения низкоуровневых событий на подмножества, ассоциированные с абстрактными событиями в высокоуровневой модели.</p></abstract><trans-abstract xml:lang="en"><p>Process mining is a relatively new ﬁeld of computer science, which deals with process discovery and analysis based on event logs. In this paper we consider the problem of discovering a high-level business process model from a low-level event log, i.e. automatic synthesis of process models based on the information stored in event logs of information systems. Events in a high-level model are abstract events, which can be reﬁned to low-level subprocesses, whose behavior is recorded in event logs. Models synthesis is intensively studied in the frame of process mining research, but only models and event logs of the same granularity are mainly considered in the literature. Here we present an algorithm for discovering high-level acyclic process models from event logs and some speciﬁed partition of low-level events into subsets associated with abstract events in a high-level model.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>сети Петри</kwd><kwd>высокоуровневые модели процессов</kwd><kwd>журналы событий</kwd><kwd>Process Mining</kwd><kwd>синтез моделей</kwd></kwd-group><kwd-group xml:lang="en"><kwd>Petri nets</kwd><kwd>high-level process models</kwd><kwd>event logs</kwd><kwd>process mining</kwd><kwd>process discovery</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">W. M. P. van der Aalst, Process mining: discovery, conformance and enhancement of business processes, Springer Verlag, 2011.</mixed-citation><mixed-citation xml:lang="en">W. M. P. van der Aalst, Process mining: discovery, conformance and enhancement of business processes, Springer Verlag, 2011.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">B. F. van Dongen, A. K. A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, W. M. P. van der Aalst, “The prom framework: A new era in process mining tool support”, International Conference on Application and Theory of Petri Nets, Springer, 2005, 444– 454.</mixed-citation><mixed-citation xml:lang="en">B. F. van Dongen, A. K. A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, W. M. P. van der Aalst, “The prom framework: A new era in process mining tool support”, International Conference on Application and Theory of Petri Nets, Springer, 2005, 444– 454.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">W. M. P. van der Aalst, “Veriﬁcation of workﬂow nets”, 18th International Conference on Application and Theory of Petri Nets, ICATPN’97, Springer Berlin Heidelberg, Berlin, Heidelberg, 1997, 407–426.</mixed-citation><mixed-citation xml:lang="en">W. M. P. van der Aalst, “Veriﬁcation of workﬂow nets”, 18th International Conference on Application and Theory of Petri Nets, ICATPN’97, Springer Berlin Heidelberg, Berlin, Heidelberg, 1997, 407–426.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">S. Smirnov, H. A. Reijers, M. Weske, Th. Nugteren, “Business process model abstraction: a deﬁnition, catalog, and survey”, Distributed and Parallel Databases, 30:1 (2012), 63–99.</mixed-citation><mixed-citation xml:lang="en">S. Smirnov, H. A. Reijers, M. Weske, Th. Nugteren, “Business process model abstraction: a deﬁnition, catalog, and survey”, Distributed and Parallel Databases, 30:1 (2012), 63–99.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">A. Polyvyanyy, S. Smirnov, M. Weske, “Process model abstraction: A slider approach”, Enterprise Distributed Object Computing Conference, 2008 (EDOC’08. 12th International IEEE), IEEE, 2008, 325–331.</mixed-citation><mixed-citation xml:lang="en">A. Polyvyanyy, S. Smirnov, M. Weske, “Process model abstraction: A slider approach”, Enterprise Distributed Object Computing Conference, 2008 (EDOC’08. 12th International IEEE), IEEE, 2008, 325–331.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">K. Jensen, L. M. Kristensen, Coloured Petri nets: modelling and validation of concurrent systems, Springer Science &amp; Business Media, 2009.</mixed-citation><mixed-citation xml:lang="en">K. Jensen, L. M. Kristensen, Coloured Petri nets: modelling and validation of concurrent systems, Springer Science &amp; Business Media, 2009.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">H. J. Genrich, K. Lautenbach, “System modelling with high-level petri nets”, Theoretical computer science, 13:1 (1981), 109–135.</mixed-citation><mixed-citation xml:lang="en">H. J. Genrich, K. Lautenbach, “System modelling with high-level petri nets”, Theoretical computer science, 13:1 (1981), 109–135.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">W. M. P. van der Aalst, V. Rubin, B. F. van Dongen, E. Kindler, Ch. W. GuЁnther, “Process mining: A two-step approach using transition systems and regions”, BPM Center Report BPM-06-30, BPMcenter. org, 6, 2006.</mixed-citation><mixed-citation xml:lang="en">W. M. P. van der Aalst, V. Rubin, B. F. van Dongen, E. Kindler, Ch. W. GuЁnther, “Process mining: A two-step approach using transition systems and regions”, BPM Center Report BPM-06-30, BPMcenter. org, 6, 2006.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">A. J. M. M. Weijters, W. M. P. van der Aalst, A. K. A. De Medeiros, “Process mining with the heuristics miner-algorithm”, Technische Universiteit Eindhoven, Tech. Rep. WP, 166, 2006, 1–34.</mixed-citation><mixed-citation xml:lang="en">A. J. M. M. Weijters, W. M. P. van der Aalst, A. K. A. De Medeiros, “Process mining with the heuristics miner-algorithm”, Technische Universiteit Eindhoven, Tech. Rep. WP, 166, 2006, 1–34.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">B. F van Dongen, N. Busi, G. Pinna, W. M. P. van der Aalst, “An iterative algorithm for applying the theory of regions in process mining” (Proceedings of the workshop on formal approaches to business processes and web services (FABPWS’07)), 2007.</mixed-citation><mixed-citation xml:lang="en">B. F van Dongen, N. Busi, G. Pinna, W. M. P. van der Aalst, “An iterative algorithm for applying the theory of regions in process mining” (Proceedings of the workshop on formal approaches to business processes and web services (FABPWS’07)), 2007.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">J. Carmona, J. Cortadella, M. Kishinevsky, “A Region-Based Algorithm for Discovering Petri Nets from Event Logs”, International Conference on Business Process Management, Springer Berlin Heidelberg, Berlin, Heidelberg, 2008, 358–373.</mixed-citation><mixed-citation xml:lang="en">J. Carmona, J. Cortadella, M. Kishinevsky, “A Region-Based Algorithm for Discovering Petri Nets from Event Logs”, International Conference on Business Process Management, Springer Berlin Heidelberg, Berlin, Heidelberg, 2008, 358–373.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">W. M. P. van der Aalst, A. K. A. de Medeiros, A. J. M. M. Weijters, “Genetic process mining”, International Conference on Application and Theory of Petri Nets, Springer, 2005, 48–69.</mixed-citation><mixed-citation xml:lang="en">W. M. P. van der Aalst, A. K. A. de Medeiros, A. J. M. M. Weijters, “Genetic process mining”, International Conference on Application and Theory of Petri Nets, Springer, 2005, 48–69.</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">A. J. M. M. Weijters, W. M. P. van der Aalst, “Rediscovering workﬂow models from event- based data using little thumb”, Integrated Computer-Aided Engineering, 10:2 (2003), 151–162.</mixed-citation><mixed-citation xml:lang="en">A. J. M. M. Weijters, W. M. P. van der Aalst, “Rediscovering workﬂow models from event- based data using little thumb”, Integrated Computer-Aided Engineering, 10:2 (2003), 151–162.</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">G. Greco, A. Guzzo, L. Pontieri, “Mining taxonomies of process models”, Data &amp; Knowledge Engineering, 67:1 (2008), 74–102.</mixed-citation><mixed-citation xml:lang="en">G. Greco, A. Guzzo, L. Pontieri, “Mining taxonomies of process models”, Data &amp; Knowledge Engineering, 67:1 (2008), 74–102.</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Ch. W. GuЁnther, W. M. P. van der Aalst, “Fuzzy mining–adaptive process simpliﬁcation based on multi-perspective metrics”, International Conference on Business Process Management, Springer, 2007, 328–343.</mixed-citation><mixed-citation xml:lang="en">Ch. W. GuЁnther, W. M. P. van der Aalst, “Fuzzy mining–adaptive process simpliﬁcation based on multi-perspective metrics”, International Conference on Business Process Management, Springer, 2007, 328–343.</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">F. Mannhardt, M. de Leoni, H. A. Reijers, W. M. P. van der Aalst, P. J. Toussaint, “From Low-Level Events to Activities – A Pattern-Based Approach”, Business Process Management: 14th International Conference, BPM 2016, Springer International Publishing, Cham, 2016, 125–141.</mixed-citation><mixed-citation xml:lang="en">F. Mannhardt, M. de Leoni, H. A. Reijers, W. M. P. van der Aalst, P. J. Toussaint, “From Low-Level Events to Activities – A Pattern-Based Approach”, Business Process Management: 14th International Conference, BPM 2016, Springer International Publishing, Cham, 2016, 125–141.</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">N. Tax, N. Sidorova, R. Haakma, W. M. P. van der Aalst, “Event abstraction for process mining using supervised learning techniques”, Proceedings of the SAI Conference on Intelligent Systems (IntelliSys), 2016, 161–170.</mixed-citation><mixed-citation xml:lang="en">N. Tax, N. Sidorova, R. Haakma, W. M. P. van der Aalst, “Event abstraction for process mining using supervised learning techniques”, Proceedings of the SAI Conference on Intelligent Systems (IntelliSys), 2016, 161–170.</mixed-citation></citation-alternatives></ref><ref id="cit18"><label>18</label><citation-alternatives><mixed-citation xml:lang="ru">J. Li, R. P. J. Ch. Bose, W. M. P. van der Aalst, “Mining context-dependent and interactive business process maps using execution patterns”, International Conference on Business Process Management, Springer, 2010, 109–121.</mixed-citation><mixed-citation xml:lang="en">J. Li, R. P. J. Ch. Bose, W. M. P. van der Aalst, “Mining context-dependent and interactive business process maps using execution patterns”, International Conference on Business Process Management, Springer, 2010, 109–121.</mixed-citation></citation-alternatives></ref><ref id="cit19"><label>19</label><citation-alternatives><mixed-citation xml:lang="ru">R. P. J. Ch. Bose, E. H. M. W. Verbeek, W. M. P. van der Aalst, “Discovering hierarchical process models using prom”, Forum at the Conference on Advanced Information Systems Engineering (CAiSE), Springer, 2011, 33–48.</mixed-citation><mixed-citation xml:lang="en">R. P. J. Ch. Bose, E. H. M. W. Verbeek, W. M. P. van der Aalst, “Discovering hierarchical process models using prom”, Forum at the Conference on Advanced Information Systems Engineering (CAiSE), Springer, 2011, 33–48.</mixed-citation></citation-alternatives></ref><ref id="cit20"><label>20</label><citation-alternatives><mixed-citation xml:lang="ru">J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev, “Petrify: a tool for manipulating concurrent speciﬁcations and synthesis of asynchronous controllers”, IEICE Transactions on information and Systems, 80, 1997, 315–325.</mixed-citation><mixed-citation xml:lang="en">J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev, “Petrify: a tool for manipulating concurrent speciﬁcations and synthesis of asynchronous controllers”, IEICE Transactions on information and Systems, 80, 1997, 315–325.</mixed-citation></citation-alternatives></ref><ref id="cit21"><label>21</label><citation-alternatives><mixed-citation xml:lang="ru">A. Kalenkova, I. Lomazova, “Discovery of cancellation regions within process mining techniques”, Fundamenta Informaticae, 133:2–3 (2014), 197–209.</mixed-citation><mixed-citation xml:lang="en">A. Kalenkova, I. Lomazova, “Discovery of cancellation regions within process mining techniques”, Fundamenta Informaticae, 133:2–3 (2014), 197–209.</mixed-citation></citation-alternatives></ref><ref id="cit22"><label>22</label><citation-alternatives><mixed-citation xml:lang="ru">A. Kalenkova, I. Lomazova, W. M. P. van der Aalst, “Process Model Discovery: A Method Based on Transition System Decomposition”, International Conference on Application and Theory of Petri Nets, Springer International Publishing, Cham, 2014, 71–90.</mixed-citation><mixed-citation xml:lang="en">A. Kalenkova, I. Lomazova, W. M. P. van der Aalst, “Process Model Discovery: A Method Based on Transition System Decomposition”, International Conference on Application and Theory of Petri Nets, Springer International Publishing, Cham, 2014, 71–90.</mixed-citation></citation-alternatives></ref><ref id="cit23"><label>23</label><citation-alternatives><mixed-citation xml:lang="ru">R. P. J. Chandra Bose, W. M. P. van der Aalst, “Process diagnostics using trace alignment: opportunities, issues, and challenges”, Information Systems, 37:2 (2012), 117–141.</mixed-citation><mixed-citation xml:lang="en">R. P. J. Chandra Bose, W. M. P. van der Aalst, “Process diagnostics using trace alignment: opportunities, issues, and challenges”, Information Systems, 37:2 (2012), 117–141.</mixed-citation></citation-alternatives></ref><ref id="cit24"><label>24</label><citation-alternatives><mixed-citation xml:lang="ru">Th. Baier, J. Mendling, “Bridging abstraction layers in process mining by automated matching of events and activities”, Business Process Management, Springer, 2013, 17–32.</mixed-citation><mixed-citation xml:lang="en">Th. Baier, J. Mendling, “Bridging abstraction layers in process mining by automated matching of events and activities”, Business Process Management, Springer, 2013, 17–32.</mixed-citation></citation-alternatives></ref><ref id="cit25"><label>25</label><citation-alternatives><mixed-citation xml:lang="ru">J. Desel, W. Reisig, “The synthesis problem of petri nets”, Acta informatica, 33:4 (1996), 297–315.</mixed-citation><mixed-citation xml:lang="en">J. Desel, W. Reisig, “The synthesis problem of petri nets”, Acta informatica, 33:4 (1996), 297–315.</mixed-citation></citation-alternatives></ref><ref id="cit26"><label>26</label><citation-alternatives><mixed-citation xml:lang="ru">A. Rozinat, Process mining: conformance and extension, PhD thesis, Technische Universiteit Eindhoven, 2010.</mixed-citation><mixed-citation xml:lang="en">A. Rozinat, Process mining: conformance and extension, PhD thesis, Technische Universiteit Eindhoven, 2010.</mixed-citation></citation-alternatives></ref><ref id="cit27"><label>27</label><citation-alternatives><mixed-citation xml:lang="ru">A. Begicheva, I. Lomazova, Does your event log ﬁt the high-level process model? Modeling and Analysis of Information Systems, 22:3 (2015), 392–403.</mixed-citation><mixed-citation xml:lang="en">A. Begicheva, I. Lomazova, Does your event log ﬁt the high-level process model? Modeling and Analysis of Information Systems, 22:3 (2015), 392–403.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
