Исправление моделей процессов с сохранением их структуры на основе журналов событийStructure-Preserving Process Model Repair Based on Event Logs
Соискатель:
Руководитель:
Члены комитета:
Петренко Александр Константинович (Институт системного программирования РАН, Национальный исследовательский университет "Высшая школа экономики"", доктор физико-математических наук, председатель комитета), Алессандро Спердути (Падуанский университет, PhD, член комитета), Джозеп Кармона (Политехнический университет Каталонии, PhD, член комитета), Марко Монтали (Свободный университет Больцано, PhD, член комитета), Соколов Валерий Анатольевич (Ярославский государственный университет, доктор физико-математических наук, член комитета)
Диссертация принята к предварительному рассмотрению:
2/5/2019
Диссертация принята к защите:
2/19/2019
Дисс. совет:
Совет по компьютерным наукам
Дата защиты:
4/5/2019
В работе предлагаются алгоритмы исправления моделей процессов в соответствии с журналами событий. Задача исправления модели процесса состоит в том, чтобы построить на основе имеющейся новую модель, которая была бы согласована с журналами событий, отражающими запись наблюдаемого поведения информационной системы. Кроме того, алгоритмы исправления, предлагаемые в данной работе, сохраняют структуру исходной модели, чтобы экспертам было удобнее работать с новой моделью. Это также облегчает отслеживание изменений в модели. Сохранение структуры модели отличает методы исправления от методов автоматического синтеза моделей процессов. По результатам экспериментальной оценки предлагаемые в работе методы показали себя особенно полезными для случаев, когда реальное поведение системы не слишком сильно отклоняется от имеющейся модели.
Диссертация [*.pdf, 22.38 Мб] (дата размещения 2/4/2019)
Резюме [*.pdf, 2.78 Мб] (дата размещения 2/4/2019)
Summary [*.pdf, 2.76 Мб] (дата размещения 2/4/2019)
Публикации, в которых излагаются основные результаты диссертации
Mitsyuk A. A., Shugurov I. S., Kalenkova A. A., van der Aalst W. M. P. Generating Event Logs for High-Level Process Models (смотреть на сайте журнала)
Mitsyuk A. A., Lomazova I. A., van der Aalst W. M. P. Using Event Logs for Local Correction of Process Models (смотреть на сайте журнала)
Mitsyuk A. A., Shugurov I. S. On Process Model Synthesis Based on Event Logs with Noise (смотреть на сайте журнала)
Отзывы
Отзыв научного руководителя
- Отзыв научного руководителя (дата размещения 1/21/2019)
Сведения о результатах защиты:
Комитет по диссертации рекомендовал присудить ученую степень кандидата наук НИУ ВШЭ (протокол № 2 от 05.04.2019). Решением диссертационного совета (протокол № 5 от 12.04.2019) присуждена ученая степень кандидата компьютерных наук НИУ ВШЭ.
Ключевые слова:
См. на ту же тему
Синтез моделей процессов для мультиагентных систем по журналам событийКандидатская диссертация
Соискатель: Нестеров Роман Александрович
Руководитель: Помелло Лючия
Дата защиты: 9/29/2022
Информационно-правовое регулирование отношений, формирующихся при использовании облачных вычислений (сервисно-ориентированных распределённых информационных систем)Кандидатская диссертация
Соискатель: Бикбулатова Юлиана Сергеевна
Руководитель: Шаблинский Илья Георгиевич
Дата защиты: 12/21/2018