Abstract
Service discovery and service aggregation are two crucial issues in the emerging area of service-oriented computing (SOC). We propose a new technique for the discovery of (Web) services that accounts for the need of composing several services to satisfy a client query. The proposed algorithm makes use of OWL-S ontologies, and explicitly returns the sequence of atomic process invocations that the client must perform in order to achieve the desired result. When no full match is possible, the algorithm features a flexible matching by returning partial matches and by suggesting additional inputs that would produce a full match.
- Akkiraju, R., Farrell, J., Miller, J., Nagarajan, M., Schmidt, M.-T., Sheth, A., and Verma, K. 2005. Web service semantics—WSDL-S technical note (version 1.0). http://lsdis.cs.uga.edu/library/download/WSDL-S-V1.pdf.Google Scholar
- Álvares, P., Bañares, J., and Ezpelata, J. 2005. Approaching Web service coordination and composition by means of petri nets. The case of the nets-within-nets paradigm. In Proceedings of the International Conference on Service-Oriented Computing (ICSOC). Lecture Notes in Computer Science, vol. 3826, Springer, 185--197. Google Scholar
Digital Library
- Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., and Weerawarana, S., 2003. Business process execution language for Web services (version 1.1). http://www-106.ibm.com/developerworks/library/ws-bpel.Google Scholar
- Aversano, L., Canfora, G., and Ciampi, A. 2004. An algorithm for Web service discovery through their composition. In Proceedings of the IEEE International Conference on Web Services (ICWS), L. Zhang, Ed. IEEE Computer Society, 332--341. Google Scholar
Digital Library
- Bansal, S. 2002. Matchmaking of Web services based on the DAML-S service model. Master thesis. University of South Carolina.Google Scholar
- Bansal, S. and Vidal, J. 2003. Matchmaking of Web services based on the DAML-S service model. In Proceedings of the 2nd International Joint Conference on Autonomous Agents (AAMAS), T. Sandholm and M. Yokoo, Eds. ACM Press, 926--927. Google Scholar
Digital Library
- Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., and Tabet, S. 2005. Semantic Web service ontology (SWSO). W3C member submission. http://www.w3.org/Submission/SWSF-SWSO/.Google Scholar
- Benatallah, B., Hacid, M.-S., Rey, C., and Toumani, F. 2003. Request rewriting-based Web service discovery. In Proceedings of the International Symposium on Wearable Computers (ISWC). Lecture Notes in Computer Science, vol. 2870. Springer, 242--257.Google Scholar
- Benatallah, B. and Hamadi, R. 2003. A Petri net-based model for Web service composition. In Proceedings of the 14th Australasian Database Conference (ADC), 191--200. Google Scholar
Digital Library
- Berardi, D., Calvanese, D., Giacomo, G. D., and Mecella, M. 2005. Composition of services with nondeterministic observable behaviour. In Proceedings of the International Conference on Service-Oriented Computing (ICSOC). Lecture Notes in Computer Science, vol. 3826. Springer, 520--526. Google Scholar
Digital Library
- Berners-Lee, T., Hendler, J., and Lassila, O. 2001. The semantic Web. Sci. Amer.Google Scholar
- Bracciali, A., Brogi, A., and Canal, C. 2005. A formal approach to component adaptation. J. Syst. Softw. 3, 45--54. Google Scholar
Digital Library
- Brogi, A., Corfini, S., and Popescu, R. 2005. Composition-oriented service discovery. In Software Composition, Lecture Notes in Computer Science 3628, T. Gschwind et al., Eds., Springer, 15--30. Google Scholar
Digital Library
- de Alfaro, L. and Henzinger, T. 2001. Interface automata. In Proceedings of the 9th Annual Symposium on Foundations of Software Engineering (FSE). ACM Press, 109--102. Google Scholar
Digital Library
- de Bruijn, J., Bussler, C., Domingue, J., Fensel, D. Hepp, M., Keller, U., Kifer, M., Kõnig-Ries, B., Kopecky, J., Rubin, L., Lausen, H., Oren, E., Polleres, A., Roman, D., Scicluna, J., and Stollberg, M. 2005. Web service modeling ontology (WSMO) (W3C member submission). http://www.w3.org/Submission/WSMO/.Google Scholar
- Gallo, G., Longo, G., Nguyen, S., and Pallottino, S. 1993. Directed hypergraphs and applications. Discr. Appl. Math. 42, 2, 177--201. Google Scholar
Digital Library
- Hashemian, S. and Mavaddat, F. 2005. A graph-based approach to Web services composition. In Proceedings of the Symposium on Applications and the Internet (SAINT), I. C. Society, Ed. CS Press, 183--189. Google Scholar
Digital Library
- Kavantzas, N., Burdett, D., and Ritzinger, G. 2004. Web service choreography description language version 1.0. W3C working draft. http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427/.Google Scholar
- Kawamura, T., Blasio, J. D., Hasegawa, T., Paolucci, M., and Sycara, K. 2004. Public deployment of semantic service matchmaking with UDDI business registry. In Proceedings of the 3rd International Semantic Web Conference (ISWC). Lecture Notes in Computer Science, vol. 3298. Springer, 752--766.Google Scholar
- Kifer, M., Lara, R., Polleres, A., Zhao, C., Keller, U., Lausen, H., and Fensel, D. 2004. A logical framework for Web service discovery. In Proceedings of the Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications (ISWC), vol. 119. CEUR Hiroshima, Japan.Google Scholar
- Kochut, K. J. and Yi, X. 2004. Specification and analysis of service oriented distributed systems using coloured petri nets: Models, algorithms and tools. Tech, Rep., University of Georgia, Computer Science Department.Google Scholar
- Kritikos, K. 2005. Extending OWL for QoS-based Web service description and discovery. In Proceedings of the IBM Ph.D. Symposium at the International Conference on Service-Oriented Computing (ICSOC), A. Hanemann, Ed. 73--78.Google Scholar
- Li, L. and Horrocks, I. 2004. A software framework for matchmaking based on semantic Web technology. Int. J. Electron. Commerce 8, 4, 39--60. Google Scholar
Digital Library
- METEOR-S Team. 2004. METEOR-S: Semantic Web services and processes. http://lsdis.cs.uga.edu/projects/meteor-s/.Google Scholar
- Mokhtar, S. B., Georgantas, N., and Issarny, V. 2005. Ad hoc composition of user tasks in pervasive computing environment. In Software Composition. Lecture Notes in Computer Science, vol. 3628, T. Gschwind et al., Eds. Springer. Google Scholar
Digital Library
- Navas-Delgado, I., Sanz, I., Aldana-Montes, J. F., and Berlanga, R. 2005. Automatic generation of semantic fields for resource discovery in the semantic Web. In Proceedings of the 16th International Conference on Database and Expert Systems Applications (DEXA). Lecture Notes in Computer Science, vol. 3588. Springer. Google Scholar
Digital Library
- OWL-S Coalition. 2004. OWL-S 1.1 release. http://www.daml.org/services/owl-s/1.1/.Google Scholar
- Paolucci, M., Kawamura, T., Payne, T., and Sycara, K. 2002. Semantic matchmaking of Web services capabilities. In Proceedings of the 1st International Semantic Web Conference on The Semantic Web. Lecture Notes in Computer Science, vol. 2342. I. Horrocks and J. Hendler, Eds. Springer, 333--347. Google Scholar
Digital Library
- Papazoglou, M. and Georgakopoulos, D. 2003. Service-Oriented Computing. Commun. ACM 46, 10, 25--28. Google Scholar
Digital Library
- Rajasekaran, P., Miller, J. A., Verma, K., and Sheth, A. P. 2005. Enhancing Web services description and discovery to facilitate composition. In Semantic Web Services and Web Process Composition. Lecture Notes in Computer Science, vol. 3387, J. Cardoso and A. Sheth, Eds. Springer, 55--68. Google Scholar
Digital Library
- Sivashanmugam, K., Miller, J. A., Sheth, A. P., and Verma, K. 2004. Framework for semantic Web process composition. Int. J. Electron. Commerce SI, Semantic Web Services and Their Role in Enterprise Application Integration and E-Commerce 9, 2 (Winter), 71--106. Google Scholar
Digital Library
- Srinivasan, N., Paolucci, M., and Sycara, K. P. 2004. An Efficient Algorithm for OWL-S Based Semantic Search in UDDI. In Proceedings of the International Workshop on Semantic Web Process Composition (SWSWPC), 96--110. Google Scholar
Digital Library
- UDDI. 2000. The UDDI technical white paper. http://www.uddi.org/.Google Scholar
- van der Aalst, W. M. P. and ter Hofstede, A. H. M. 2005. Yawl: Yet another workflow language. Inf. Syst. 30, 4, 245--275. Google Scholar
Digital Library
- W3C. 2001a. Simple object access protocol (SOAP) 1.2 (W3C working draft. 17) Dec. 2001. http://www.w3.org/TR/2001/WD-soap12-part0-20011217/.Google Scholar
- W3C. 2001b. Web service description language (WSDL) 1.1. http://www.w3.org/TR/wsdl.Google Scholar
- Yang, J. 2003. Web service componentization. Commun. ACM 46, 10, 35--40. Google Scholar
Digital Library
Index Terms
Semantics-based composition-oriented discovery of Web services
Recommendations
Web service composition: a reality check
WISE'07: Proceedings of the 8th international conference on Web information systems engineeringAutomated web service composition is one of the major promises of service-oriented architecture, where services can be discovered and composed dynamically and automatically. To investigate the methods for composite web service construction, we conducted ...
Semantic Web Service Discovery and Composition Based on AI Planning and Web Service Modeling Ontology
APSCC '08: Proceedings of the 2008 IEEE Asia-Pacific Services Computing ConferenceWeb services are the preferred standards-based way to realize Service Oriented Architecture (SOA) computing. A problem that has become one of the recent critical issues is automated composition of Web services. A number of approaches have been proposed ...
Bounded Model Checking for Web Service Discovery and Composition
SNPD '10: Proceedings of the 2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed ComputingWith the acceptance of service-oriented architecture (SOA) in many application domains and the rapidly growing number of available services, it is now a challenge to effectively discover and compose services to meet user needs. In this paper, we present ...






Comments