Toward a Model-Based Approach to Dynamic Adaptation of Composite Services

Facing changing environments and evolving business rules, composite services ought to be adaptable, even at run-time. Existing mainstream service composition languages and execution engines exhibit insufficient support for variability and adaptability to cater for dynamic changes. Research efforts have been put on the extension of the languages and argumentation of the engines. However, how to ensure the correctness for the adaptation of a running composite service instance and minimize unnecessary re-execution of component services remains a challenge. To address this problem, we propose a model-based approach that allows run-time adaptation of composite services. It is based on an instance transfer mechanism that transfers an active instance of the old service composition schema to a appropriate state of the new schema. Algorithms are proposed to find the appropriate destination states of the transformation. After the migration, the suspended instances can resume their execution according to the new schema. An example based on a FindRoute composite service is also included.

[1]  Peter Dadam,et al.  Flexible Support of Team Processes by Adaptive Workflow Systems , 2004, Distributed and Parallel Databases.

[2]  Athman Bouguettaya,et al.  Supporting Dynamic Changes in Web Service Environments , 2003, ICSOC.

[3]  Frank Leymann,et al.  Extending BPEL for run time adaptability , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

[4]  S. Guinea Self-healing Web service compositions , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[5]  J. Leon Zhao,et al.  Developing a Workflow Design Framework Based on Dataflow Analysis , 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).

[6]  Sunil Chandra,et al.  Decentralized orchestration of composite web services , 2004, WWW Alt. '04.

[7]  Jian Yang,et al.  Supporting Differentiated ServicesWith Configurable Business Processes , 2007, IEEE International Conference on Web Services (ICWS 2007).

[8]  Wil M. P. van der Aalst,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..

[9]  Shing-Chi Cheung,et al.  Detection and resolution of atomicity violation in service composition , 2007, ESEC-FSE '07.

[10]  A. Erradi,et al.  Towards a policy-driven framework for adaptive Web services composition , 2005, International Conference on Next Generation Web Services Practices (NWeSP'05).

[11]  Soo Dong Kim,et al.  A Service-Oriented Analysis and Design Approach to Developing Adaptable Services , 2007, IEEE International Conference on Services Computing (SCC 2007).

[12]  Wil M. P. van der Aalst,et al.  From BPMN Process Models to BPEL Web Services , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[13]  Liang-Jie Zhang,et al.  Variation-Oriented Analysis for SOA Solution Design , 2007, IEEE International Conference on Services Computing (SCC 2007).

[14]  C. Courbis,et al.  Towards aspect weaving applications , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

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

[16]  Athman Bouguettaya,et al.  Managing Top-down Changes in Service-Oriented Enterprises , 2007, IEEE International Conference on Web Services (ICWS 2007).

[17]  Nelson Souto Rosa,et al.  Adaptive web service composition , 2007, SOEN.

[18]  Betty H. C. Cheng,et al.  Model-based development of dynamically adaptive software , 2006, ICSE.