Метод локальной корректировки хорошо структурированной модели процесса на основе информации из журнала событий

В ходе функционирования информационной системы (ИС) возникает необходимость поддержки моделей процессов в актуальном состоянии. Изменчивость в поведении необходимо выявлять как можно раньше, так как на основе анализа этих изменений можно принять своевременные стратегические решения. Процессно-ориентированные ИС содержат записи, журналы событий, содержащие информацию об исполнении процессов. Эти журналы событий можно использовать для анализа и усовершенствования текущей модели процесса. Один из возможных способов получения актуальной модели – корректировка через полное перестроение последней версии модели процесса на основе изменений в данных записей журнала событий. Однако такой способ не гарантирует сохранение структуры исходной модели, что может быть критично для дальнейшего анализа изменений. В рамках данной работы представлен один из возможных способов корректировки моделей. Целью работы является разработка алгоритма и реализация метода, позволяющего выявить изменения и произвести корректировку BPMN модели процесса, сохранив, если возможно, структуру исходной модели. Работа содержит описание схемы корректировки и сопутствующих алгоритмов, формальное обоснование корректности предложенного метода, реализацию в виде плагина для платформы анализа и извлечения процессов (proM 6 Framework), а также описание экспериментальной апробации метода на искусственных примерах журналов событий. Работа содержит 43 страницы, 4 главы, 40 рисунков, 6 таблиц, 22 источника, 6 приложений. Ключевые слова: извлечение и анализ процессов, автоматический синтез моделей процесса, проверка согласованности, исправление модели, локальная корректировка, структура модели, BPMN нотация, грамматические деревья разбора, плагин для proM 6 Framework