Резюме (1137086), страница 6
Текст из файла (страница 6)
Такие большие модели редковстречаются на практике. Данная модель была успешно исправлена с помощью жадного метода. Заменённый в ходе исправления фрагмент выделен нарисунке зелёным цветом.Наконец, последней частью диссертации является заключение. Вэтой части обобщаются основные результаты данной диссертации. Кроме того, рассматриваются вопросы, оставшиеся открытыми и требующие дальнейших исследований.
Возможные направления будущих работ, развивающихрезультаты диссертации, также приводятся в этой части.28Список литературы1. Dumas M., van der Aalst W.M.P., ter Hofstede A.H.M.. Process-Aware Information Systems: Bridging People and Software through Process Technology.— Wiley & Sons, 2005.2. van der Aalst W.M.P.. Process-Aware Information Systems: Design, Enactment and Analysis // Wiley Encyclopedia of Computer Science and Engineering / Ed.
by B.W. Wah. — Wiley & Sons, 2009. — Pp. 2221–2233.3. Stahl Thomas, Voelter Markus, Czarnecki Krzysztof. Model-Driven SoftwareDevelopment: Technology, Engineering, Management. — USA: John Wileyand Sons, Inc., 2006.4. Brambilla Marco, Cabot Jordi, Wimmer Manuel. Model-Driven Software Engineering in Practice. — 1st edition.
— Morgan and Claypool Publishers,2012.5. van der Aalst Wil M. P. Process Mining - Data Science in Action, SecondEdition. — Springer, 2016.6. Fahland D., van der Aalst W.M.P. Repairing Process Models to Reflect Reality // International Conference on Business Process Management (BPM2012) / Ed. by A. Barros, A. Gal, E. Kindler.
— Vol. 7481 of Lecture Notesin Computer Science. — Springer-Verlag, Berlin, 2012. — Pp. 229–245.7. Generating event logs for high-level process models / Mitsyuk A.A., Shugurov I.S., Kalenkova A.A., van der Aalst W.M.P. // Simulation ModellingPractice and Theory. — 2017. — Vol. 74. — Pp. 1 – 16.8. Mitsyuk A.A., Lomazova I.A., van der Aalst W.M.P. Using Event Logs for Local Correction of Process Models // Automatic Control and Computer Sciences. — 2017. — Vol.
51, no. 7. — Pp. 709–723.9. Мицюк А.А., Ломазова И.А., ван дер Аалст В.М.П. Использованиежурналов событий для локальной корректировки моделей процессов //Моделирование и анализ информационных систем. — 2017. — Vol. 24,no. 4. — Pp. 459–480.10. Shugurov I.S., Mitsyuk A.A. Iskra: A Tool for Process Model Repair // Proceedings of the Institute for System Programming of the RAS. — 2015. —Vol. 27, no. 3. — Pp. 237–254.2911. 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. — Pp. 460–470.12. Мицюк А.А., Шугуров И.С. Синтез моделей процессов по журналам событий с шумом // Моделирование и анализ информационных систем. —2014. — Vol.
21, no. 4. — Pp. 181–198.13. Mitsyuk A.A. Non-Local Correction of Process Models Using Event Logs //Proceedings of the 2017 Ivannikov ISPRAS Open Conference / Los Alamitos: IEEE Computer Society. — 2018. — Pp. 6–11.14. Process Model Repair by Detecting Unfitting Fragments / Mitsyuk A.A., Lomazova I.A., Shugurov I.S., van der Aalst W.M.P. // Supplementary Proceedings of the 6th International Conference on Analysis of Images, SocialNetworks and Texts (AIST-SUP 2017), Moscow, Russia, July 27-29, 2017. —Vol. 1975 of CEUR-WS.org.
— CEUR-WS.org, 2017. — Pp. 301–313.15. Shugurov I.S., Mitsyuk A.A. Generation of a Set of Event Logs with Noise //Proceedings of the 8th Spring/Summer Young Researchers Colloquium onSoftware Engineering (SYRCoSE 2014). — 2014. — Pp. 88–95.16. Process mining can be applied to software too! / Rubin V.A., Mitsyuk A.A.,Lomazova I.A., van der Aalst W.M.P. // ESEM. — ACM, 2014. — Pp.
57:1–57:8.17. Nesterov R.A., Mitsyuk A.A., Lomazova I.A. Simulating Behavior of MultiAgent Systems with Acyclic Interactions of Agents // Proceedings of the Institute for System Programming. — 2018. — Vol. 30, no. 3. — Pp. 285–302.18. Shugurov I.S., Mitsyuk A.A. Applying MapReduce to ConformanceChecking // Proceedings of the Institute for System Programming of the RAS.— 2016. — Vol. 28, no.
3. — Pp. 103–122.19. Nikitina N., Mitsyuk A.A. Carassius: A Simple Process Model Editor // Proceedings of the Institute for System Programming. — 2015. — Vol. 27, no. 3.— Pp. 219–236.20. Using process mining for the analysis of an e-trade system: A case study /Mitsyuk A.A., Kalenkova A.A., Shershakov S.A., van der Aalst W.M.P. //Business Informatics.
— 2014. — Vol. 29, no. 3. — Pp. 15–27.21. Mitsyuk A.A., Kotylev Y.V. Layered Layouts for Software Systems Visualization Using Nested Petri Nets // Tools and Methods of Program Analysis / Ed.30by Vladimir Itsykson, Andre Scedrov, Victor Zakharov. — Cham: SpringerInternational Publishing, 2018. — Pp. 127–138.22. Adriansyah Arya.
Aligning observed and modeled behavior: Ph.D. thesis /Technische Universiteit Eindhoven. — 2014.23. Leemans S.J.J., Fahland D., van der Aalst W.M.P. Discovering BlockStructured Process Models from Incomplete Event Logs // Application andTheory of Petri Nets and Concurrency / edited byGianfranco Ciardo, Ekkart Kindler. — Springer International Publishing, 2014.
— Vol. 8489 ofLecture Notes in Computer Science. — Pp. 91–110.24. Process Discovery using Integer Linear Programming / van der WerfJ.M.E.M., van Dongen B.F., Hurkens C.A.J., Serebrenik A. // Fundam. Inform. — 2009. — Vol. 94, no. 3-4. — Pp. 387–412.25.
Fahland D., van der Aalst W.M.P. Model Repair - Aligning Process Modelsto Reality // Inf. Syst. — 2015. — Vol. 47. — Pp. 220–243.26. ProM 6: The Process Mining Toolkit / Verbeek H.M.W., Buijs J.C.A.M.,van Dongen B.F., van der Aalst W.M.P. // Proc. of BPM DemonstrationTrack 2010 / Ed. by M. La Rosa. — Vol. 615 of CEUR Workshop Proceedings.— 2010. — Pp. 34–39.31.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
