BProVe: A formal verification framework for business process models

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

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

629 Downloads (Pure)


Business Process Modelling has acquired increasing relevance in software development. Available notations, such as BPMN, permit to describe activities of complex organisations. On the one hand, this shortens the communication gap between domain experts and IT specialists. On the other hand, this permits to clarify the characteristics of software systems introduced to provide automatic support for such activities. Nevertheless, the lack of formal semantics hinders the automatic verification of relevant properties. This paper presents a novel verification framework for BPMN 2.0, called BProVe. It is based on an operational semantics, implemented using MAUDE, devised to make the verification general and effective. A complete tool chain, based on the Eclipse modelling environment, allows for rigorous modelling and analysis of Business Processes. The approach has been validated using more than one thousand models available on a publicly accessible repository. Besides showing the performance of BProVe, this validation demonstrates its practical benefits in identifying correctness issues in real models.
Original languageEnglish
Title of host publicationProceedings of 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
Number of pages12
Publication date2017
ISBN (Print)978-1-5386-3976-4
ISBN (Electronic)978-1-5386-2684-9
Publication statusPublished - 2017
Event2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - University of Illinois at Urbana-Champaign, Illinois, United States
Duration: 30 Oct 20173 Nov 2017
Conference number: 32


Conference2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
LocationUniversity of Illinois at Urbana-Champaign
CountryUnited States
Internet address

Cite this