Резюме (1137086), страница 2
Текст из файла (страница 2)
Для каждой публикации приводится её формальный статус и вклад автора диссертации.ПубликацииОсновные результаты данной диссертации опубликованы в следующийстатьях, которые приводятся с разбиением на три группы на основе из формального статуса в соответствии с правилами Диссертационного совета покомпьютерным наукам НИУ ВШЭ: «Публикациями повышенного уровня являются статьи в изданиях, входящих в системы цитирования Web of Science(квартили Q1, Q2) или Scopus (квартили Q1, Q2), а также в рецензируемыхтрудах конференций, входящих в рейтинг CORE (ранги A и A*).
Публикациями стандартного уровня являются статьи в изданиях, входящих в список6рекомендованных журналов НИУ ВШЭ или в системы цитирования Web ofScience (квартили Q3, Q4) или Scopus (квартили Q3, Q4), а также в рецензируемых трудах конференций, входящих в рейтинг CORE (ранг B)»4 .Публикации повышенного уровня1. Mitsyuk A.
A., Shugurov I. S., Kalenkova A. A., van der Aalst W. M.P. Generating Event Logs for High-Level Process Models //Simulation Modelling Practice and Theory. 2017. Vol. 74. P. 1–16. (Статья в журнале, проиндексированная SCOPUS и WoS, Q2; вклад автора: 0,5) [7]Публикации стандартного уровня1. Mitsyuk A. A., Lomazova I. A., van der Aalst W.
M. P. Using Event Logsfor Local Correction of Process Models // Automatic Controland Computer Sciences. 2017. Vol. 51. No. 7. P. 709–723. (Статья в журнале, проиндексированная SCOPUS и WoS, Q3; вклад автора: 0,9) [8]Перевод с русского статьи: Мицюк А. А., Ломазова И. А., ван дер АалстВ. М. П. Использование журналов событий для локальнойкорректировки моделей процессов // Моделирование и анализинформационных систем. 2017. Т. 24. № 4.
С. 459–480. (Статья в журнале из рекомендованного списка НИУ ВШЭ; вклад автора: 0,9) [9]2. Shugurov I. S., Mitsyuk A. A. Iskra: A Tool for Process ModelRepair // Proceedings of the Institute for System Programming. 2015. Vol.27. No. 3. P. 237–254. (Статья в журнале из рекомендованного спискаНИУ ВШЭ; вклад автора: 0,6) [10]3. Mitsyuk A. A., Shugurov I.
S. On Process Model Synthesis Based onEvent Logs with Noise // Automatic Control and Computer Sciences.2016. Vol. 50. No. 7. P. 460–470. (Статья в журнале, проиндексированнаяSCOPUS и WoS, Q4; вклад автора: 0,8) [11]Перевод с русского статьи: Мицюк А. А., Шугуров И. С. Синтез моделей процессов по журналам событий с шумом // Моделирование и анализ информационных систем. 2014.
Т. 21. № 4. С. 181–198.(Статья в журнале из рекомендованного списка НИУ ВШЭ; вклад автора: 0,8) [12]4https://www.hse.ru/en/science/disscoun/council_computerscience/7Прочие публикации1. Mitsyuk A. A. Non-Local Correction of Process Models UsingEvent Logs, in: Proceedings of the 2017 Ivannikov ISPRAS OpenConference. Los Alamitos : IEEE Computer Society , 2018.
Ch. 2. P.6–11. (Статья в сборнике трудов конференции, проиндексированнаяSCOPUS; вклад автора: 1) [13]2. Mitsyuk A. A., Lomazova I. A., Shugurov I. S., van der Aalst W. M. P.Process Model Repair by Detecting Unfitting Fragments, in:Supplementary Proceedings of the 6th International Conference on Analysisof Images, Social Networks and Texts (AIST-SUP 2017), Moscow, Russia,July 27-29, 2017. CEUR-WS.org Vol. 1975 Aachen, 2017. Ch. 32. P. 301–313.(Статья в сборнике трудов семинара, проиндексированная SCOPUS;вклад автора: 0,7) [14]3. Shugurov I.
S., Mitsyuk A. A. Generation of a Set of Event Logswith Noise, in: Proceedings of the 8th Spring/Summer Young Researchers’Colloquium on Software Engineering (SYRCoSE 2014). Moscow: Institute forSystem Programming RAS, 2014. P. 88–95. (Статья в сборнике трудовконференции; вклад автора: 0,7) [15]Другие публикации автора диссертацииСписок публикаций автора диссертации не ограничивается статьями,перечисленными выше.
Ниже приводятся статьи автора по теме анализа иавтоматического синтеза моделей процессов, но не содержащие результатовданной диссертации. Как и выше, все статьи разбиты на три категории.Публикации повышенного уровня1. Rubin V., Mitsyuk A. A., Lomazova I. A., van der Aalst W. M. P. ProcessMining Can Be Applied to Software Too!, in: Proceedings of the 8thACM/IEEE International Symposium on Empirical Software Engineeringand Measurement. NY: ACM, 2014.
Ch. 57. P. 1–8. [16]Публикации стандартного уровня1. Nesterov R. A., Mitsyuk A. A., Lomazova I. A. Simulating Behavior ofMulti-Agent Systems with Acyclic Interactions of Agents //Proceedings of the Institute for System Programming. 2018. Vol. 30. No. 3.P. 285–302. [17]82. Shugurov I. S., Mitsyuk A. A. Applying MapReduce to ConformanceChecking // 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 ModelEditor // 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.Using process mining for the analysis of an e-trade system: Acase study // Business Informatics. 2014. Vol.
29. No. 3. P. 15–27. [20]Прочие публикации1. Mitsyuk A. A., Kotylev Y. V. Layered Layouts for SoftwareSystems Visualization Using Nested Petri Nets, in: Tools andMethods of Program Analysis: 4th International Conference, TMPA 2017,Moscow, Russia, March 3-4, 2017, Revised Selected Papers. Communicationsin Computer and Information Science Vol. 779. Springer InternationalPublishing, 2018.
Ch. 11. P. 127–138. [21]Конференции и семинарыРезультаты данной диссертации были представлены и обсужденыв рамках следующих конференций и семинаров:1. Открытая конференция Института системного программирования РАНим В. П. Иванникова — 2017. Москва, РАН, 30.11.2017. Доклад: Нелокальная корректировка моделей процессов с использованием журналовсобытий (Non-Local Correction of Process Models Using Event Logs).2. Семинар московской секции ACM SIGMOD. Москва, ВМК МГУ,26.10.2017.
Доклад: Корректировка моделей процессов по логам событий (Process Model Correction based on Event Logs).3. Семинар лаборатории ПОИС. Москва, ФКН НИУ ВШЭ, 09.10.2017. Доклад: Использование журналов событий для локальной корректировки моделей процессов (Using Event Logs for Local Correction of ProcessModels).4. 6-я международная конференция «Анализ изображений, социальных сетей и текстов» (AIST 2017). Москва, Политехнический университет, 2729.07.2017. Постерный доклад: Исправление моделей процессов путём9выявления фрагментов с несоответствиями (Process Model Repair byDetecting Unfitting Fragments).5. Семинар лаборатории ПОИС.
Москва, ФКН НИУ ВШЭ, 17.10.2016. Доклад: Модульное исправление моделей процессов (Modular Process ModelRepair).6. Весенне-летний коллоквиум молодых исследователей по программнойинженерии (SYRCoSE 2015). Самара, ПГУТИ, 28-30.05.2015. Доклад:Iskra: инструмент исправления моделей процессов (Iskra: A Tool forProcess Model Repair).7. Семинар «Процессно-ориентированные информационные системы».Московская область, Вороново, 28-29.11.2015.
Доклад: Об исправлениимоделей процессов (On Process Model Repair).8. Семинар лаборатории ПОИС. Москва, ФКН НИУ ВШЭ, 12.10.2015. Доклад: Плохие и хорошие модели бизнес-процессов (Bad and Good BusinessProcess Models).9. Весенне-летний коллоквиум молодых исследователей по программнойинженерии (SYRCoSE 2014). Санкт-Петербург, СПбГПУ им Петра Великого, 29-31.05.2014. Доклад: Генерация набора журналов событий сшумом (Generation of a Set of Event Logs with Noise).Содержание диссертацииДанная диссертация состоит из четырёх основных частей, введения изаключения.Во введении обсуждается актуальность темы диссертации, неформально описывается главная задача, решаемая в работе. Кроме того, введение вмещает необходимые формальные секции, а также краткое содержаниевсей диссертации.В первой части содержится вводная информация, приводятся необходимые далее базовые определения и обзор литературы.Во-первых, определяются сети Петри.
Этот язык используется для моделирования процессов в данной диссертации. Сеть Петри — это направленный двудольный граф с узлами двух типов. Переходы моделируют действияпроцесса, а с помощью позиций задаётся порядок выполнения действий. В10частности, сети Петри позволяют моделировать основные конструкции процесса: последовательность действий, выбор, параллелизм, цикл.
Узлы в сетиПетри соединяются между собой дугами.Текущее состояние сети Петри задаётся так называемой разметкой.Разметка — это распределение маркеров по позициям сети. Переход в сети Петри может сработать, если имеется достаточное количество маркеровв каждой из его входных позиций. При срабатывании переход потребляетмаркеры в своих входных позициях и производит маркеры в своих выходныхпозициях.
Таким образом, срабатывание перехода изменяет разметку сети.В данной диссертации используются сети потоков работ, которые являются особым подклассом сетей Петри. Сеть потоков работ отличается тем, чтоимеет выделенные начальную (исток) и конечную (сток) позиции. Начальнаяразметка сети потоков работ содержит единственный маркер в истоке, тогдакак в конечной разметке все позиции пусты, кроме позиции-стока, котораясодержит единственный маркер. Все возможные исполнения такой сети начинаются с начальной разметки и заканчиваются в конечной разметке.
Примерсети потоков работ показан на рисунке 3. Начальная разметка показана ввиде чёрного маркера в позиции-истоке (source).ht8asourcet1bc1t2c2cft3t6edc3t5c4t4gsinkt7Рисунок 3: Простая сеть потоков работВо-вторых, определяются журналы событий.Пусть ⊆ — это множество действий процесса. Они используютсядля задания меток переходов в модели. Будем предполагать, что событиев журнале — это имя действия, то есть никаких дополнительных атрибутовсобытия не имеют. Таким образом, событие представляет действие процессав трассе журнала событий.Определим трассу как конечную последовательность действий из ,то есть ∈ * .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
