VBPMN - Verification of BPMN

The goal of VBPMN is to provide formal modelling and automated
analysis techniques for ensuring correctness, efficiency,
and quality of the whole business process execution.

VBPMN provides a web interface where process designers can upload
BPMN 2.0 models and compare them using various comparison modes.
The interface provides instant feedback through counter examples and
helps users correct and refine their models.

Usage

VBPMN web app is available for download as a web archive (WAR).
Hosting of the web app requires Apache Tomcat 8.0.

Download VBPMN

Once you have the web app running, you can access the application
using the following web page (assuming tomcat is running locally on port 8080)

http://localhost:8080/transformation

If you need sample BPMN 2.0 models to try, you can download it from the site

Download BPMN 2.0 Samples

For more information, you can visit the VBPMN site - https://pascalpoizat.github.io/vbpmn-web/

Contributors

• Pascal Poizat
• Gwen Salaün
• Ajay Krishna

License

Web pages

The website is built on top of:

• Bootstrap, version 3.0.3, licenced under Apache Licence 2.0
• Font Awesome, version 4.1.0, licenced under SIL OFL 1.1 (desktop and webfont files) and MIT Licence (css and less files)
• Glyph Icons Halflings, released under the same licence as Bootstrap