{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:04:36Z","timestamp":1774915476466,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540749738","type":"print"},{"value":"9783540749745","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-10383-4_44","type":"book-chapter","created":{"date-parts":[[2009,11,24]],"date-time":"2009-11-24T14:49:58Z","timestamp":1259074198000},"page":"607-621","source":"Crossref","is-referenced-by-count":10,"title":["Another Approach to Service Instance Migration"],"prefix":"10.1007","author":[{"given":"Nannette","family":"Liske","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niels","family":"Lohmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Stahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"44_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69534-9_1","volume-title":"Advanced Information Systems Engineering","author":"M.P. Papazoglou","year":"2008","unstructured":"Papazoglou, M.P.: The challenges of service evolution. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 1\u201315. Springer, Heidelberg (2008)"},{"key":"44_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/978-3-642-00899-3_10","volume-title":"ToPNoC II","author":"C. Stahl","year":"2009","unstructured":"Stahl, C., Massuthe, P., Bretschneider, J.: Deciding substitutability of services with operating guidelines. In: Jensen, K., van der Aalst, W. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 172\u2013191. Springer, Heidelberg (2009)"},{"key":"44_CR3","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1145\/1367497.1367603","volume-title":"WWW 2008","author":"D. K\u00f6nig","year":"2008","unstructured":"K\u00f6nig, D., Lohmann, N., Moser, S., Stahl, C., Wolf, K.: Extending the compatibility notion for abstract WS-BPEL processes. In: WWW 2008, pp. 785\u2013794. ACM, New York (2008)"},{"key":"44_CR4","volume-title":"Web Services: Principles and Technology","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou, M.P.: Web Services: Principles and Technology. Pearson - Prentice Hall, Essex (2007)"},{"key":"44_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73094-1_20","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 321\u2013341. Springer, Heidelberg (2007)"},{"key":"44_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-642-00899-3_9","volume-title":"ToPNoC II","author":"K. Wolf","year":"2009","unstructured":"Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 152\u2013171. Springer, Heidelberg (2009)"},{"key":"44_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-642-01247-1_7","volume-title":"ICSOC 2008","author":"K. Kaschner","year":"2009","unstructured":"Kaschner, K., Lohmann, N.: Automatic test case generation for interacting services. In: Feuerlicht, G., Lamersdorf, W. (eds.) ICSOC 2008. LNCS, vol.\u00a05472, pp. 66\u201378. Springer, Heidelberg (2009)"},{"key":"44_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-85758-7_12","volume-title":"Business Process Management","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: Correcting deadlocking service choreographies using a simulation-based graph edit distance. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 132\u2013147. Springer, Heidelberg (2008)"},{"key":"44_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1007\/BFb0019939","volume-title":"Conceptual Modeling - ER \u201996","author":"F. Casati","year":"1996","unstructured":"Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. In: Thalheim, B. (ed.) ER 1996. LNCS, vol.\u00a01157, pp. 438\u2013455. Springer, Heidelberg (1996)"},{"issue":"1","key":"44_CR10","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.datak.2007.06.006","volume":"64","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowledge Engineering\u00a064(1), 38\u201354 (2008)","journal-title":"Data Knowledge Engineering"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"Ryu, S.H., Casati, F., Skogsrud, H., Benatallah, B., Saint-Paul, R.: Supporting the dynamic evolution of web service protocols in service-oriented architectures. TWEB\u00a02(2) (2008)","DOI":"10.1145\/1346337.1346241"},{"issue":"1","key":"44_CR12","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.\u00a050(1), 9\u201334 (2004)","journal-title":"Data Knowl. Eng."},{"key":"44_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/978-3-642-00899-3_7","volume-title":"ToPNoC II","author":"M. Reichert","year":"2009","unstructured":"Reichert, M., Rinderle-Ma, S., Dadam, P.: Flexibility in process-aware information systems. In: Jensen, K., van der Aalst, W. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 115\u2013135. Springer, Heidelber (2009)"},{"key":"44_CR14","first-page":"10","volume-title":"COOCS 1995","author":"C.A. Ellis","year":"1995","unstructured":"Ellis, C.A., Keddara, K., Rozenberg, G.: Dynamic change within workflow systems. In: COOCS 1995, pp. 10\u201321. ACM, New York (1995)"},{"issue":"3","key":"44_CR15","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1011409408711","volume":"3","author":"W.M.P. Aalst van der","year":"2001","unstructured":"van der Aalst, W.M.P.: Exterminating the dynamic change bug: A concrete approach to support workflow change. Information Systems Frontiers\u00a03(3), 297\u2013317 (2001)","journal-title":"Information Systems Frontiers"},{"key":"44_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-45594-9_14","volume-title":"Business Process Management","author":"A. Agostini","year":"2000","unstructured":"Agostini, A., Michelis, G.D.: Improving flexibility of workflow management systems. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 218\u2013234. Springer, Heidelberg (2000)"},{"key":"44_CR17","doi-asserted-by":"crossref","unstructured":"Sadiq, S.W.: Handling dynamic schema change in process models. In: Australasian Database Conference, pp. 120\u2013126 (2000)","DOI":"10.1109\/ADC.2000.819822"},{"issue":"3","key":"44_CR18","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0169-023X(97)00033-5","volume":"24","author":"F. Casati","year":"1998","unstructured":"Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data Knowl. Eng.\u00a024(3), 211\u2013238 (1998)","journal-title":"Data Knowl. Eng."},{"issue":"1-2","key":"44_CR19","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., Basten, T.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science\u00a0270(1-2), 125\u2013203 (2002)","journal-title":"Theoretical Computer Science"},{"key":"44_CR20","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"2005","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis, 2nd edn. Springer, Berlin (2005)","edition":"2"},{"key":"44_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 77\u201391. Springer, Heidelberg (2008)"},{"key":"44_CR22","first-page":"98","volume-title":"SCC 2007","author":"S. Moser","year":"2007","unstructured":"Moser, S., Martens, A., Gorlach, K., Amme, W., Godlinski, A.: Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. In: SCC 2007, pp. 98\u2013105. IEEE Computer Society, Los Alamitos (2007)"},{"key":"44_CR23","first-page":"590","volume-title":"ICIW 2008","author":"T.S. Heinze","year":"2008","unstructured":"Heinze, T.S., Amme, W., Moser, S.: Generic CSSA-based pattern over Boolean data for an improved WS-BPEL to Petri net mappping. In: ICIW 2008, pp. 590\u2013595. IEEE Computer Society, Los Alamitos (2008)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10383-4_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T11:40:27Z","timestamp":1739446827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10383-4_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10383-4_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}