Аннотация:
В центре внимания process mining находятся способы автоматического синтеза моделей для процессов, происходящих в технических или социальных системах. Не менее важными являются алгоритмы, обеспечивающие возможность проверить, соответствует ли уже имеющаяся модель реальному процессу, следы исполнения которого записаны в журналах событий. Но как поступить, если в результате такой проверки выяснилось, что существующая модель не вполне отражает реальный процесс? Конечно, можно синтезировать новую модель «с нуля». Но при этом можно потерять полезные свойства исходной модели. В последние годы были предложены методы для исправления, корректировки, адаптации моделей процессов, которые могут помочь путём не слишком существенных изменений привести имеющуюся модель в соответствие реальному процессу. Эти методы и будут рассмотрены в докладе.