Towards a Reference Implementation for Data Centric Dynamic Systems

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.

[1]  Andreas Meyer,et al.  Data in Business Processes , 2011, EMISA Forum.

[2]  Diego Calvanese,et al.  Foundations of data-aware process analysis: a database theory perspective , 2013, PODS.

[3]  Wil M. P. van der Aalst,et al.  Workflow Data Patterns: Identification, Representation and Tool Support , 2005, ER.

[4]  Vera Künzle,et al.  Object-Aware Business Processes: Fundamental Requirements and their Support in Existing Approaches , 2011, Int. J. Inf. Syst. Model. Des..

[5]  Vera Künzle,et al.  PHILharmonicFlows: towards a framework for object-aware process management , 2011, J. Softw. Maintenance Res. Pract..

[6]  Richard Hull,et al.  Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events , 2011, DEBS '11.

[7]  Keith D. Swenson,et al.  Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done , 2010 .

[8]  Marlon Dumas On the Convergence of Data and Process Engineering , 2011, ADBIS.

[9]  Richard Hull,et al.  Declarative business artifact centric modeling of decision and knowledge intensive business processes , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference.

[10]  Diego Calvanese,et al.  Verification of relational data-centric dynamic systems with external services , 2012, PODS.

[11]  Wil M. P. van der Aalst,et al.  DECLARE: Full Support for Loosely-Structured Processes , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[12]  John Vergo,et al.  Siena: From PowerPoint to Web App in 5 Minutes , 2008, ICSOC.

[13]  Marco Montali,et al.  Verification of Artifact-Centric Systems: Decidability and Modeling Issues , 2013, ICSOC.