Abstract
Web services promise to revolutionize the way computational resources and business processes are offered and invoked in open, distributed systems, such as the Internet. These services are described using machine-readable metadata, which enables consumer applications to automatically discover and provision suitable services for their workflows at run-time. However, current approaches have typically assumed service descriptions are accurate and deterministic, and so have neglected to account for the fact that services in these open systems are inherently unreliable and uncertain. Specifically, network failures, software bugs and competition for services may regularly lead to execution delays or even service failures. To address this problem, the process of provisioning services needs to be performed in a more flexible manner than has so far been considered, in order to proactively deal with failures and to recover workflows that have partially failed. To this end, we devise and present a heuristic strategy that varies the provisioning of services according to their predicted performance. Using simulation, we then benchmark our algorithm and show that it leads to a 700% improvement in average utility, while successfully completing up to eight times as many workflows as approaches that do not consider service failures.
- Aggarwal, R., Verma, K., Miller, J., and Milnor, W. 2004. Constraint driven web service composition in METEOR-S. In Proceedings of the IEEE International Conference on Services Computing 2004 (SCC 2004). IEEE Computer Society Press, Los Alamitos, CA, 23--30. Google Scholar
Digital Library
- Aghdaie, N. and Tamir, Y. 2003. Fast transparent failover for reliable web service. In Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS). 757--762.Google Scholar
- Akkiraju, R., Verma, K., Goodwin, R., Doshi, P., and Lee, J. 2004. Executing abstract web process flows. In Proceedings of the ICAPS Workshop on Planning and Scheduling for Web and Grid Services. 9--15.Google Scholar
- Anderson, D. P., Cobb, J., Korpela, E., Lebofsky, M., and Werthimer, D. 2002. SETI@home: An experiment in public-resource computing. Comm. ACM 45, 11, 56--61. Google Scholar
Digital Library
- Arunachalam, R. and Sadeh, N. 2004. The 2003 supply chain management trading agent competition. In Proceedings of the 6th International Conference on Electronic Commerce (ICEC '04). 113--120. Google Scholar
Digital Library
- Baccelli, F., Jean-Marie, A., and Liu, Z. 1993. A survey on solution methods for task graph models. In Arbeitsberichte der IMMD, N. Götz, U. Herzog, and M. Rettelbach, Eds. Vol. 26 (14). Universität Erlangen-Nürnberg, Erlangen, Chapter Second QMIPS Workshop, 163--183.Google Scholar
- Benatallah, B., Hacid, M.-S., Leger, A., Rey, C., and Toumani, F. 2005. On automating web services discovery. VLDB J. 14, 1, 84--96. Google Scholar
Digital Library
- Bolot, J.-C. 1993. End-to-end packet delay and loss behavior in the internet. In Proceedings of the ACM SIGCOMM '93 Conference on Communications Architectures, Protocols and Applications. ACM, New York, 289--298. Google Scholar
Digital Library
- Buyya, R., Abramson, D., and Venugopal, S. 2005. The grid economy. Proc. IEEE 93, 3, 698--714.Google Scholar
Cross Ref
- Bylander, T. 1994. The computational complexity of propositional STRIPS planning. Artif. Intell. 69, 1-2, 165--204. Google Scholar
Digital Library
- Canfora, G., Penta, M. D., Esposito, R., and Villani, M. L. 2005. QoS-aware replanning of composite web services. In Proceedings of the IEEE International Conference on Web Services (ICWS'05). IEEE Computer Society Press, Los Alamitos, CA. 121--129. Google Scholar
Digital Library
- Casati, F., Ceri, S., Paraboschi, S., and Pozzi, G. 1999. Specification and implementation of exceptions in workflow management systems. ACM Trans. Database Syst. 24, 3, 405--451. Google Scholar
Digital Library
- Cohen, P. R. 1995. Empirical methods for artificial intelligence. MIT Press, Cambridge, MA. Google Scholar
Digital Library
- Collins, J., Bilot, C., Gini, M., and Mobasher, B. 2001. Decision processes in agent-based automated contracting. IEEE Internet Comput. 5, 2, 61--72. Google Scholar
Digital Library
- Cristian, F. 1991. Understanding fault-tolerant distributed systems. Comm. ACM 34, 2, 56--78. Google Scholar
Digital Library
- Curbera, F., Duftler, M., Khalaf, R., Nagy, W., Mukhi, N., and Weerawarana, S. 2002. Unraveling the web services web: An introduction to SOAP, WSDL, and UDDI. IEEE Internet Comput. 6, 2, 86--93. Google Scholar
Digital Library
- Curbera, F., Khalaf, R., Mukhi, N., Tai, S., and Weerawarana, S. 2003. The next step in web services. Comm. ACM 46, 10, 29--34. Google Scholar
Digital Library
- Dan, A., Davis, D., Kearney, R., King, R., Keller, A., Kuebler, D., Ludwig, H., Polan, M., Spreitzer, M., and Youssef, A. 2004. Web services on demand: WSLA-driven automated management. IBM Syst. J. 43, 1, 136--158. Google Scholar
Digital Library
- Deelman, E., Blythe, J., Gil, Y., Kesselman, C., Mehta, G., Vahi, K., Blackburn, K., Lazzarini, A., Arbree, A., Cavanaugh, R., and Koranda, S. 2003. Mapping abstract complex workflows onto grid environments. J. Grid Comput. 1, 1, 25--39.Google Scholar
Cross Ref
- DeGroot, M. H. and Shervish, M. J. 2002. Probability and Statistics, 3rd ed. Addison-Wesley, Reading, MA.Google Scholar
- Dodin, B. 1985. Bounding the project completion time distribution in PERT networks. Oper. Res. 33, 4, 862--881.Google Scholar
Digital Library
- Eder, J. and Liebhart, W. 1995. The workflow activity model WAMO. In Proceedings of the 3rd International Conference on Cooperative Information Systems. 87--98.Google Scholar
- Erradi, A., Maheshwari, P., and Tosic, V. 2006. Recovery policies for enhancing web services reliability. In Proceedings of the IEEE International Conference on Web Services (ICWS'06). IEEE Computer Society Press, Los Alamitos, CA. 189--196. Google Scholar
Digital Library
- Ewing, B., Hillier, L., Wendl, M. C., and Green, P. 1998. Base-calling of automated sequencer traces using phred. I. Accuracy assessment. Genome Res. 8, 3, 175--185.Google Scholar
Cross Ref
- Foster, I., Kesselman, C., and Tuecke, S. 2001. The anatomy of the grid: Enabling scalable virtual organizations. Int. J. High Perform. C. 15, 3, 200--222. Google Scholar
Digital Library
- Friese, T., Müller, J. P., and Freisleben, B. 2005. Self-healing execution of business processes based on a peer-to-peer service architecture. In Proceedings of the 18th International Conference on Architecture of Computing Systems (ARCS '05), System Aspects in Organic and Pervasive Computing. Lecture Notes in Computer Science, vol. 3432. Springer-Verlag, Berlin, Germany. 108--123.Google Scholar
- Garcia-Molina, H. and Salem, K. 1987. Sagas. In Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data (SIGMOD '87). ACM, New York. 249--259. Google Scholar
Digital Library
- Gärtner, F. C. 1999. Fundamentals of fault-tolerant distributed computing in asynchronous environments. ACM Comput. Surv. 31, 1, 1--26. Google Scholar
Digital Library
- Georgakopoulos, D., Hornick, M. F., and Sheth, A. P. 1995. An overview of workflow management: From process modeling to workflow automation infrastructure. Distrib. Parallel Dat. 3, 2, 119--153. Google Scholar
Digital Library
- Ingham, D. B., Panzieri, F., and Shrivastava, S. K. 1999. Constructing dependable web services. In Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems. Springer-Verlag, Berlin, Germany, 277--294. Google Scholar
Digital Library
- Irwin, D. E., Grit, L. E., and Chase, J. S. 2004. Balancing risk and reward in a market-based task service. In Proceedings of the 13th IEEE International Symposium on High Performance Distributed Computing (HPDC-13 '04). IEEE Computer Society Press, Los Alamitos, CA. 160--169. Google Scholar
Digital Library
- Jaeger, M. C. and Ladner, H. 2005. Improving the QoS of WS compositions based on redundant services. In Proceedings of the International Conference on Next Generation Web Services Practices (NWeSP 2005). 189--194. Google Scholar
Digital Library
- Jaeger, M. C. and Mühl, G. 2007. QoS-based selection of services: The implementation of a genetic algorithm. In Proceedings of the KiVS 2007 Workshop: Service-Oriented Architectures und Service-Oriented Computing (SOA/SOC). 359--370.Google Scholar
- Jennings, N. R. 2001. An agent-based approach for building complex software systems. Comm. ACM 44, 4, 35--41. Google Scholar
Digital Library
- Jennings, N. R., Faratin, P., Lomuscio, A. R., Parsons, S., Sierra, C., and Wooldridge, M. 2001. Automated negotiation: Prospects, methods and challenges. Group Decis. Negot. 10, 2, 199--215.Google Scholar
Cross Ref
- Jennings, N. R., Faratin, P., Norman, T. J., O'Brien, P., and Odgers, B. 2000. Autonomous agents for business process management. Appl. Artif. Intell. 14, 2, 145--189.Google Scholar
Cross Ref
- Klusch, M., Gerber, A., and Schmidt, M. 2005. Semantic web service composition planning with OWLS-XPlan. In Proceedings of the 1st Int. AAAI Fall Symposium on Agents and the Semantic Web. 55--62.Google Scholar
- Kochut, K., Arnold, J., Sheth, A., Miller, J., Kraemer, E., Arpinar, B., and Cardoso, J. 2003. IntelliGEN: A distributed workflow system for discovering protein-protein interactions. Distrib. Parallel Dat. 13, 1, 43--72. Google Scholar
Digital Library
- Li, W., He, J., Ma, Q., Yen, I.-L., Bastani, F., and Paul, R. 2005. A framework to support survivable web services. In Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05). IEEE Computer Society Press, Los Alamitos, CA. 93.2. Google Scholar
Digital Library
- Long, D. D. E., Muir, A., and Golding, R. A. 1995. A longitudinal survey of internet host reliability. In Proceedings of the 14th Symposium on Reliable Distributed Systems (SRDS'95). 2--9. Google Scholar
Digital Library
- Malcolm, D. G., Roseboom, J. H., Clark, C. E., and Fazar, W. 1959. Application of a technique for research and development program evaluation. Oper. Res. 7, 5, 646--669.Google Scholar
Digital Library
- Mandell, D. and McIlraith, S. 2003. Adapting BPEL4WS for the semantic web: The bottom-up approach to web service interoperation. In Proceedings of the 2nd International Semantic Web Conference. Lecture Notes in Computer Science, vol. 2870, Springer-Verlag, Berlin, Germany. 227--241.Google Scholar
- Martin, D., Paolucci, M., McIlraith, S., Burstein, M., McDermott, D., McGuinness, D., Parsia, B., Payne, T., Sabou, M., Solanki, M., Srinivasan, N., and Sycara, K. 2004. Bringing semantics to web services: The OWL-S approach. In Proceedings of the 1st International Workshop on Semantic Web Services and Web Process Composition (SWSWPC 2004). Lecture Notes in Computer Science, vol. 3387, Springer-Verlag, Berlin, Germany. 26--42.Google Scholar
- Maximilien, E. M. and Singh, M. P. 2004a. A framework and ontology for dynamic web services selection. IEEE Internet Comput. 8, 5, 84--93. Google Scholar
Digital Library
- Maximilien, E. M. and Singh, M. P. 2004b. Toward autonomic web services trust and selection. In Proceedings of the 2nd International Conference on Service-Oriented Computing (ICSOC '04). 212--221. Google Scholar
Digital Library
- McDermott, D. 2002. Estimated-regression planning for interactions with web services. In Proceedings of the 6th International Conference on AI Planning and Scheduling (AIPS'02). 204--211.Google Scholar
- McGuinness, D. and van Harmelen, F. 2004. OWL web ontology language overview. Recommendation, W3C. February. (http://www.w3.org/TR/2004/REC-owl-features-20040210/).Google Scholar
- McIlraith, S. A. and Son, T. C. 2002. Adapting golog for composition of semantic web services. In Proceedings of the 8th International Conference on Knowledge Representation and Reasoning (KR2002). 482--493.Google Scholar
- McIlraith, S. A., Son, T. C., and Zeng, H. 2001. Semantic web services. IEEE Intel. Syst. 16, 2, 46--53. Google Scholar
Digital Library
- Medjahed, B., Benatallah, B., Bouguettaya, A., Ngu, A. H. H., and Elmagarmid, A. K. 2003. Business-to-business interactions: issues and enabling technologies. VLDB J. 12, 1, 59--85. Google Scholar
Digital Library
- Menasce, D. 2002. QoS issues in web services. IEEE Internet Comput. 6, 6, 72--75. Google Scholar
Digital Library
- Merideth, M. G., Iyengar, A., Mikalsen, T., Tai, S., Rouvellou, I., and Narasimhan, P. 2005. Thema: Byzantine-fault-tolerant middleware for web-service applications. In Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05). IEEE Computer Society press, Los Alamitos, CA. 131--142. Google Scholar
Digital Library
- Michalewicz, Z. and Fogel, D. B. 2004. How to solve it: Modern Heuristics, 2nd ed. Springer-Verlag, Berlin, Germany. Google Scholar
Digital Library
- Milanovic, N. and Malek, M. 2004. Current solutions for web service composition. IEEE Internet Comput. 8, 6, 51--59. Google Scholar
Digital Library
- Ng, K.-C. and Abramson, B. 1990. Uncertainty management in expert systems. IEEE Expert 5, 2, 29--48. Google Scholar
Digital Library
- Nicola, V. F. and Goyal, A. 1990. Modeling of correlated failures and community error recovery in multiversion software. IEEE T. Software Eng. 16, 3, 350--359. Google Scholar
Digital Library
- Norman, T. J., Preece, A., Chalmers, S., Jennings, N. R., Luck, M., Dang, V. D., Nguyen, T. D., Deora, V., Shao, J., Gray, A. W., and Fiddian, N. J. 2004. Agent-based formation of virtual organisations. Knowl.-Based Syst. 17, 2--4, 103--111.Google Scholar
Digital Library
- O'Brien, A., Newhouse, S., and Darlington, J. 2004. Mapping of scientific workflow within the e-protein project to distributed resources. In Proceedings of the UK E-Science All Hands Meeting (AHM 2004). 404--409.Google Scholar
- Oinn, T., Greenwood, M., Addis, M., Alpdemir, M. N., Ferris, J., Glover, K., Goble, C., Goderis, A., Hull, D., Marvin, D., Li, P., Lord, P., Pocock, M. R., Senger, M., Stevens, R., Wipat, A., and Wroe, C. 2006. Taverna: Lessons in creating a workflow environment for the life sciences. Concurrency and Computation: Practice and Experience 18, 10, 1067--1100. Google Scholar
Digital Library
- Paolucci, M., Kawamura, T., Payne, T. R., and Sycara, K. P. 2002. Semantic matching of web services capabilities. In Proceedings of the 1st International Semantic Web Conference (ISWC 2002). Lecture Notes in Computer Science, vol. 2342, Springer-Verlag, New York. 333--347. Google Scholar
Digital Library
- Paolucci, M. and Sycara, K. 2003. Autonomous semantic web services. IEEE Internet Comput. 7, 5, 34--41. Google Scholar
Digital Library
- Raiffa, H. 1968. Decision Analysis: Introductory Lectures on Choices Under Uncertainty. McGraw-Hill, Englewood Cliffs, NJ.Google Scholar
- Ran, S. 2003. A model for web services discovery with QoS. SIGecom Exch. 4, 1, 1--10. Google Scholar
Digital Library
- Russell, S. and Norvig, P. 2003. Artificial Intelligence: A Modern Approach, 2nd ed. Prentice-Hall, Englewood Cliffs, NJ. Google Scholar
Digital Library
- Schroeder, B., and Gibson, G. A. 2006. A large-scale study of failures in high-performance computing systems. In Proceedings of the International Conference on Dependable Systems and Networks (DSN2006). 249--258. Google Scholar
Digital Library
- Singh, M. P. and Huhns, M. N. 2005. Service-Oriented Computing: Semantics, Processes, Agents. Wiley, New York.Google Scholar
- Sirin, E., Parsia, B., and Hendler, J. 2005. Template-based composition of semantic web services. In Proceedings of the AAAI Fall Symposium on Agents and the Semantic Web. 85--92.Google Scholar
- Smith, T. M., Abajian, C., and Hood, L. 1997. Hopper: Software for automating data tracking and flow in DNA sequencing. Comput. Appl. Biosci. 13, 2, 175--182.Google Scholar
- Stein, S., Jennings, N. R., and Payne, T. R. 2007a. Provisioning heterogeneous and unreliable providers for service workflows. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence. 1452--1458.Google Scholar
- Stein, S., Payne, T. R., and Jennings, N. R. 2006. Flexible provisioning of semantic web service workflows using a QoS ontology. In Proceedings of the 5th International Semantic Web Conference (ISWC 2006), Online supplement. (available at http://eprints.ecs.soton.ac.uk/12992/).Google Scholar
- Stein, S., Payne, T. R., and Jennings, N. R. 2007b. An effective strategy for the flexible provisioning of service workflows. In Proceedings of the Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering (SOCASE 2007). Lecture Notes in Computer Science, vol. 4504. Springer-Verlag, Berlin, Germany, 16--30.Google Scholar
Cross Ref
- Szomszor, M., Payne, T. R., and Moreau, L. 2005. Using semantic web technology to automate data integration in grid and web service architectures. In Proceedings of the Semantic Infrastructure for Grid Computing Applications Workshop in Cluster Computing and Grid (CCGrid). 189--195. Google Scholar
Digital Library
- Teacy, W. T. L., Patel, J., Jennings, N. R., and Luck, M. 2006. TRAVOS: Trust and reputation in the context of inaccurate information sources. J. Auton. Agents Multi-Agent Syst. 12, 2, 183--198. Google Scholar
Digital Library
- Tillman, F. A., and Liittschwager, J. M. 1967. Integer programming formulation of constrained reliability problems. Manage. Sci. 13, 11, 887--899.Google Scholar
- Townend, P., Groth, P., and Xu, J. 2005. A provenance-aware weighted fault tolerance scheme for service-based applications. In Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05). IEEE Computer Society Press, Los Alamitos, CA, 258--266. Google Scholar
Digital Library
- Trivedi, K. 2001. Probability and Statistics with Reliability, Queuing, and Computer Science Applications, 2nd ed. John Wiley & Sons, Inc., USA. Google Scholar
Digital Library
- Weatherspoon, H., Moscovitz, T., and Kubiatowicz, J. 2002. Introspective failure analysis: Avoiding correlated failures in peer-to-peer systems. In Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems. 362--367. Google Scholar
Digital Library
- Weerawarana, S., Curbera, F., Leymann, F., Storey, T. and Ferguson, D. F. 2005. Web Services Platform Architecture. Prentice-Hall, Englewood Cliffs, NJ. Google Scholar
Digital Library
- Weiss, G., Ed. 1999. Multiagent systems: A modern approach to distributed artificial intelligence. MIT Press, Cambridge, MA. Google Scholar
Digital Library
- Yang, Z. and Duddy, K. 1996. CORBA: A platform for distributed object computing. ACM Oper. Syst. Rev. 30, 2, 4--31. Google Scholar
Digital Library
- Yu, T. and Lin, K.-J. 2005. Adaptive algorithms for finding replacement services in autonomic distributed business processes. In Proceedings of Autonomous Decentralized Systems (ISADS 2005). 427--434.Google Scholar
- Yu, T., Zhang, Y., and Lin, K.-J. 2007. Efficient algorithms for web services selection with end-to-end QoS constraints. ACM Trans. Web 1, 1, 6. Google Scholar
Digital Library
- Zeng, L., Benatallah, B., Dumas, M., Kalagnanam, J., and Sheng, Q. Z. 2003. Quality driven web services composition. In Proceedings of the 12th International World Wide Web Conf. (WWW '03). 411--421. Google Scholar
Digital Library
- Zhou, C., Chia, L.-T., and Lee, B.-S. 2004. DAML-QoS ontology for web services. In Proceedings of the IEEE International Conference on Web Services (ICWS 2004). IEEE Computer Society Press, Los Alamitos, CA, 472--479. Google Scholar
Digital Library
Index Terms
Flexible provisioning of web service workflows
Recommendations
Provisioning heterogeneous and unreliable providers for service workflows
AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systemsIn this paper, we address the problem of provisioning unreliable and heterogeneous service providers for the constituent tasks of abstract workflows. Specifically, we deal with unreliable providers by provisioning multiple service providers redundantly ...
Context-oriented and transaction-based service provisioning
This paper presents our approach for service provisioning in pervasive computing environments. The presented approach is based on the usage of context-aware features and transactions during the discovery and the deployment of composite services. Context ...
Workflow composition of service level agreements for web services
Service-oriented architecture enables an environment where businesses can expose services for use by their collaborators and their peer organizations. In this dynamic environment, organizations require the use of service level agreements (SLAs) to ...






Comments