Data- and artifact-centric business processes are gaining momentum due to their ability of explicitly capturing the interplay between the process control-flow and the manipulated data. In this paper, we rely on the framework of Data-Centric Dynamic Systems (DCDSs), which has been recently introduced for the formal specification and verification of data-centric processes, showing how it can be lifted towards run-time execution support. In particular, we focus on the problem of database update as induced by the action execution, introducing a set of patterns that allow for an incremental management of the update. At the same time, we discuss the natural correspondence between DCDSs and state-of-the-art rule engines, e.g., JBoss Drools, which paves the way towards a reference implementation for data- and artifact-centric processes, where the model used for analysis and verification is fully aligned with the one adopted for the execution. © Springer International Publishing Switzerland 2014.
Towards a reference implementation for Data Centric Dynamic Systems / Russo, Alessandro; Mecella, Massimo; Marco, Montali; Patrizi, Fabio. - 171 LNBIP:(2014), pp. 141-154. (Intervento presentato al convegno 11th International Conference on Business Process Management, BPM 2013 tenutosi a Beijing nel 26 August 2013 through 30 August 2013) [10.1007/978-3-319-06257-0].
Towards a reference implementation for Data Centric Dynamic Systems
RUSSO, ALESSANDRO;MECELLA, Massimo;PATRIZI, FABIO
2014
Abstract
Data- and artifact-centric business processes are gaining momentum due to their ability of explicitly capturing the interplay between the process control-flow and the manipulated data. In this paper, we rely on the framework of Data-Centric Dynamic Systems (DCDSs), which has been recently introduced for the formal specification and verification of data-centric processes, showing how it can be lifted towards run-time execution support. In particular, we focus on the problem of database update as induced by the action execution, introducing a set of patterns that allow for an incremental management of the update. At the same time, we discuss the natural correspondence between DCDSs and state-of-the-art rule engines, e.g., JBoss Drools, which paves the way towards a reference implementation for data- and artifact-centric processes, where the model used for analysis and verification is fully aligned with the one adopted for the execution. © Springer International Publishing Switzerland 2014.File | Dimensione | Formato | |
---|---|---|---|
VE_2014_11573-650796.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
246.11 kB
Formato
Adobe PDF
|
246.11 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.