BPMN Analyzer 2.0: Instantaneous BPMN control-flow analysis and error resolution :fire:

BPMN Analyzer 2.0: Instantaneous BPMN control-flow analysis and error resolution :fire:

The BPMN Analyzer 2.0 is a tool to analyze BPMN process models to find, display, and fix control-flow errors already during modeling. Unlike my previous BPMN Analyzer, this tool is written in Rust and uses a pragmatic encoding of BPMN semantics for optimal performance regarding control-flow analysis. A demo version of the analyzer is hosted online and the source code is open-source (front-end, back-end). My research paper about the analyzer is published at the Demonstrations & Resources Forum co-located with the 22nd International Conference on Business Process Management (BPM 2024). In the following YouTube video I demo the BPMN Analyzer 2.0:

The BPMN Analyzer 2.0 has three ambitious goals:

  1. Instantaneous analysis (< 500ms) of realistic BPMN models.
  2. Understandability of the found control-flow errors (clearly showing their cause).
  3. Automatic quick-fixes for the most common control-flow errors.

The analyzer can easily be integrated into BPMN modeling tools like bpmn.io as in our demo to provide instant feedback during modeling. In the screenshot below, one can see control-flow errors highlighted in red and quick-fix suggestions in green.

Modeling with the BPMN Analyzer 2.0 enabled

To understand control-flow errors, the analyzer can visualize the possible execution that led to the error. The following screenshot shows how the analyzer visualizes the execution leading to a process getting stuck.

Error example in the BPMN Analyzer 2.0