Анализ согласованности и избыточности ограничений в декларативных моделях процессов на основе журналов событий

Выполнил: Анненков Алексей Николаевич

Объектом исследования являются декларативные модели бизнес-процессов, получаемые на основе журналов событий.

Цель работы — разработка и обоснование алгоритмов анализа и устранения несогласованности и избыточности ограничений в декларативных моделях процессов.

В работе рассматривается ограниченный фрагмент языка Declare, для которого предлагается графовый подход к анализу корректности модели. Введены структурные свидетели несогласованности, описаны критерии выделения кандидатов на минимальные несогласованные подмножества и предложены алгоритмы их верификации. Кроме того, рассмотрена задача проверки избыточности ограничений в уже согласованной модели и предложен алгоритм её решения на основе структурных паттернов в графе следования. В результате работы были формализованы основные понятия, связанные с согласованностью и избыточностью декларативных моделей, разработаны и теоретически обоснованы алгоритмы анализа, а также реализован программный прототип на языке Python. Проведена экспериментальная оценка на реальных журналах событий из нескольких предметных областей. Полученные результаты показывают, что предложенный подход практически применим для анализа реальных декларативных моделей процессов, позволяет выявлять минимальные несогласованные подмножества, устранять противоречия и дополнительно обнаруживать избыточные ограничения в уже согласованной модели.