Migration Validity of WS-BPEL Instances Revisited

WS-BPEL processes ought to be adaptable even at run-time so as to adapt to the changing environments and requirements. It is cost-ineffective and time-consuming to restart a running WS-BPEL instance from scratch after the WS-BPEL process is changed. Instead, a WS-BPEL instance had better be transferred to the updated process. Current approaches to validity checking of instance migration are too conservative and thus few instance migrations are considered to be valid. To address this problem, we propose a novel criterion for valid migration which is based on the dynamic dependence graph for the trace of a WS-BPEL instance. Compared with existing approaches, our approach is significantly less conservative, that is, it allows more instances to migrate to the updated process. We illustrate the applicability and effectiveness of our approach by dynamically updating the WS-BPEL process of a travel agency.

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

[3]  Xiang Li,et al.  LiveMig: An Approach to Live Instance Migration in Composite Service Evolution , 2009, 2009 IEEE International Conference on Web Services.

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

[5]  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).

[6]  Jan Mendling,et al.  Correctness-Preserving Configuration of Business Process Models , 2008, FASE.

[7]  Jian Lu,et al.  Preserving Data Flow Correctness in Process Adaptation , 2010, 2010 IEEE International Conference on Services Computing.

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

[9]  Liana L. Fong,et al.  Identifying Data Constrained Activities for Migration Planning , 2009, 2009 IEEE International Conference on Services Computing.

[10]  Niels Lohmann,et al.  Another Approach to Service Instance Migration , 2009, ICSOC/ServiceWave.

[11]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

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

[13]  Hua Hou,et al.  Extensive theoretical studies of a new energetic material: Tetrazino‐tetrazine‐tetraoxide (TTTO) , 2009, J. Comput. Chem..

[14]  Xiaoxing Ma,et al.  Toward a Model-Based Approach to Dynamic Adaptation of Composite Services , 2008, 2008 IEEE International Conference on Web Services.

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

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

[17]  Stefanie Rinderle-Ma,et al.  Change Patterns and Change Support Features in Process-Aware Information Systems , 2007, Seminal Contributions to Information Systems Engineering.

[18]  Stefanie Rinderle-Ma,et al.  Relaxed Compliance Notions in Adaptive Process Management Systems , 2008, ER.

[19]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1984, TOPL.

[20]  Shing-Chi Cheung,et al.  Refactoring and Publishing WS-BPEL Processes to Obtain More Partners , 2011, 2011 IEEE International Conference on Web Services.

[21]  W. Marsden.  I and J , 2012 .

[22]  Oliver Kopp,et al.  Deriving Explicit Data Links in WS-BPEL Processes , 2008, 2008 IEEE International Conference on Services Computing.

[23]  Yang Zou,et al.  Towards Dynamic Evolution of Service Choreographies , 2012, 2012 IEEE Asia-Pacific Services Computing Conference.

[24]  Deepak Gupta,et al.  A Formal Framework for On-line Software Version Change , 1996, IEEE Trans. Software Eng..

[25]  Changjun Jiang,et al.  Analysis of workflow dynamic changes based on Petri net , 2009, Inf. Softw. Technol..

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

[27]  Vivek Sarkar,et al.  Decentralizing execution of composite web services , 2004, OOPSLA.

[28]  Joseph Robert Horgan,et al.  Dynamic program slicing , 1990, PLDI '90.

[29]  Corina S. Pasareanu,et al.  Interface decomposition for service compositions , 2011, 2011 33rd International Conference on Software Engineering (ICSE).