name: Методы и инструменты повышения эффективности алгоритмов майнинга процессов
keyword_list: алгоритм регионов, журналы событий, извлечение и анализ моделей процессов, майнинг процессов, сети Петри
abstract: Объект исследования: Формальные модели процессов в информационных системах.Цель работы: Разработка новых алгоритмов синтеза моделей процессов и ресурсно-эффективная их реализация в виде программного обеспечения.Методы исследования, кроме используемых приборов и аппаратуры: Методы автоматического синтеза и анализа моделей процессов на основе журналов событий; методы программной инженерии; методы экспериментального исследования программ.Достигнутые результаты:1. Разработан новый метод параметрической редукции систем переходов с сохранением качественных характеристик моделей. Метод включает новый алгоритм редукции систем переходов и алгоритм вычисления метрики точность.2. Предложен новый метод синтеза сетей Петри алгоритмом регионов для больших журналов событий. Метод основан на принципе адаптивной редукции систем переходов и включает расширение алгоритма регионов для систем переходов с петлями и синтеза WF-сетей.3. Разработан новый способ представления журналов событий на основе РСУБД для эффективного хранения и извлечения данных о событиях.4. Разработана архитектура и реализованы в виде программного решения инструменты эффективной реализации алгоритмов для process mining. Решение включает высокопроизводительную библиотеку LDOPA, инструменты интеграции с языком Python и инструмент графического моделирования VTMine for Visio.Новизна: В работе предлагаются новые подходы к синтезу моделей процессов. Предложены новые принципы представления больших журналов событий и извлечения процессных перспектив без необходимости перестроения журнала событий. Также разработано новое программное обеспечения для синтеза и анализа моделей процессов.Внедрение: Результаты работы применяются в прикладных проектах научно-учебной лаборатории, а также для решения практических задач в смежных предметных областях.Эффективность: В работе демонстрируется эффективность разработанных методов с точки зрения качества синтезируемых моделей. Проводится экспериментальное подтверждение на наборе искусственных и реальных журналов событий. Предлагаемое решение позволяет повысить эффективность вычислительно сложного алгоритма регионов (для некоторых разновидностей моделей — экспоненциально-сложного от размера входных данных) для больших журналов событий, которые встречаются на практике. Разработанное программное решение в сравнительных экспериментах показала лучшую ресурсную эффективность в сравнении с аналогичными инструментами.Область применения: Моделирование программ и процессов в информационных системах, методы анализа процессов, Process mining.
chairman_dissertation_council.surname: Верещагин Н. К.
chairman_dissertation_council.position: профессор
chairman_dissertation_council.degree: Доктор физико-математических наук
organization_supervisor.surname: Радаев В.В.
organization_supervisor.position: первый проректор
organization_supervisor.degree: Доктор экономических наук
rubrics.code: 28.25.15
rubrics.name: Анализ и синтез конечных автоматов
rubrics.code: 28.17.31
rubrics.name: Моделирование процессов управления
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
speciality_codes.name: Теоретические основы информатики
speciality_codes.code: 05.13.17
supervisors.fio: Ломазова И.А.
supervisors.scientific_degree: Доктор физико-математических наук
supervisors.speciality_code: Теоретические основы информатики
supervisors.responsible_type: Научный руководитель
opponents.fio: нет
opponents.responsible_type: Оппонент
opponents.fio: нет
opponents.responsible_type: Оппонент
protection_organization.short_name: Национальный исследовательский университет "Высшая школа экономики"; Национальный исследовательский университет ВШЭ; Высшая школа экономики; НИУ ВШЭ; ВШЭ
protection_organization.name: Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский университет "Высшая школа экономики"
protection_organization.ogrn: 1027739630401
protection_organization.organization_type: Организация
protection_organization.okogu: Правительство Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: Национальный исследовательский университет "Высшая школа экономики"; Национальный исследовательский университет ВШЭ; Высшая школа экономики; НИУ ВШЭ; ВШЭ
author_organization.name: Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский университет "Высшая школа экономики"
author_organization.ogrn: 1027739630401
author_organization.organization_type: Организация
author_organization.okogu: Правительство Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения