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.

BProVe: Tool Support for Business Process Verification / CORRADINI, Flavio; POLINI, Andrea; FORNARI, FABRIZIO; RE, Barbara; TIEZZI, Francesco; VANDIN, ANDREA. - STAMPA. - (2017), pp. 937-942. (Intervento presentato al convegno ASE 2017 tenutosi a Urbana-Champaign, IL, USA nel 30 October - 3 November).

BProVe: Tool Support for Business Process Verification

TIEZZI, Francesco;
2017

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.
2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
ASE 2017
Urbana-Champaign, IL, USA
30 October - 3 November
CORRADINI, Flavio; POLINI, Andrea; FORNARI, FABRIZIO; RE, Barbara; TIEZZI, Francesco; VANDIN, ANDREA
File in questo prodotto:
File Dimensione Formato  
ase17demo-demoid15-p-ecec75b-34274-preprint.pdf

Accesso chiuso

Dimensione 495.23 kB
Formato Adobe PDF
495.23 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1243606
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? ND
social impact