Robust Execution of Service Workflows Using Redundancy and Advance Reservations

In this paper, we develop a novel algorithm that allows service consumers to execute business processes (or workflows) of interdependent services in a dependable manner within tight time-constraints. In particular, we consider large interorganizational service-oriented systems, where services are offered by external organizations that demand financial remuneration and where their use has to be negotiated in advance using explicit service-level agreements (as is common in Grids and cloud computing). Here, different providers often offer the same type of service at varying levels of quality and price. Furthermore, some providers may be less trustworthy than others, possibly failing to meet their agreements. To control this unreliability and ensure end-to-end dependability while maximizing the profit obtained from completing a business process, our algorithm automatically selects the most suitable providers. Moreover, unlike existing work, it reasons about the dependability properties of a workflow, and it controls these by using service redundancy for critical tasks and by planning for contingencies. Finally, our algorithm reserves services for only parts of its workflow at any time, in order to retain flexibility when failures occur. We show empirically that our algorithm consistently outperforms existing approaches, achieving up to a 35-fold increase in profit and successfully completing most workflows, even when the majority of providers fail.

[1]  Sarvapali D. Ramchurn,et al.  Trust in multi-agent systems , 2004, The Knowledge Engineering Review.

[2]  Sebastian Stein,et al.  Flexible service provisioning in multi-agent systems , 2008 .

[3]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[4]  Thomas Friese,et al.  Self-healing Execution of Business Processes Based on a Peer-to-Peer Service Architecture , 2005, ARCS.

[5]  Howard Raiffa,et al.  Decision analysis: introductory lectures on choices under uncertainty. 1968. , 1969, M.D.Computing.

[6]  Maria L. Gini,et al.  Decision Processes in Agent-Based Automated Contracting , 2001, IEEE Internet Comput..

[7]  E. Michael Maximilien,et al.  Agent-based trust model involving multiple qualities , 2005, AAMAS '05.

[8]  Sarvapali D. Ramchurn,et al.  Trust in Multiagent Systems , 2004 .

[9]  T. Payne,et al.  Flexible service provisioning with advance agreements , 2008, AAMAS.

[10]  Sanjay Ghemawat,et al.  MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.

[11]  Stefan Tai,et al.  The next step in Web services , 2003, CACM.

[12]  Jane N. Hagstrom,et al.  Computational complexity of PERT problems , 1988, Networks.

[13]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[14]  Refik Molva,et al.  The Pervasive Workflow: A Decentralized Workflow System Supporting Long-Running Transactions , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[15]  Wolfgang Ziegler,et al.  Reliable Orchestration of Resources Using WS-Agreement , 2006, HPCC.

[16]  NICHOLAS R. JENNINGS,et al.  An agent-based approach for building complex software systems , 2001, CACM.

[17]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

[18]  Alfons Kemper,et al.  Reliable Web Service Execution and Deployment in Dynamic Environments , 2003, TES.

[19]  Nicholas R. Jennings,et al.  TRAVOS: Trust and Reputation in the Context of Inaccurate Information Sources , 2006, Autonomous Agents and Multi-Agent Systems.

[20]  Nicholas R. Jennings,et al.  Provisioning heterogeneous and unreliable providers for service workflows , 2007, AAMAS '07.

[21]  James A. Hendler,et al.  Template-based Composition of Semantic Web Services , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

[22]  Ian T. Foster,et al.  Agreement-Based Resource Management , 2005, Proceedings of the IEEE.

[23]  Moshe Tennenholtz,et al.  Fault tolerant mechanism design , 2008, Artif. Intell..

[24]  Daniel J. Gifford,et al.  The Obfuscation of the Common Good , 1999 .

[25]  Kunal Verma,et al.  Constraint driven Web service composition in METEOR-S , 2004, IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004.

[26]  Heather Kreger,et al.  Fulfilling the Web services promise , 2003, CACM.