Верификация моделей бизнес-процессов в QReal:BP

 

В QReal:BP существует возможность проверять модели бизнес-процессов на корректность. Для этой цели в меню "Инструменты" присутствуют два пункта: "Проверить диаграммы" и "Проверить текущую диаграмму" - осуществляющие соответственно верификацию всех диаграмм текущего проекта либо открытой в данный момент диаграммы. Соответствующие кнопки также добавлены на панель "Верификация" (см. Пользовательский интерфейс).

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

Проверка диаграммы с ошибками

Если ошибок не было обнаружено, верификатор выведет сообщение том, что данная диаграмма или диаграммы корректны:

Проверка корректной диаграммы