Dynamic Web Service Selection for Reliable Web Service Composition

This paper studies the dynamic web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at run-time so as to successfully orchestrate a composite web service. We observe that both the composite and constituent web services often constrain the sequences of invoking their operations and therefore propose to use finite state machine to model the permitted invocation sequences of Web service operations. We assign each state of execution an aggregated reliability to measure the probability that the given state will lead to successful execution in the context where each web service may fail with some probability. We show that the computation of aggregated reliabilities is equivalent to eigenvector computation and adopt the power method to efficiently derive aggregated reliabilities. In orchestrating a composite Web service, we propose two strategies to select Web services that are likely to successfully complete the execution of a given sequence of operations. A prototype that implements the proposed approach using BPEL for specifying the invocation order of a web service is developed and served as a testbed for comparing our proposed strategies and other baseline Web service selection strategies.

[1]  Daniel A. Menascé,et al.  QoS Issues in Web Services , 2002, IEEE Internet Comput..

[2]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[3]  Jia Zhang,et al.  An approach to facilitate reliability testing of Web services components , 2004, 15th International Symposium on Software Reliability Engineering.

[4]  Reiko Heckel,et al.  Process Modeling Using UML , 2005, Process-Aware Information Systems.

[5]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[6]  Tao Yu,et al.  Efficient algorithms for Web services selection with end-to-end QoS constraints , 2007, TWEB.

[7]  Vincenzo Grassi,et al.  Reliability prediction for service-oriented computing environments , 2006, IEEE Internet Computing.

[8]  Raymond A. Paul,et al.  A software reliability model for web services , 2004, IASTED Conf. on Software Engineering and Applications.

[9]  Elisa Bertino,et al.  A Trust-Based Context-Aware Access Control Model for Web-Services , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[10]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.

[11]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[12]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

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

[14]  Sebastián Uchitel,et al.  LTSA-WS: a tool for model-based verification of web service compositions and choreography , 2006, ICSE.

[15]  Jaideep Srivastava,et al.  A probabilistic approach to modeling and estimating the QoS of web-services-based workflows , 2007, Inf. Sci..

[16]  Eitan M. Gurari,et al.  Introduction to the theory of computation , 1989 .

[17]  Chet Langin,et al.  Languages and Machines: An Introduction to the Theory of Computer Science , 2007 .

[18]  Nathaniel E. Helwig,et al.  An Introduction to Linear Algebra , 2006 .

[19]  Oscar H. Ibarra,et al.  Automated composition of e-services: lookaheads , 2004, ICSOC '04.

[20]  John W. Auer,et al.  Linear algebra with applications , 1996 .

[21]  Ee-Peng Lim,et al.  On Composing a Reliable Composite Web Service: A Study of Dynamic Web Service Selection , 2007, IEEE International Conference on Web Services (ICWS 2007).

[22]  Diego Calvanese,et al.  Automatic Composition of Transition-based Semantic Web Services with Messaging , 2005, VLDB.

[23]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[24]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[25]  Jia Zhang,et al.  Criteria analysis and validation of the reliability of Web services-oriented systems , 2005, IEEE International Conference on Web Services (ICWS'05).

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

[27]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[28]  Elisa Bertino,et al.  A Trust-Based Context-Aware Access Control Model for Web-Services , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[29]  David Joyner,et al.  Linear Algebra with Applications , 1998 .

[30]  Diego Calvanese,et al.  Automatic Service Composition Based on Behavioral Descriptions , 2005, Int. J. Cooperative Inf. Syst..

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

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

[33]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.