BProVe – Web Service
The BProVe Web Service is accessible by means of html post requests. A JSON string must be defined and sent to the web service to access its functionalities. A guide for interacting with the BProVe Web Service is available.
Behind the scene
- We developed two implementation of the BPMN 2.0 Operational Semantics in Maude. One, the most direct implementation, reports for each rule of the semantics one or more Maude rewriting rules. The second instead is an improved version which allows to perform faster verifications thanks to some development tricks in Maude; those changes do not affect the meaning of the semantics.
- A parser from BPMN to Maude has been developed for both the versions.
- Both the BPMN Operational Semantics versions, and the parsers, are stored in a Git Repository https://PROSLab@bitbucket.org/proslabteam/bpmnos.git.
- To run them you need to download Maude (http://maude.cs.uiuc.edu/) and follow the README file reported in each folder.
BProVe has been largely tested over 2569 models included in the BPMN Academic Initiative (http://bpmai.org/). The tests confirm that it is not seldom to find models that violate relevant behavioural properties, also after their release. In addition the experiments confirm that our approach seems to be applicable in practice to realistic BPMN models.