Optimal Adaptation in Autonomic Web Processes with Inter-Service Dependencies

We present methods for optimally adapting Web processes to exogenous events while preserving inter-service dependencies. For example, in a supply chain process, orders placed by the manufacturer may get delayed in arriving. In response to this event, the manufacturer has the choice of either waiting out the delay or changing the supplier. Additionally, there may be compatibility constraints between the different orders, thereby introducing the problem of coordination between them if the manufacturer chooses to change the suppliers. We present our methods within the framework of autonomic Web processes. This framework seeks to add properties of self-configuration, adaptation, and self-optimization to the traditional processes resulting in more dynamic and agile Web processes. We adopt the paradigm that an abstract Web process flow is pre-specified, and service managers are tasked with interacting with the actual Web services. We present two approaches for adapting the Web processes with dependencies. In our first approach, we take a global view of the process, and formulate a multi-agent Markov decision process (MDP) model for controlling the service managers’ actions. We show that this approach is globally optimal; however, it does not scale well to multiple service managers in the process. In our second, decentralized approach, each service manager performs its own decision making using a MDP model and coordinates with others through an external coordination mechanism. While this approach scales well to multiple managers since each manager need not model the others’ states, actions or costs, it’s not optimal. We provide a worst case bound for the loss in optimality for this approach. We empirically evaluate our methods using the supply chain problem, and report on their performance.

[1]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..

[2]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[3]  Prashant Doshi,et al.  Executing Abstract Web Process Flows , 2004 .

[4]  Amit P. Sheth,et al.  IntelliGEN: A Distributed Workflow System for Discovering Protein-Protein Interactions , 2004, Distributed and Parallel Databases.

[5]  Quan Z. Sheng,et al.  Quality driven web services composition , 2003, WWW '03.

[6]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[7]  Amit P. Sheth,et al.  Specifying and Enforcing Intertask Dependencies , 1993, VLDB.

[8]  Amit P. Sheth,et al.  The METEOR-S Approach for Configuring and Executing Dynamic Web Processes , 2005 .

[9]  John C. Harsanyi,et al.  Общая теория выбора равновесия в играх / A General Theory of Equilibrium Selection in Games , 1989 .

[10]  Prashant Doshi,et al.  Dynamic workflow composition using Markov decision processes , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[11]  Amit P. Sheth,et al.  METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services , 2005, Inf. Technol. Manag..

[12]  Asit Dan,et al.  A Service Level Agreement Language for Dynamic Electronic Services , 2003, Electron. Commer. Res..

[13]  Robert Moore,et al.  Inventory Decisions in Dell's Supply Chain , 2004, Interfaces.

[14]  Amit P. Sheth,et al.  Autonomic Web Processes , 2005, ICSOC.

[15]  D. Fudenberg,et al.  The Theory of Learning in Games , 1998 .

[16]  Amit P. Sheth,et al.  Managing heterogeneous multi-system tasks to support enterprise-wide operations , 1995, Distributed and Parallel Databases.

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

[18]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

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

[20]  Sheila A. McIlraith,et al.  Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation , 2003, SEMWEB.

[21]  Amit P. Sheth,et al.  Modeling Quality of Service for Workflows and Web Service Processes , 2002 .

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

[23]  Craig Boutilier,et al.  Sequential Optimality and Coordination in Multiagent Systems , 1999, IJCAI.

[24]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[25]  Koustuv Dasgupta,et al.  A service creation environment based on end to end composition of Web services , 2005, WWW '05.

[26]  Amit P. Sheth,et al.  Specification and Execution of Transactional Workflows , 1995, Modern Database Systems.

[27]  Erhard Rahm,et al.  AGENTWORK: a workflow system supporting rule-based workflow adaptation , 2004, Data Knowl. Eng..