{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T08:11:51Z","timestamp":1790842311051,"version":"4.1.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030212896","type":"print"},{"value":"9783030212902","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-21290-2_21","type":"book-chapter","created":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T21:39:12Z","timestamp":1559079552000},"page":"328-345","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Modeling and In-Database Management of Relational, Data-Aware Processes"],"prefix":"10.1007","author":[{"given":"Diego","family":"Calvanese","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Patrizi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrey","family":"Rivkin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,5,29]]},"reference":[{"key":"21_CR1","unstructured":"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)"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1613\/jair.4424","volume":"51","author":"F Belardinelli","year":"2014","unstructured":"Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of agent-based artifact systems. J. Artif. Intell. Res. 51, 333\u2013376 (2014). https:\/\/doi.org\/10.1613\/jair.4424","journal-title":"J. Artif. Intell. Res."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data aware process analysis: a database theory perspective. In: Proceedings of PODS (2013)","DOI":"10.1145\/2463664.2467796"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/j.ic.2017.08.007","volume":"259","author":"D Calvanese","year":"2018","unstructured":"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\u2013347 (2018)","journal-title":"Inf. Comp."},{"key":"21_CR5","unstructured":"Calvanese, D., Montali, M., Patrizi, F., Rivkin, A.: Modelling and enactment of data-aware processes. CoRR abs\/1810.08062 (2018). http:\/\/arxiv.org\/abs\/1810.08062"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-23059-2_29","volume-title":"Business Process Management","author":"E Damaggio","year":"2011","unstructured":"Damaggio, E., Hull, R., Vacul\u00edn, 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\u2013412. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_29"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1609\/aaai.v31i1.10688"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-23737-9_2","volume-title":"Advances in Databases and Information Systems","author":"M Dumas","year":"2011","unstructured":"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\u201326. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23737-9_2"},{"key":"21_CR9","series-title":"Topics in Information Systems","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-82375-6_7","volume-title":"Query Processing in Database Systems","author":"AL Furtado","year":"1985","unstructured":"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\u2013142. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-82375-6_7"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1007\/978-3-540-88873-4_17","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"R Hull","year":"2008","unstructured":"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\u20131163. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88873-4_17"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-319-45348-4_18","volume-title":"Business Process Management","author":"J K\u00f6pke","year":"2016","unstructured":"K\u00f6pke, 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\u2013325. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_18"},{"issue":"2","key":"21_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.4018\/jismd.2011040102","volume":"2","author":"V K\u00fcnzle","year":"2011","unstructured":"K\u00fcnzle, 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\u201346 (2011)","journal-title":"Int. J. Inf. Syst. Model. Des."},{"issue":"3","key":"21_CR13","first-page":"283","volume":"11","author":"Y Li","year":"2017","unstructured":"Li, Y., Deutsch, A., Vianu, V.: VERIFAS: a practical verifier for artifact systems. PVLDB 11(3), 283\u2013296 (2017)","journal-title":"PVLDB"},{"issue":"5","key":"21_CR14","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/s10009-016-0417-2","volume":"18","author":"M Montali","year":"2016","unstructured":"Montali, M., Calvanese, D.: Soundness of data-aware, case-centric processes. Int. J. Softw. Tools Technol. Transf. 18(5), 535\u2013558 (2016)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s00165-016-0370-6","volume":"28","author":"M Montali","year":"2016","unstructured":"Montali, M., Rivkin, A.: Model checking Petri nets with names using data-centric dynamic systems. Formal Aspects Comput. 28, 615\u2013641 (2016)","journal-title":"Formal Aspects Comput."},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-662-55862-1_5","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XII","author":"M Montali","year":"2017","unstructured":"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\u2013118. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-55862-1_5"},{"key":"21_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39390-0","volume-title":"Conceptual Modeling of Information Systems","author":"A Oliv\u00e9","year":"2007","unstructured":"Oliv\u00e9, A.: Conceptual Modeling of Information Systems. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-39390-0"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-33606-5_2","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"M Reichert","year":"2012","unstructured":"Reichert, M.: Process and data: two sides of the same coin? In: Meersman, R., et al. (eds.) OTM 2012. LNCS, vol. 7565, pp. 2\u201319. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33606-5_2"},{"key":"21_CR19","unstructured":"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\u201384 (2018)"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-642-45005-1_18","volume-title":"Service-Oriented Computing","author":"D Solomakhin","year":"2013","unstructured":"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\u2013266. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45005-1_18"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Sun, Y., Su, J., Wu, B., Yang, J.: Modeling data for business processes. In: Proceedings of ICDE, pp. 1048\u20131059. IEEE Computer Society (2014)","DOI":"10.1109\/ICDE.2014.6816722"},{"issue":"1","key":"21_CR22","first-page":"3","volume":"7","author":"Y Sun","year":"2016","unstructured":"Sun, Y., Su, J., Yang, J.: Universal artifacts: a new approach to business process management (BPM) systems. ACM TMIS 7(1), 3 (2016)","journal-title":"ACM TMIS"},{"key":"21_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-642-25109-2_17","volume-title":"On the Move to Meaningful Internet Systems: OTM 2011","author":"W Xu","year":"2011","unstructured":"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\u2013273. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25109-2_17"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21290-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T00:04:48Z","timestamp":1716854688000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-21290-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030212896","9783030212902"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21290-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.caise19.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}