• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Исправление моделей процессов с сохранением их структуры на основе журналов событий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)

Отзывы
Отзыв научного руководителя
Сведения о результатах защиты:
Комитет по диссертации рекомендовал присудить ученую степень кандидата наук НИУ ВШЭ (протокол № 2 от 05.04.2019). Решением диссертационного совета (протокол № 5 от 12.04.2019) присуждена ученая степень кандидата компьютерных наук НИУ ВШЭ.