The current version of the BPRoVe ​is available as an Apromore plugin for the editor environment. You can access one of the available Apromore nodes to test its functionalities.

Usage

From the Apromore Editor, open a BPMN model and click on the BProVe icon. A window pops up to select the properties to verify from a drop-down menu. The result of the verification together with the time required to verify the property is reported in the “Verification Result” area. If the result is negative the process trace which violates the property will be highlighted in red.

Video Tutorial

Below a BProVe tutorial for its integration in Apromore is reported.