Обнаружение неизменных фрагментов модели системы путем выявления отношений между событиями

ФИО студента: Артамонов Кирилл Андреевич

Руководитель: Ломазова Ирина Александровна

Кампус/факультет: Факультет компьютерных наук

Программа: Системная и программная инженерия (Магистратура)

Год защиты: 2019

Одна из целей аудита бизнес-процессов —— проверка соответствия между моделью процесса и реальным поведением, представленным в виде журнала событий. Процедура проверки соответствия позволяет выявлять такие несоответствия как нежелательное поведение или сдвиги. Существует несколько проверенных методов для проведения этой процедуры: проигрывание модели и выравнивание трасс. Также существует метод, который использует синхронное произведение структур событий, полученных из модели и журнала событий. Однако, эти методы не позволяют нам определить, какие части модели остались неизменными или используют большие вычислительные мощности. Целью данной работы является представление метода для обнаружения неизменных фрагментов модели на основе отношений между событиями, полученными из модели процесса и журнала событий.

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ