BProVe: Tool support for business process verification

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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

540 Downloads (Pure)

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 languageEnglish
Title of host publicationProceedings of the 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
Number of pages6
PublisherIEEE
Publication date2017
Pages937-942
ISBN (Print)978-1-5386-3976-4
ISBN (Electronic)978-1-5386-2684-9
DOIs
Publication statusPublished - 2017
Event2017 32nd IEEE/ACM International Conference on Automated Software Engineering - University of Illinois at Urbana-Champaign, United States
Duration: 30 Oct 20173 Nov 2017
Conference number: 32
https://ieeexplore.ieee.org/xpl/conhome/8106906/proceeding

Conference

Conference2017 32nd IEEE/ACM International Conference on Automated Software Engineering
Number32
LocationUniversity of Illinois at Urbana-Champaign
Country/TerritoryUnited States
Period30/10/201703/11/2017
Internet address

Fingerprint

Dive into the research topics of 'BProVe: Tool support for business process verification'. Together they form a unique fingerprint.

Cite this