{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T00:02:35Z","timestamp":1746316955589},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45005-1_18","type":"book-chapter","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T04:53:14Z","timestamp":1385527994000},"page":"252-266","source":"Crossref","is-referenced-by-count":16,"title":["Verification of Artifact-Centric Systems: Decidability and Modeling Issues"],"prefix":"10.1007","author":[{"given":"Dmitry","family":"Solomakhin","sequence":"first","affiliation":[]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Tessaris","sequence":"additional","affiliation":[]},{"given":"Riccardo","family":"De Masellis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes - A Petri Net-Oriented Approach. Springer (2011)","DOI":"10.7551\/mitpress\/8811.001.0001"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-12459-4_6","volume-title":"Formal Aspects in Security and Trust","author":"A. Armando","year":"2010","unstructured":"Armando, A., Ponta, S.E.: Model checking of security-sensitive business processes. In: Degano, P., Guttman, J.D. (eds.) FAST 2009. LNCS, vol.\u00a05983, pp. 66\u201380. Springer, Heidelberg (2010)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri, B., Calvanese, D., De Giacomo, G., De Masellis, R., Felli, P., Montali, M.: Description logic knowledge and action bases. Journal of Artificial Intelligence Research, 651\u2013686 (2013)","DOI":"10.1613\/jair.3826"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proc. of PODS, pp. 163\u2013174. ACM Press (2013)","DOI":"10.1145\/2463664.2465221"},{"key":"18_CR5","unstructured":"Belardinelli, F., Lomuscio, A., Patrizi, F.: An abstraction technique for the verification of artifact-centric systems. In: Proc. of KR. AAAI Press (2012)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of gsm-based artifact-centric systems through finite abstraction. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) ICSOC 2012. LNCS, vol.\u00a07636, pp. 17\u201331. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-34321-6_2"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal\u00a046(4) (2007)","DOI":"10.1147\/sj.464.0703"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data-aware process analysis: A database theory perspective. In: Proc. of PODS, pp. 1\u201312. ACM Press (2013)","DOI":"10.1145\/2463664.2467796"},{"key":"18_CR9","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. The MIT Press (1999)"},{"key":"18_CR10","unstructured":"Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull.\u00a032(3) (2009)"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Damaggio, E., Hull, R., Vaculin, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. Information Systems (2012)","DOI":"10.1007\/978-3-642-23059-2_29"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. of ICDT, pp. 252\u2013267. ACM Press (2009)","DOI":"10.1145\/1514894.1514924"},{"key":"18_CR13","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.\u00a06909, pp. 19\u201326. Springer, Heidelberg (2011)"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Model checking and the mu-calculus. In: Descriptive Complexity and Finite Models (1996)","DOI":"10.1090\/dimacs\/031\/06"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Gonzalez, P., Griesmayer, A., Lomuscio, A.: Verifying gsm-based business artifacts. In: Proc. of ICWS, pp. 25\u201332. IEEE (2012)","DOI":"10.1109\/ICWS.2012.31"},{"key":"18_CR16","unstructured":"Group, T.O.M.: Object constraint language, version 2.0. Tech. Rep. formal\/06-05-01, The Object Management Group (May 2006), \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/2.0\/"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-69387-1_58","volume-title":"Computational Science \u2013 ICCS 2008","author":"S. Morimoto","year":"2008","unstructured":"Morimoto, S.: A survey of formal verification for business process modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol.\u00a05102, pp. 514\u2013522. Springer, Heidelberg (2008)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal\u00a042(3) (2003)","DOI":"10.1147\/sj.423.0428"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/11538394_11","volume-title":"Business Process Management","author":"F. Puhlmann","year":"2005","unstructured":"Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 153\u2013168. Springer, Heidelberg (2005)"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Russo, A., Mecella, M., Montali, M., Patrizi, F.: Towards a reference implementation for data centric dynamic systems. In: Proc. of BPM Workshops (2013)","DOI":"10.1109\/SOCA.2013.37"},{"key":"18_CR21","unstructured":"Solomakhin, D., Montali, M., Tessaris, S.: Formalizing guard-stage-milestone meta-models as data-centric dynamic systems. Tech. Rep. KRDB12-4, KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano (2012)"},{"key":"18_CR22","unstructured":"The Object Management Group: Case Management Model and Notation (CMMN), Beta 1 (January 2013), \n                    \n                      http:\/\/www.omg.org\/spec\/CMMN\/1.0\/Beta1\/"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45005-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T17:57:40Z","timestamp":1558720660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45005-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642173578","9783642173585"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45005-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}