kirancodes.me
To Proof Maintenance & Beyond!
ASE 2017

BProVe: tool support for business process verification

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin

Full textDOI 10.1109/ase.2017.8115708dblp

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).

BibTeX
@inproceedings{Corradini-al:ASE17,
  author    = {Flavio Corradini and
               Fabrizio Fornari and
               Andrea Polini and
               Barbara Re and
               Francesco Tiezzi and
               Andrea Vandin},
  title     = {{BProVe:} tool support for business process verification},
  booktitle = {ASE},
  pages     = {937--942},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
}

Related papers