Проверка соответствия декларативных моделей процессов и журналов событий
Выполнил: Анненков Алексей Николаевич
В последние годы с развитием компьютерных технологий возрастает интерес к дисциплине process mining, которая объединяет в себе методы двух широких областей: data science – науки о данных, и process science – науки о процессах.
Объектом исследования является задача проверки соответствия декларативной модели ацикличным журналам событий.
Цель работы - разработать и протестировать алгоритм проверки соответствия декларативной модели и ацикличного журнала событий. В результате работы были описаны методы проверки соответствия декларативной модели с различными бинарными ограничениями и ациклического журнала событий; была разработана библиотека, содержащая алгоритмы, реализующие данные методы. Также были проведены эксперименты, направленные на проверку корректности работы алгоритмов на сгенерированных данных.
Запись защиты
Итоговый отчет (Анненков) (PDF, 1,38 Мб)
Ссылка на репозиторий на GitHub
Руководитель проекта
Департамент программной инженерии: Доцент
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.