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