WikiDer > Проверка соответствия

Простая визуальная проверка соответствия с использованием myInvenio

Проверка соответствия бизнес-процессов (a.k.a. проверка соответствия для краткости) это семья процесс добычи tметоды для сравнения модель процесса с Журнал событий того же процесса.^[1] Он используется для проверки фактического выполнения бизнес-процесс, как записано в журнале событий, соответствует модели и наоборот.

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

Другой пример - проверка так называемого «принцип очкарик указание на то, что определенные действия не должны выполняться одним и тем же лицом. Сканируя журнал событий с использованием модели, определяющей эти требования, можно обнаружить потенциальные случаи мошенничество. Следовательно, проверка соответствия может использоваться для обнаружения, локализации и объяснения отклонений, а также для измерения серьезности этих отклонений.^[2]

Обзор

Методы проверки соответствия принимают в качестве входных данных модель процесса и журнал событий и возвращают набор различий между поведением, зафиксированным в модели процесса, и поведением, зафиксированным в журнале событий. Эти различия могут быть представлены визуально (например, наложены поверх модели процесса) или текстуально в виде списков операторов естественного языка (например, действие x выполняется несколько раз в журнале, но это не допускается в соответствии с моделью). Некоторые методы могут также производить нормализованные меры (от 0 до 1), указывающие, в какой степени модель процесса и журнал событий соответствуют друг другу.

Интерпретация несоответствия зависит от цели модели:

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

Методы

Цель проверки соответствия - выявить два типа несоответствий:

• Неподходящее поведение журнала: поведение, наблюдаемое в журнале, которое не разрешено моделью.
• Дополнительное поведение модели: поведение разрешено в модели, но не наблюдается в журнале.

Существует три семейства методов для обнаружения неподходящего поведения журнала: воспроизведение, выравнивание трассировки и выравнивание поведения.

В переиграть техники,^[3] каждая трассировка воспроизводится в модели процесса по одному событию за раз. При обнаружении ошибки воспроизведения об этом сообщается, и производится локальная коррекция для возобновления процедуры воспроизведения. Локальное исправление может заключаться, например, в пропуске / игнорировании задачи в модели процесса или пропуске / игнорировании события в журнале.

Общее ограничение методов воспроизведения заключается в том, что исправление ошибок выполняется локально каждый раз, когда обнаруживается ошибка. Следовательно, эти методы могут не определять минимальное количество ошибок, которые могут объяснить непригодное поведение журнала. Это ограничение устраняется выравнивание трассы техники.^[4] Эти последние методы определяют для каждой трассы в журнале ближайшую соответствующую трассу, которая может быть проанализирована моделью. Методы совмещения трасс также вычисляют совмещение, показывающее точки расхождения между этими двумя трассами. Результатом является набор пар выровненных трасс. Каждая пара показывает след в журнале, который не соответствует точно следу в модели, вместе с соответствующими ближайшими следами, созданными моделью.

Методы выравнивания трассировки не обрабатывают явно параллельные задачи или циклическое поведение (повторение задач). Если, например, четыре задачи могут происходить только в фиксированном порядке в модели процесса (например, [A, B, C, D]), но они могут происходить одновременно в журнале (т.е. в любом порядке), это различие не может быть обнаружено напрямую с помощью выравнивание трассы, потому что ее нельзя наблюдать на уровне отдельных трасс. Это ограничение устраняется поведенческое выравнивание техники^[5] Эти методы вычисляют выравнивание между пространство состояний процесса, захваченного моделью, в пространстве состояний процесса, записанного в журнале, и обнаруживать состояния, в которых задача или поведенческое отношение возникают в модели, но не в журнале. Таким образом, эти методы могут обнаруживать как неподходящее поведение, так и дополнительное поведение.

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

Например, если событие C никогда не наблюдается после префикса AB, то C может быть вставлено как отрицательное событие после AB. После этого журнал, дополненный отрицательными событиями, воспроизводится в модели процесса. Если модель процесса может воспроизвести отрицательные события, это означает, что в модели процесса зафиксировано поведение, которое не фиксируется в журнале (поскольку отрицательные события соответствуют поведению, которое никогда не наблюдается в журнале).

Рекомендации