Проверка соответствия (Conformance Checking)

Проверка соответствия (Conformance Checking) — это анализ соответствия фактической реализации бизнес-процесса, восстановленного на основе журнала событий и модели этого бизнес-процесса, выполненного, например, в BPM-системе. Проверка соответствия — одна из трех основных форм Process Mining.

Основные задачи проверки соответствия:

  • Увидеть «реальное» состояние бизнес-процесса в формате графической или аналитической модели;
  • Сравнить «реальное» состояние и целевое состояние, зафиксированное в регламентах;
  • Найти «узкие места» в бизнес-процессах;
  • Выделить для последующего выборочного анализа «экстремальные» экземпляры процесса;
  • Проанализировать процессные KPI;
  • Проверить соответствие фактических параметров процесса Service Level Agreement (SLA) стандартам, заложенным в проекте (в первую очередь проверка длительности процессов).

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

Соответствие модели определяется только для конкретного журнала событий. Для проведения проверки соответствий требуется, помимо лога событий, некоторая заранее определенная модель. Это модель может быть построена вручную или получена с помощью методов извлечения. Для расчета соответствия журнал событий последовательно исполняется моделью.

Трасса журнала событий считается соответствующей модели, если может быть получена в результате исполнения этой модели. Журнал событий идеально соответствует модели, если все его трассы соответствуют модели. На практике редко встречаются пары журнал–модель с идеальным соответствием. Поэтому обычно журнал считают соответствующим модели, если некоторая доля трасс в журнале соответствует модели. Значение уровня отсечки задается экспертом в каждом конкретном случае.

Анализ и интерпретация выявленных несоответствий зависит от типа модели:

  • Для дескриптивной (описательной) модели выявленные расхождения между моделью и журналом событий указывают на необходимость улучшения самой модели.
  • Для нормативной модели такие отклонения могут указывать на необходимость лучшего контроля процесса, а также не необходимость проверки неэффективных исполнителей.

Технологии проверки соответствия могут применяться при аудиторских проверках, оптимизации процессов и контроле исполнения нормативных актов.