Web services provision: solutions, challenges and opportunities (invited paper)

ABSTRACT

Web services provision is the process of assigning particular services to the constituent tasks of business processes. It describes a promising scenario where services are dynamically chosen and invoked in a business process according to their functional and non-functional capabilities. It also introduces many challenging problems and has received much attention recently. In this paper, we distinguish three types of provision: independent provision, cooperative provision and multiple provisioning. For each type, we consider three major phases, that is, service discovery, service selection and service contracting. Following this rule, we investigate existing works in web services provision and shed some light on potential research directions.

REFERENCES

• 1: UDDI Version 3.0.2. http://www.uddi.org/pubs/uddi_v3.htm.
• 2: N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon, "Web services choreography description language version 1.0," http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/.
• 3: Massimo Paolucci , Takahiro Kawamura , Terry R. Payne , Katia P. Sycara, Importing the Semantic Web in UDDI, Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web, p.225-236, May 27-28, 2002
• 4: Massimo Paolucci , Takahiro Kawamura , Terry R. Payne , Katia P. Sycara, Semantic Matching of Web Services Capabilities, Proceedings of the First International Semantic Web Conference on The Semantic Web, p.333-347, June 09-12, 2002
• 5: John Colgrave , Rama Akkiraju , Richard Goodwin, External Matching in UDDI, Proceedings of the IEEE International Conference on Web Services, p.226, June 06-09, 2004 [doi>10.1109/ICWS.2004.57]
• 6: F. Lecue, A. Delteil, A. Leger. Applying Abduction in Semantic Web Service Composition. In Proceedings of the IEEE International Conference on Web Services (ICWS'07), 2007.
• 7: Evren Sirin , Bijan Parsia , James Hendler, Filtering and Selecting Semantic Web Services with Interactive Composition Techniques, IEEE Intelligent Systems, v.19 n.4, p.42-49, July 2004 [doi>10.1109/MIS.2004.27]
• 8: Boualem Benatallah , Mohand-Said Hacid , Alain Leger , Christophe Rey , Farouk Toumani, On automating Web services discovery, The VLDB Journal — The International Journal on Very Large Data Bases, v.14 n.1, p.84-96, March 2005 [doi>10.1007/s00778-003-0117-x]
• 9: G. Teege. Making the difference: A subtraction operation for description logics. In J. Doyle, E. Sandewall, and P. Torasso, editors, KR'94, San Francisco, CA, 1994. Morgan Kaufmann.
• 10: Lerina Aversano , Gerardo Canfora , Anna Ciampi, An Algorithm for Web Service Discovery through Their Composition, Proceedings of the IEEE International Conference on Web Services, p.332, June 06-09, 2004 [doi>10.1109/ICWS.2004.23]
• 11: S. R. Ponnekanti, and A. Fox. SWORD: A Developer Toolkit for Web Service Composition. In 11th Proceedings of international conference on World Wide Web, WWW 2002, 2004.
• 12: Vikas Agarwal , Koustuv Dasgupta , Neeran Karnik , Arun Kumar , Ashish Kundu , Sumit Mittal , Biplav Srivastava, A service creation environment based on end to end composition of Web services, Proceedings of the 14th international conference on World Wide Web, May 10-14, 2005, Chiba, Japan [doi>10.1145/1060745.1060768]
• 13: E. Sirin, B. Parsia, D. Wu, J. A. Hendler, and D. S. Nau. HTN planning for Web Service composition using SHOP2. Journal of Web Semantics 1(4): 377--396, 2004.
• 14: Aysu Betin-Can , Tevfik Bultan , Xiang Fu, Design for verification for asynchronously communicating Web services, Proceedings of the 14th international conference on World Wide Web, May 10-14, 2005, Chiba, Japan [doi>10.1145/1060745.1060853]
• 15: Hasan Davulcu , Michael Kifer , I. V. Ramakrishnan, CTR-S: a logic for specifying contracts in semantic web services, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, May 19-21, 2004, New York, NY, USA [doi>10.1145/1013367.1013391]
• 16: Dumitru Roman , Michael Kifer, Reasoning about the behavior of Semantic Web services with concurrent transaction logic, Proceedings of the 33rd international conference on Very large data bases, September 23-27, 2007, Vienna, Austria
• 17: Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
• 18: Guido Governatori , Zoran Milosevic , Shazia Sadiq, Compliance checking between business processes and business contracts, Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference, p.221-232, October 16-20, 2006 [doi>10.1109/EDOC.2006.22]
• 19: D. L. McGuinness and F. van Harmelen, "Owl web ontology language overview," http://www.w3.org/TR/owl-features/.
• 20: Justin O'Sullivan , David Edmond , Arthur Ter Hofstede, What's in a Service?, Distributed and Parallel Databases, v.12 n.2-3, p.117-133, September-November 2002 [doi>10.1023/A:1016547000822]
• 21: Shuping Ran, A model for web services discovery with QoS, ACM SIGecom Exchanges, v.4 n.1, p.1-10, Spring, 2003 [doi>10.1145/844357.844360]
• 22: E. Michael Maximilien , Munindar P. Singh, A Framework and Ontology for Dynamic Web Services Selection, IEEE Internet Computing, v.8 n.5, p.84-93, September 2004 [doi>10.1109/MIC.2004.27]
• 23: Liangzhao Zeng , Boualem Benatallah , Marlon Dumas , Jayant Kalagnanam , Quan Z. Sheng, Quality driven web services composition, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary [doi>10.1145/775152.775211]
• 24: J. Cardoso, A. Sheth, J. Miller, J. Arnold, and K. Kochut, "Quality of Service for Workflows and Web Service Processes," Journal of Web Semantics, 1(3), 281--308, 2004.
• 25: Michael C. Jaeger , Gregor Rojec-Goldmann , Gero Muhl, QoS Aggregation for Web Service Composition using Workflow Patterns, Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International, p.149-159, September 20-24, 2004 [doi>10.1109/EDOC.2004.19]
• 26: W. M. P. Van Der Aalst , A. H. M. Ter Hofstede , B. Kiepuszewski , A. P. Barros, Workflow Patterns, Distributed and Parallel Databases, v.14 n.1, p.5-51, July 2003 [doi>10.1023/A:1022883727209]
• 27: Rainer Berbner , Michael Spahn , Nicolas Repp , Oliver Heckmann , Ralf Steinmetz, Heuristics for QoS-aware Web Service Composition, Proceedings of the IEEE International Conference on Web Services, p.72-82, September 18-22, 2006 [doi>10.1109/ICWS.2006.69]
• 28: K. P. Yoon and C.-L. Hwang, "Multiple Attribute Decision Making: An Introduction," Sage University Paper series on Quantitative Applications in the Social Sciences, 07--104, Thousand Oaks, CA: Sage, 1995.
• 29: Liangzhao Zeng , Boualem Benatallah , Anne H.H. Ngu , Marlon Dumas , Jayant Kalagnanam , Henry Chang, QoS-Aware Middleware for Web Services Composition, IEEE Transactions on Software Engineering, v.30 n.5, p.311-327, May 2004 [doi>10.1109/TSE.2004.11]
• 30: Gerardo Canfora , Massimiliano Di Penta , Raffaele Esposito , Maria Luisa Villani, An approach for QoS-aware service composition based on genetic algorithms, Proceedings of the 2005 conference on Genetic and evolutionary computation, June 25-29, 2005, Washington DC, USA [doi>10.1145/1068009.1068189]
• 31: Tao Yu , Yue Zhang , Kwei-Jay Lin, Efficient algorithms for Web services selection with end-to-end QoS constraints, ACM Transactions on the Web (TWEB), v.1 n.1, p.6-es, May 2007 [doi>10.1145/1232722.1232728]
• 32: WSDL: http://www.w3.org/TR/wsdl20/
• 33: T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana, "Business Process Execution Language for Web Services Version 1.1," retrived from http://www-128.ibm.com/developerworks/library/specification/ws-bpel/, 2003.
• 34: ActiveBPEL Designer, http://www.activebpel.org/products/activebpeldes/get_code.html
• 35: Dieter König , Niels Lohmann , Simon Moser , Christian Stahl , Karsten Wolf, Extending the compatibility notion for abstract WS-BPEL processes, Proceeding of the 17th international conference on World Wide Web, April 21-25, 2008, Beijing, China [doi>10.1145/1367497.1367603]
• 36: A. Martens. On compatibility of web services. Petri Net Newsletter, 65:12--20, October 2003.
• 37: Axel Martens , Simon Moser , Achim Gerhardt , Karoline Funk, Analyzing Compatibility of BPEL Processes, Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services, p.147, February 19-25, 2006
• 38: Wil M. P. van der Aalst , Marlon Dumas , Chun Ouyang , Anne Rozinat , Eric Verbeek, Conformance checking of service behavior, ACM Transactions on Internet Technology (TOIT), v.8 n.3, p.1-30, May 2008 [doi>10.1145/1361186.1361189]
• 39: A. Martens. Process Oriented Discovery of Business Partners. ICEIS, 3:57--64, 2005.
• 40: Andreas Wombacher , Peter Fankhauser , Bendick Mahleko , Erich Neuhold, Matchmaking for Business Processes Based on Choreographies, Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04), p.359-368, March 28-31, 2004
• 41: B. Lin, Q. Li, and N. Gu. A Semantic Specification Framework for Analyzing Functional Composability of Autonomous Web Services. ICWS 2007.
• 42: L. Bordeaux, G. Salaun, D. Berardi, and M. Mecella. When are two web services compatible? TES'04.
• 43: A. Mocan and E. Cimpian. WSMX Data Mediation. WSMO Working Draft, January 2005.
• 44: M. Nagarajan, K. Verma, A. Sheth, and J. Miller. Ontology Driven Data Mediation in Web Services. International Journal of Web Services Research, Vol.4, No.4, 2007.
• 45: E. Cimpian, A. Mocan, and M. Stollberg. Mediation Enabled Semantic Web Services Usage. ASWC 2006.
• 46: Z. Wu, A. Ranabahu, K. Gomadam, A. Sheth, and J. Miller. Automatic Composition of Semantic Web Services using Process and Data Mediation. Technical Report, LSDIS lab, University of Georgia, February 2007.
• 47: M. Altenhofen, E. Borger, and J. Lemcke. An Abstract Model for Process Mediation. In Proc. ICFEM 2005.
• 48: Andrea Bracciali , Antonio Brogi , Carlos Canal, A formal approach to component adaptation, Journal of Systems and Software, v.74 n.1, p.45-54, January 2005 [doi>10.1016/j.jss.2003.05.007]
• 49: E. Cimpian and A. Mocan. WSMX Process Mediation Based on Choreographies. In Proc. BPM 2005 Workshops.
• 50: M. Dumas, M. Spork, and K. Wang. Adapt or perish: Algebra and visual notation for service interface adaptation. In Proc. BPM 2006.
• 51: Hamid Reza Motahari Nezhad , Boualem Benatallah , Axel Martens , Francisco Curbera , Fabio Casati, Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada [doi>10.1145/1242572.1242706]
• 52: Daniel M. Yellin , Robert E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.2, p.292-333, March 1997 [doi>10.1145/244795.244801]
• 53: WSDL-S. http://www.w3.org/Submission/WSDL-S/
• 54: SAWSDL. http://www.w3.org/2002/ws/sawsdl/