Modeling and In-Database Management of Relational, Data-Aware Processes

  • Diego Calvanese
  • Marco Montali
  • Fabio Patrizi
  • Andrey RivkinEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11483)


It is known that the engineering of information systems usually requires a huge effort in integrating master data and business processes. Existing approaches, both from academia and the industry, typically come with ad-hoc abstractions to represent and interact with the data component. This has two disadvantages: (i) an existing database (DB) cannot be effortlessly enriched with dynamics; (ii) such approaches generally do not allow for integrated modelling, verification, and enactment. We attack these two challenges by proposing a declarative approach, fully grounded in SQL, that supports the agile modelling of relational data-aware processes directly on top of relational DBs. We show how this approach can be automatically translated into a concrete procedural SQL dialect, executable directly inside any relational DB engine. The translation exploits an in-database representation of process states that, in turn, is used to handle, at once, process enactment with or without logging of the executed instances, as well as process verification. The approach has been implemented in a working prototype.


Data-aware processes Process engines Relational databases 



This research has been partially supported by the UNIBZ projects REKAP and DACOMAN.


  1. 1.
    Hariri, B.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.
    Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of agent-based artifact systems. J. Artif. Intell. Res. 51, 333–376 (2014). Scholar
  3. 3.
    Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data aware process analysis: a database theory perspective. In: Proceedings of PODS (2013)Google Scholar
  4. 4.
    Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.: FO \(\mu \)-calculus over generic transition systems and applications to the situation calculus. Inf. Comp. 259(3), 328–347 (2018)CrossRefGoogle Scholar
  5. 5.
    Calvanese, D., Montali, M., Patrizi, F., Rivkin, A.: Modelling and enactment of data-aware processes. CoRR abs/1810.08062 (2018).
  6. 6.
    Damaggio, E., Hull, R., Vaculín, R.: On the Equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 396–412. Springer, Heidelberg (2011). Scholar
  7. 7.
    De Masellis, R., Di Francescomarino, C., Ghidini, C., Montali, M., Tessaris, S.: Add data into business process verification: bridging the gap between theory and practice. In: Proceedings of AAAI. AAAI Press (2017)Google Scholar
  8. 8.
    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). Scholar
  9. 9.
    Furtado, A.L., Casanova, M.A.: Updating relational views. In: Kim, W., Reiner, D.S., Batory, D.S. (eds.) Query Processing in Database Systems. Topics in Information Systems, pp. 127–142. Springer, Heidelberg (1985). Scholar
  10. 10.
    Hull, R.: Artifact-centric business process models: brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008. LNCS, vol. 5332, pp. 1152–1163. Springer, Heidelberg (2008). Scholar
  11. 11.
    Köpke, J., Su, J.: Towards quality-aware translations of activity-centric processes to guard stage milestone. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 308–325. Springer, Cham (2016). Scholar
  12. 12.
    Künzle, V., Weber, B., Reichert, M.: Object-aware business processes: Fundamental requirements and their support in existing approaches. Int. J. Inf. Syst. Model. Des. 2(2), 19–46 (2011)CrossRefGoogle Scholar
  13. 13.
    Li, Y., Deutsch, A., Vianu, V.: VERIFAS: a practical verifier for artifact systems. PVLDB 11(3), 283–296 (2017)Google Scholar
  14. 14.
    Montali, M., Calvanese, D.: Soundness of data-aware, case-centric processes. Int. J. Softw. Tools Technol. Transf. 18(5), 535–558 (2016)CrossRefGoogle Scholar
  15. 15.
    Montali, M., Rivkin, A.: Model checking Petri nets with names using data-centric dynamic systems. Formal Aspects Comput. 28, 615–641 (2016)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Montali, M., Rivkin, A.: DB-Nets: on the marriage of colored Petri Nets and relational databases. In: Koutny, M., Kleijn, J., Penczek, W. (eds.) Transactions on Petri Nets and Other Models of Concurrency XII. LNCS, vol. 10470, pp. 91–118. Springer, Heidelberg (2017). Scholar
  17. 17.
    Olivé, A.: Conceptual Modeling of Information Systems. Springer, Heidelberg (2007). Scholar
  18. 18.
    Reichert, M.: Process and data: two sides of the same coin? In: Meersman, R., et al. (eds.) OTM 2012. LNCS, vol. 7565, pp. 2–19. Springer, Heidelberg (2012). Scholar
  19. 19.
    Seco, J.C., Debois, S., Hildebrandt, T.T., Slaats, T.: RESEDA: declaring live event-driven computations as reactive semi-structured data. In: Proceedings of EDOC, pp. 75–84 (2018)Google Scholar
  20. 20.
    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). Scholar
  21. 21.
    Sun, Y., Su, J., Wu, B., Yang, J.: Modeling data for business processes. In: Proceedings of ICDE, pp. 1048–1059. IEEE Computer Society (2014)Google Scholar
  22. 22.
    Sun, Y., Su, J., Yang, J.: Universal artifacts: a new approach to business process management (BPM) systems. ACM TMIS 7(1), 3 (2016)Google Scholar
  23. 23.
    Xu, W., Su, J., Yan, Z., Yang, J., Zhang, L.: An artifact-centric approach to dynamic modification of workflow execution. In: Meersman, R., et al. (eds.) OTM 2011. LNCS, vol. 7044, pp. 256–273. Springer, Heidelberg (2011). Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Diego Calvanese
    • 1
  • Marco Montali
    • 1
  • Fabio Patrizi
    • 2
  • Andrey Rivkin
    • 1
    Email author
  1. 1.Free University of Bozen-BolzanoBolzanoItaly
  2. 2.Sapienza Università di RomaRomaItaly

Personalised recommendations