{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:38:56Z","timestamp":1761709136791,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662486153"},{"type":"electronic","value":"9783662486160"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48616-0_18","type":"book-chapter","created":{"date-parts":[[2015,11,24]],"date-time":"2015-11-24T16:18:43Z","timestamp":1448381923000},"page":"285-302","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Property Preservation in Adaptive Case Management"],"prefix":"10.1007","author":[{"given":"Rik","family":"Eshuis","sequence":"first","affiliation":[]},{"given":"Richard","family":"Hull","sequence":"additional","affiliation":[]},{"given":"Mengfei","family":"Yi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-34321-6_2","volume-title":"Service-Oriented Computing","author":"F Belardinelli","year":"2012","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.) Service Oriented Computing. LNCS, vol. 7636, pp. 17\u201331. Springer, Heidelberg (2012)"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-75183-0_21","volume-title":"Business Process Management","author":"K Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288\u2013304. Springer, Heidelberg (2007)"},{"key":"18_CR3","unstructured":"BizAgi and others. Case Management Model and Notation (CMMN), v1, May 2014. OMG Document Number formal\/2014-05-05, Object Management Group"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-10383-4_9","volume-title":"Service-Oriented Computing","author":"D Calvanese","year":"2009","unstructured":"Calvanese, D., De Giacomo, G., Hull, R., Su, J.: Artifact-centric workflow dominance. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 130\u2013143. Springer, Heidelberg (2009)"},{"issue":"3","key":"18_CR5","first-page":"3","volume":"32","author":"D Cohn","year":"2009","unstructured":"Cohn, D., Hull, R.: Business artifacts: a data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32(3), 3\u20139 (2009)","journal-title":"IEEE Data Eng. Bull."},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1016\/j.is.2012.09.002","volume":"38","author":"E Damaggio","year":"2013","unstructured":"Damaggio, E., Hull, R., Vacul\u00edn, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. Inf. Syst. 38, 561\u2013584 (2013)","journal-title":"Inf. Syst."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of datacentric business processes. In: Proceedings of the International Conference on Database Theory (ICDT) (2009)","DOI":"10.1145\/1514894.1514924"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s13740-014-0038-4","volume":"4","author":"C Di Ciccio","year":"2015","unstructured":"Di Ciccio, C., Marrella, A., Russo, A.: Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches. J. Data Semant. 4(1), 29\u201357 (2015)","journal-title":"J. Data Semant."},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/j.is.2014.04.005","volume":"46","author":"R Eshuis","year":"2014","unstructured":"Eshuis, R., Hull, R., Sun, Y., Vacul\u00edn, R.: Splitting GSM schemas: a framework for outsourcing of declarative artifact systems. Inf. Syst. 46, 157\u2013187 (2014)","journal-title":"Inf. Syst."},{"key":"18_CR10","unstructured":"Eshuis, R., Hull, R., Yi, M.: Reasoning about Property Preservation in Adaptive Case Management. BETA Working Paper Series, Eindhoven University of Technology (2015)"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Hariri, B.B., Calvanese, D., Giacomo, G.D., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of the International Symposium Principles of Database Systems, pp. 163\u2013174 (2013)","DOI":"10.1145\/2463664.2465221"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T.T., Mukkamala, R.R., Slaats, T.: Designing a cross-organizational case management system using dynamic condition response graphs. In: Proceedings of the IEEE EDOC 2011, pp. 161\u2013170. IEEE Computer Society (2011)","DOI":"10.1109\/EDOC.2011.35"},{"key":"18_CR13","first-page":"209","volume":"360","author":"S Huber","year":"2013","unstructured":"Huber, S., Hauptmann, A., Lederer, M., Kurz, M.: Managing complexity in adaptive case management. Proc. S-BPM ONE 360, 209\u2013226 (2013)","journal-title":"Proc. S-BPM ONE"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Hull, R., Damaggio, E., Masellis, R.D., Fournier, F., Gupta, M., III, F.H., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vacul\u00edn, R.: Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In: Proceedings of the 5th ACM International Conference on Distributed Event-Based Systems, pp. 51\u201362. DEBS, USA (2011)","DOI":"10.1145\/2002259.2002270"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-10383-4_1","volume-title":"Service-Oriented Computing","author":"R Hull","year":"2009","unstructured":"Hull, R., Narendra, N.C., Nigam, A.: Facilitating workflow interoperation using artifact-centric hubs. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 1\u201318. Springer, Heidelberg (2009)"},{"issue":"4","key":"18_CR16","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/smr.524","volume":"23","author":"V K\u00fcnzle","year":"2011","unstructured":"K\u00fcnzle, V., Reichert, M.: Philharmonicflows: towards a framework for object-aware process management. J. Softw. Maintenance 23(4), 205\u2013244 (2011)","journal-title":"J. Softw. Maintenance"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Limonad, L., Boaz, D., Hull, R., Vacul\u00edn, R., Heath, F.T.: A generic business artifacts based authorization framework for cross-enterprise collaboration. In: SRII Global Conference, pp. 70\u201379 (2012)","DOI":"10.1109\/SRII.2012.19"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-40176-3_14","volume-title":"Business Process Management","author":"A Meyer","year":"2013","unstructured":"Meyer, A., Pufahl, L., Fahland, D., Weske, M.: Modeling and enacting complex data dependencies in business processes. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 171\u2013186. Springer, Heidelberg (2013)"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/978-3-642-34321-6_39","volume-title":"Service-Oriented Computing","author":"HR Motahari-Nezhad","year":"2012","unstructured":"Motahari-Nezhad, H.R., Bartolini, C., Graupner, S., Spence, S.: Adaptive case management in the social enterprise. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) Service Oriented Computing. LNCS, vol. 7636, pp. 550\u2013557. Springer, Heidelberg (2012)"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Motahari-Nezhad, H.R., Swenson, K.D.: Adaptive case management: overview and research challenges. In: IEEE Conference on Business Informatics (CBI) 2013, pp. 264\u2013269. IEEE (2013)","DOI":"10.1109\/CBI.2013.44"},{"key":"18_CR21","first-page":"127","volume":"2013","author":"RR Mukkamala","year":"2013","unstructured":"Mukkamala, R.R., Hildebrandt, T.T., Slaats, T.: Towards trustworthy adaptive case management with dynamic condition response graphs. Proc. EDOC 2013, 127\u2013136 (2013)","journal-title":"Proc. EDOC"},{"issue":"3","key":"18_CR22","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A Nigam","year":"2003","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: an approach to operational specification. IBM Syst. J. 42(3), 428\u2013445 (2003)","journal-title":"IBM Syst. J."},{"issue":"3","key":"18_CR23","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s11761-010-0065-4","volume":"4","author":"G Redding","year":"2010","unstructured":"Redding, G., Dumas, M., ter Hofstede, A.H.M., Iordachescu, A.: A flexible, object-centric approach for business process modelling. SOCA 4(3), 191\u2013201 (2010)","journal-title":"SOCA"},{"issue":"1","key":"18_CR24","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.datak.2004.01.002","volume":"50","author":"S Rinderle","year":"2004","unstructured":"Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems - a survey. Data Knowl. Eng. 50(1), 9\u201334 (2004)","journal-title":"Data Knowl. Eng."},{"issue":"2","key":"18_CR25","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"WMP van der Aalst","year":"2005","unstructured":"van der Aalst, W.M.P., Weske, M., Gr\u00fcnbauer, D.: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2), 129\u2013162 (2005)","journal-title":"Data Knowl. Eng."},{"issue":"3","key":"18_CR26","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1016\/j.datak.2008.05.001","volume":"66","author":"B Weber","year":"2008","unstructured":"Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features - enhancing flexibility in process-aware information systems. Data Knowl. Eng. 66(3), 438\u2013466 (2008)","journal-title":"Data Knowl. Eng."}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48616-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T14:07:08Z","timestamp":1748700428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48616-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662486153","9783662486160"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48616-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}