Abstract
This demo introduces BProVe, a tool supporting automated verification of Business Process models. BProVe analysis is based on a formal operational semantics defined for the BPMN 2.0 modelling language, and is provided as a freely accessible service that uses open standard formats as input data. Furthermore a plug-in for the Eclipse platform has been developed making available a tool chain supporting users in modelling and visualising, in a friendly manner, the results of the verification. Finally we have conducted a validation through more than one thousand models, showing the effectiveness of our verification tool in practice. (Demo video: https://youtu.be/iF5OM7vKtDA)
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) |
| Number of pages | 6 |
| Publisher | IEEE |
| Publication date | 2017 |
| Pages | 937-942 |
| ISBN (Print) | 978-1-5386-3976-4 |
| ISBN (Electronic) | 978-1-5386-2684-9 |
| DOIs | |
| Publication status | Published - 2017 |
| Event | 2017 32nd IEEE/ACM International Conference on Automated Software Engineering - University of Illinois at Urbana-Champaign, United States Duration: 30 Oct 2017 → 3 Nov 2017 Conference number: 32 https://ieeexplore.ieee.org/xpl/conhome/8106906/proceeding |
Conference
| Conference | 2017 32nd IEEE/ACM International Conference on Automated Software Engineering |
|---|---|
| Number | 32 |
| Location | University of Illinois at Urbana-Champaign |
| Country/Territory | United States |
| Period | 30/10/2017 → 03/11/2017 |
| Internet address |