The identification of control-flow errors in business processes (BPs) at design time is one of the most relevant tasks of the early phases of the Business Process Management (BPM) lifecycle, named BP verification. In this paper, starting from a Petri net-based representation of a BP model, we show how instances of the verification problem can be represented as planning problems in PDDL (Planning Domain Definition Language) for which planners can find a correct solution in a finite amount of time. If verification problems are converted into planning problems, one can seamlessly leverage the best performing automated planners, with advantages in terms of versatility and customization.
Verifying Petri Net-Based Process Models using Automated Planning / Agostinelli, Simone; Maggi, Fabrizio Maria; Marrella, Andrea; Mecella, Massimo. - (2019), pp. 44-53. (Intervento presentato al convegno 23rd IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshop 2019 tenutosi a Paris; France) [10.1109/EDOCW.2019.00021].
Verifying Petri Net-Based Process Models using Automated Planning
AGOSTINELLI, SIMONE
;Maggi, Fabrizio Maria
;Marrella, Andrea
;Mecella, Massimo
2019
Abstract
The identification of control-flow errors in business processes (BPs) at design time is one of the most relevant tasks of the early phases of the Business Process Management (BPM) lifecycle, named BP verification. In this paper, starting from a Petri net-based representation of a BP model, we show how instances of the verification problem can be represented as planning problems in PDDL (Planning Domain Definition Language) for which planners can find a correct solution in a finite amount of time. If verification problems are converted into planning problems, one can seamlessly leverage the best performing automated planners, with advantages in terms of versatility and customization.File | Dimensione | Formato | |
---|---|---|---|
Agostinelli_Verifying_2019.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
294.53 kB
Formato
Adobe PDF
|
294.53 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.