Another Approach to Service Instance Migration

Services change over time, be it for internal improvements, be it for external requirements such as new legal regulations. For long running services, it may even be necessary to change a service while instances are actually running and interacting with other services. This problem is referred to as instance migration . We present a novel approach to the behavioral (service protocol) aspects of instance migration. We apply techniques for finitely characterizing the set of all correctly interacting partners to a given service. The approach assures that migration does not introduce behavioral problems with any running partner of the original service. Our technique scales up to services with thousands of states, including models of real WS-BPEL processes.

[1]  Wolfram Amme,et al.  Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping , 2008, 2008 Third International Conference on Internet and Web Applications and Services.

[2]  Peter Dadam,et al.  Correctness criteria for dynamic changes in workflow systems - a survey , 2004, Data Knowl. Eng..

[3]  Kathrin Kaschner,et al.  Automatic Test Case Generation for Interacting Services , 2009, ICSOC Workshops.

[4]  Niels Lohmann,et al.  Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance , 2008, BPM.

[5]  BenatallahBoualem,et al.  Supporting the dynamic evolution of Web service protocols in service-oriented architectures , 2008 .

[6]  Grzegorz Rozenberg,et al.  Dynamic change within workflow systems , 1995, COCS '95.

[7]  Fabio Casati,et al.  Supporting the dynamic evolution of Web service protocols in service-oriented architectures , 2008, TWEB.

[8]  Giorgio De Michelis,et al.  Improving Flexibility of Workflow Management Systems , 2000, Business Process Management.

[9]  Karsten Wolf,et al.  Does My Service Have Partners? , 2009, Trans. Petri Nets Other Model. Concurr..

[10]  Niels Lohmann,et al.  Analyzing interacting WS-BPEL processes using flexible model generation , 2008, Data Knowl. Eng..

[11]  Niels Lohmann,et al.  Operating Guidelines for Finite-State Services , 2007, ICATPN.

[12]  Wolfram Amme,et al.  Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis , 2007, IEEE International Conference on Services Computing (SCC 2007).

[13]  Mike P. Papazoglou,et al.  The Challenges of Service Evolution , 2008, CAiSE.

[14]  Manfred Reichert,et al.  Flexibility in Process-Aware Information Systems , 2009, Trans. Petri Nets Other Model. Concurr..

[15]  Jetty Kleijn,et al.  Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings , 2007, ICATPN.

[16]  Wil M. P. van der Aalst,et al.  Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change , 2001, Inf. Syst. Frontiers.

[17]  Niels Lohmann,et al.  A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 , 2007, WS-FM.

[18]  Christian Stahl,et al.  Deciding Substitutability of Services with Operating Guidelines , 2009, Trans. Petri Nets Other Model. Concurr..

[19]  Bernhard Thalheim,et al.  Conceptual Modeling — ER '96 , 1996, Lecture Notes in Computer Science.

[20]  Shazia Wasim Sadiq,et al.  Handling dynamic schema change in process models , 2000, Proceedings 11th Australasian Database Conference. ADC 2000 (Cat. No.PR00528).

[21]  Andrew D. Gordon,et al.  Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.

[22]  Flemming Nielson,et al.  Principles of Program Analysis , 1999, Springer Berlin Heidelberg.

[23]  Peter Massuthe,et al.  Operating guidelines for services , 2009 .

[24]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[25]  Fabio Casati,et al.  Workflow Evolution , 1996, ER.

[26]  Niels Lohmann,et al.  Extending the compatibility notion for abstract WS-BPEL processes , 2008, WWW.

[27]  Wil M.P. van der Aalst.  Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change , 2001 .

[28]  Mike P. Papazoglou,et al.  Web Services - Principles and Technology , 2007 .