Advertisement

Towards a Reference Implementation for Data Centric Dynamic Systems

  • Alessandro RussoEmail author
  • Massimo Mecella
  • Marco Montali
  • Fabio Patrizi
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 171)

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.

Notes

Acknowledgments

This work has been partially supported by the Sapienza grants TESTMED, SUPER and “Premio Ricercatori Under-40”, and by the EU FP7-ICT Project ACSI (257593).

References

  1. 1.
    Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of PODS (2013)Google Scholar
  2. 2.
    Calvanese, D., De Giacomo, G., Montali, M.: Foundations of Data-Aware Process Analysis: A Database Theory Perspective. In: Proceedings of PODS (2013)Google Scholar
  3. 3.
    Cohn, D., Dhoolia, P., Heath III, F., Pinel, F., Vergo, J.: Siena: from powerpoint to web app in 5 minutes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 722–723. Springer, Heidelberg (2008) Google Scholar
  4. 4.
    Dumas, M.: On the convergence of data and process engineering. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds.) ADBIS 2011. LNCS, vol. 6909, pp. 19–26. Springer, Heidelberg (2011) Google Scholar
  5. 5.
    Hull, R., Damaggio, E., De Masellis, R. et al.: Business Artifacts with Guard-Stage-Milestone Lifecycles: Managing Artifact Interactions with Conditions and Events. In: Proceedings of DEBS ’11 (2011)Google Scholar
  6. 6.
    Kunzle, V., Reichert, M.: PHILharmonicFlows: towards a framework for object-aware process management. J. Softw. Maint. Evol.: Res. Pract. 23(4), 205–244 (2011)CrossRefGoogle Scholar
  7. 7.
    Kunzle, V., Weber, B., Reichert, M.: Object-aware business processes: fundamental requirements and their support in existing approaches. Int. J. Inf. Syst. Model. Design (IJISMD) 2(2), 19–46 (2011)CrossRefGoogle Scholar
  8. 8.
    Meyer, A., Smirnov, S., Weske, M.: Data in business processes. EMISA Forum 31(3), 5–31 (2011)Google Scholar
  9. 9.
    Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full support for loosely-structured processes. In: Proceedings of EDOC (2007)Google Scholar
  10. 10.
    Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns: identification, representation and tool support. In: Delcambre, L.M.L., Kop, Ch., Mayr, H.C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. LNCS, vol. 3716, pp. 353–368. Springer, Heidelberg (2005) Google Scholar
  11. 11.
    Solomakhin, D., Montali, M., Tessaris, S., De Masellis, R.: Verification of artifact-centric systems: decidability and modeling issues. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 252–266. Springer, Heidelberg (2013) Google Scholar
  12. 12.
    Swenson, K.D. (ed.): Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer Press, Tampa (2010)Google Scholar
  13. 13.
    Vaculin, R., Hull, R., Heath, T., Cochran, C., Nigam, A., Sukaviriya, P.: Declarative business artifact centric modeling of decision and knowledge intensive business processes. In: Proceedings of EDOC 2011 (2011)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Alessandro Russo
    • 1
    Email author
  • Massimo Mecella
    • 1
  • Marco Montali
    • 2
  • Fabio Patrizi
    • 1
  1. 1.DIAGSapienza Università di RomaRomeItaly
  2. 2.KRDB Research CentreFree University of Bozen-BolzanoBolzanoItaly

Personalised recommendations