Диссертация (1137084), страница 2
Текст из файла (страница 2)
The goal of this thesis is to propose a structure-preservingprocess model repair methods.The problem of this thesis is the model repair problem that can be defined as follows. Theinitial process model describes a behaviour of a system. The event log of this system does2This is one of many possible conformance metrics. A model perfectly fits an event log if it can replay all thebehaviour recorded in this log. The fitness level shows what portion of log behaviour can be replayed by the model.6not conform3 to the process model according to some predefined conformance criteria.
In otherwords, this model does not fully reflect the observed behaviour of the system. The generalmodel repair problem is to find a model (repaired process model ) that conforms the event log according to the mentioned above criteria, and is as similar to as possible. Besides, arepair procedure — if possible — does not change the process model significantly.Main Results of this ThesisThe main research contributions of this thesis are as follows:I. A new modular approach (scheme) for process model repair based on event logs is presented.It is based on process model decomposition. Process models are represented by workflow nets.The scheme may include various algorithms for model decomposition and sub-nets repair.Sufficient conditions of the approach effectiveness are formulated.II. New algorithms are presented, performing local and non-local process model repair based onevent logs.
These algorithms implement the general modular scheme, and employ the divideand conquer principle.III. New algorithms for event log generation via process model simulation are presented.IV. Prototype implementations of the process model repair algorithms have been experimentallyevaluated using event logs generated by the simulation algorithms.Publication and PresentationThe results of this thesis have been published in international reviewed journals and conferenceproceedings. For each paper we provide its status and the proportion of author contribution.PublicationsMain results of this thesis are published in the following papers which are split in three groupsbased on their formal status according to the rules of HSE Dissertation Council in ComputerScience4 .
In particular, “First-tier publications include papers indexed in the Web of Science (Q1or Q2) or Scopus (Q1 or Q2) databases, as well as peer-reviewed collections of conferences thatappear in CORE rankings (ranks A and A*). Second-tier publications are papers published injournals included in HSE’s list of high quality journals or indexed in the Web of Science (Q3 orQ4) or Scopus (Q3 or Q4) databases, as well as peer-reviewed collections of conferences appearingin CORE rankings (rank B).” Third-tier publications — other papers.3Note that in this thesis both following forms are used with the same meaning: a model conforms an event logand an event log conforms a model.4https://www.hse.ru/en/science/disscoun/council_computerscience/7First-tier Publications1. Mitsyuk A.
A., Shugurov I. S., Kalenkova A. A., van der Aalst W. M. P. GeneratingEvent Logs for High-Level Process Models // Simulation Modelling Practice andTheory. 2017. Vol. 74. P. 1–16. (SCOPUS and WoS-indexed Journal Paper, Q2; authorcontribution: 0,5) [7]Second-tier Publications1. Mitsyuk A. A., Lomazova I. A., van der Aalst W. M. P. Using Event Logs forLocal Correction of Process Models // Automatic Control and Computer Sciences.2017.
Vol. 51. No. 7. P. 709–723. (SCOPUS and WoS-indexed Journal Paper, Q3; authorcontribution: 0,9) [8]A translation of the paper in Russian: Мицюк А. А., Ломазова И. А., ван дер Аалст В.М. П. Использование журналов событий для локальной корректировкимоделей процессов // Моделирование и анализ информационных систем. 2017.
Т.24. № 4. С. 459–480. (HSE’s List Journal Paper; author contribution: 0,9) [9]2. Shugurov I. S., Mitsyuk A. A. Iskra: A Tool for Process Model Repair //Proceedings of the Institute for System Programming. 2015. Vol. 27. No. 3. P. 237–254.(HSE’s List Journal Paper; author contribution: 0,6) [10]3. Mitsyuk A. A., Shugurov I. S.
On Process Model Synthesis Based on Event Logswith Noise // Automatic Control and Computer Sciences. 2016. Vol. 50. No. 7. P. 460–470.(SCOPUS and WoS-indexed Journal Paper, Q4; author contribution: 0,8) [11]A translation of the paper in Russian: Мицюк А.
А., Шугуров И. С. Синтез моделей процессов по журналам событий с шумом // Моделирование и анализинформационных систем. 2014. Т. 21. № 4. С. 181–198. (HSE’s List Journal Paper; authorcontribution: 0,8) [12]Third-tier Publications1. Mitsyuk A. A. Non-Local Correction of Process Models Using Event Logs,in: Proceedings of the 2017 Ivannikov ISPRAS Open Conference. Los Alamitos : IEEEComputer Society , 2018. Ch. 2. P. 6–11. (SCOPUS-indexed Conference Paper; authorcontribution: 1) [13]2. Mitsyuk A. A., Lomazova I. A., Shugurov I.
S., van der Aalst W. M. P. Process ModelRepair by Detecting Unfitting Fragments, in: Supplementary Proceedings of the6th International Conference on Analysis of Images, Social Networks and Texts (AIST-SUP2017), Moscow, Russia, July 27-29, 2017. CEUR-WS.org Vol. 1975 Aachen, 2017. Ch. 32. P.301–313. (SCOPUS-indexed Workshop Paper; author contribution: 0,7) [14]83. Shugurov I. S., Mitsyuk A. A. Generation of a Set of Event Logs with Noise,in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on SoftwareEngineering (SYRCoSE 2014).
Moscow: Institute for System Programming RAS, 2014. P.88–95. (Conference Paper; author contribution: 0,7) [15]Other Papers of the AuthorThe set of this thesis author’s publications is not limited to the papers listed above. Thefollowing papers are related to the subject of process mining and analysis, but contain no ofthesis’ contributions. As previously, papers are grouped into three categories.First-tier Publications1. Rubin V., Mitsyuk A.
A., Lomazova I. A., van der Aalst W. M. P. Process Mining CanBe Applied to Software Too!, in: Proceedings of the 8th ACM/IEEE InternationalSymposium on Empirical Software Engineering and Measurement. NY: ACM, 2014. Ch. 57.P. 1–8. [16]Second-tier Publications1. Nesterov R.
A., Mitsyuk A. A., Lomazova I. A. Simulating Behavior of Multi-AgentSystems with Acyclic Interactions of Agents // Proceedings of the Institute forSystem Programming. 2018. Vol. 30. No. 3. P. 285–302. [17]2. Shugurov I. S., Mitsyuk A. A. Applying MapReduce to Conformance Checking //Proceedings of the Institute for System Programming. 2016. Vol. 28. No. 3.
P. 103–122. [18]3. Nikitina N., Mitsyuk A. A. Carassius: A Simple Process Model Editor //Proceedings of the Institute for System Programming. 2015. Vol. 27. No. 3. P. 219–236. [19]4. Mitsyuk A. A., Kalenkova A. A., Shershakov S. A., van der Aalst W. M. P. Usingprocess mining for the analysis of an e-trade system: A case study // BusinessInformatics. 2014. Vol. 29. No. 3.
P. 15–27. [20]Third-tier Publications1. Mitsyuk A. A., Kotylev Y. V. Layered Layouts for Software SystemsVisualization Using Nested Petri Nets, in: Tools and Methods of Program Analysis:4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, RevisedSelected Papers. Communications in Computer and Information Science Vol.
779. SpringerInternational Publishing, 2018. Ch. 11. P. 127–138. [21]9Conferences and WorkshopsThe results of this thesis have been presented and discussed at the following conferences,seminars, and workshops:1. 2017 Ivannikov ISPRAS Open Conference. Moscow, Russian Academy of Sciences,30.11.2017. Talk: Non-Local Correction of Process Models Using Event Logs.2. Seminar of the Moscow ACM SIGMOD Chapter. Moscow, MSU Faculty of ComputationalMathematics and Cybernetics, 26.10.2017.
Talk: Корректировка моделей процессов пологам событий (Process Model Correction based on Event Logs).3. Seminar of PAIS Laboratory. Moscow, NRU HSE Faculty of Computer Science, 09.10.2017.Talk:Использование журналов событий для локальной корректировки моделей процессов (Using Event Logs for Local Correction of Process Models).4. 6th International Conference - Analysis of Images, Social networks and Texts (AIST 2017).Moscow, Polytechnic University, 27-29.07.2017. Poster: Process Model Repair by DetectingUnfitting Fragments.5. Seminar of PAIS Laboratory. Moscow, NRU HSE Faculty of Computer Science, 17.10.2016.Talk: Модульное исправление моделей процессов (Modular Process Model Repair).6.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
