The Community for Technology Leaders
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (2017)
Urbana, IL, USA
Oct. 30, 2017 to Nov. 3, 2017
ISBN: 978-1-5386-3976-4
pp: 937-942
Flavio Corradini , University of Camerino, Italy
Fabrizio Fornari , University of Camerino, Italy
Andrea Polini , University of Camerino, Italy
Barbara Re , University of Camerino, Italy
Francesco Tiezzi , University of Camerino, Italy
Andrea Vandin , DTU Compute, Denmark
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)
INDEX TERMS
Tools, Business, Atmospheric modeling, Load modeling, Semantics, Analytical models, Collaboration
CITATION

F. Corradini, F. Fornari, A. Polini, B. Re, F. Tiezzi and A. Vandin, "BProVe: Tool support for business process verification," 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Urbana, IL, USA, 2017, pp. 937-942.
doi:10.1109/ASE.2017.8115708
389 ms
(Ver 3.3 (11022016))