Abstract
Automated composition of Web services or the process of forming new value added Web services is one of the most promising challenges in the semantic Web service research area. Semantics is one of the key elements for the automated composition of Web services because such a process requires rich machine-understandable descriptions of services that can be shared. Semantics enables Web service to describe their capabilities and processes, nevertheless there is still some work to be done. Indeed Web services described at functional level need a formal context to perform the automated composition of Web services. The suggested model (i.e., Causal link matrix) is a necessary starting point to apply problem-solving techniques such as regression-based search for Web service composition. The model supports a semantic context in order to find a correct, complete, consistent and optimal plan as a solution. In this paper an innovative and formal model for an AI planning-oriented composition is presented.
Chapter PDF
Similar content being viewed by others
References
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applictions. Springer, Heidelberg (2004)
Sycara, K.P., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated discovery, interaction and composition of semantic web services. J. Web Sem. 1(1), 27–46 (2003)
Paolucci, M., Sycara, K.P., Kawamura, T.: Delivering semantic web services. In: Proceedings of the International Conference on WWW (Alternate Paper Tracks), pp. 829–837 (2003)
Sirin, E., Parsia, B., Hendler, J.A.: Filtering and selecting semantic web services with interactive composition techniques. IEEE Intelligent Systems 19(4), 42–49 (2004)
Klusch, M., Fries, B., Khalid, M., Sycara, K.: Owls-mx: Hybrid owl-s service matchmaking. In: AAAI Fall Symposium Series (2005)
Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)
Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Eleventh International World Wide Web Conference, pp. 7–10 (2002)
Pistore, M., Roberti, P., Traverso, P.: Process-Level Composition of Executable Web Services: ”On-the-fly” Versus ”Once-for-all” Composition. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 62–77. Springer, Heidelberg (2005)
Benatallah, B., Hacid, M.S., Leger, A., Rey, C., Toumani, F.: On automating web services discovery. VLDB J. 14(1), 84–96 (2005)
Ankolenkar, A., Paolucci, M., Srinivasan, N., Sycara, K.: The owl services coalition, owl-s 1.1 beta release. Technical report (2004)
Fensel, D., Kifer, M., de Bruijn, J., Domingue, J.: Web service modeling ontology (wsmo) submission, w3c member submission (2005)
Küsters, R.: Non-Standard Inferences in Description Logics. LNCS, vol. 2100. Springer, Heidelberg (2001)
Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)
Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. In: Proceedings of the Twelfth International Conference on WWW, pp. 331–339 (2003)
Colucci, S., Noia, T.D., Sciascio, E.D., Mongiello, M., Donini, F.M.: Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. In: Proceedings of the 6th ICEC, pp. 41–50. ACM Press, New York (2004)
McAllester, D., Rosenblitt, D.: Systematic nonlinear planning, pp. 634–639. AAAI, Menlo Park (1991)
Russell, S., Norvig, P.: Artificial Intelligence: a modern approach. Prentice-Hall, Englewood Cliffs (1995)
Baker, A.: Matrix Groups: An Introduction to Lie Group Theory. Springer undergraduate mathematics series. Springer, London (2002)
Lécué, F., Léger, A.: Semantic web service composition through a matchmaking of domain. In: 4th IEEE European Conference on Web Services (ECOWS) (to appear, 2006)
Desjardins, M., Sheshagiri, M., Finin, T.: A planner for composing services described in DAML-S. In: AAMAS Workshop on Web Services and Agent-based Engineering (2003)
Srivastava, B., Koehler, J.: Web service composition - current solutions and open problems. In: ICAPS 2003 Workshop on Planning for Web Services (2003)
Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)
Sacerdoti, E.: The nonlinear nature of plan. In: IJCAI-4, pp. 206–214 (1975)
Lécué, F., Léger, A.: Semantic web service composition based on a closed world assumption. In: 4th IEEE European Conference on Web Services (ECOWS) (to appear, 2006)
Constantinescu, I., Faltings, B., Binder, W.: Type-based composition of information services in large scale environments. In: The International Conference on Web Intelligence (2004)
Claro, D.B., Albers, P., Hao, J.K.: Selecting web services for optimal composition. In: ICWS International Workshop on Semantic and Dynamic Web Processes, Orlando, USA (2005)
Constantinescu, I., Faltings, B., Binder, W.: Type based service composition. In: WWW (Alternate Track Papers & Posters), pp. 268–269 (2004)
Wu, D., Parsia, B., Sirin, E., Hendler, J.A., Nau, D.S.: Automating DAML-S Web Services Composition Using SHOP2. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195–210. Springer, Heidelberg (2003)
Dermott, D.M.: PDDL - the planning domain definition language (1997)
Benatallah, B., Sheng, Q.Z., Ngu, A.H.H., Dumas, M.: Declarative composition and peer-to-peer provisioning of dynamic web services. In: ICDE, pp. 297–308 (2002)
Mao, Z.M., Katz, R.H., Brewer, E.A.: Fault-tolerant, scalable, wide-area internet service composition. Technical report (2001)
Zhang, R., Arpinar, I.B., Aleman-Meza, B.: Automatic composition of semantic web services. In: ICWS, pp. 38–41 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lécué, F., Léger, A. (2006). A Formal Model for Semantic Web Service Composition. In: Cruz, I., et al. The Semantic Web - ISWC 2006. ISWC 2006. Lecture Notes in Computer Science, vol 4273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11926078_28
Download citation
DOI: https://doi.org/10.1007/11926078_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49029-6
Online ISBN: 978-3-540-49055-5
eBook Packages: Computer ScienceComputer Science (R0)