A formal model for semantic Web service composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4273 LNCS, Issue , 2006, Pages 385-398

  Lécué, Freddy ^a,b   Léger, Alain ^a  

^a ORANGE LABS   (France)

^b ECOLE DES MINES DE SAINT ETIENNE   (France)

Author keywords

AI planning; Automated composition; Automated reasoning; Semantic web; Web service

Indexed keywords

ARTIFICIAL INTELLIGENCE; PROBLEM SOLVING; REGRESSION ANALYSIS; WORLD WIDE WEB;

AUTOMATED COMPOSITION; AUTOMATED REASONING; SEMANTIC WEB; WEB SERVICES;

SEMANTICS;

EID: 33845416755     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11926078_28     Document Type: Conference Paper

References (32)

1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applictions. Springer-Verlag (2004)
2. Sycara, K.P., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated discovery, interaction and composition of semantic web services. J. Web Sem 1(1) (2003) 27-46
3. Paolucci, M., Sycara, K.P., Kawamura, T.: Delivering semantic web services. In: Proceedings of the international conference on WWW (Alternate Paper Tracks). (2003) 829-837
4. Sirin, E., Parsia, B., Hendler, J.A.: Filtering and selecting semantic web services with interactive composition techniques. IEEE Intelligent Systems 19(4) (2004) 42-49
5. Klusch, M., Fries, B., Khalid, M., Sycara, K.: Owls-mx: Hybrid owl-s service matchmaking. In: AAAI Fall Symposium Series. (2005)
6. Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: 1st ICSOC. (2003) 43-58 volume 2910.
7. Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services,. Eleventh International World Wide Web Conference (2002) 7-10
8. Pistore, M., Roberti, P., Traverso, P.: Process-level composition of executable web services: "on-the-fly" versus "once-for-all" composition. In: ESWC. (2005) 62-77
9. Benatallah, B., Hacid, M.S., Leger, A., Rey, C., Toumani, F.: On automating web services discovery. VLDB J 14(1) (2005) 84-96
10. Ankolenkar, A., Paolucci, M., Srinivasan, N., Sycara, K.: The owl services coalition, owl-s 1.1 beta release. Technical report (2004)
11. Fensel, D., Kifer, M., de Bruijn, J., Domingue, J.: Web service modeling ontology (wsmo) submission, w3c member submission. (2005)
12. Küsters, R.: Non-Standard Inferences in Description Logics. Volume 2100 of Lecture Notes in Computer Science. Springer (2001)
13. Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic matching of web services capabilities. In: Proceedings of the First International Semantic Web Conference, LNCS 2342, Springer-Verlag (2002) 333-347
14. Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. In: Proceedings of the Twelfth International Conference on WWW. (2003) 331-339
15. 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, ACM Press (2004) 41-50
16. McAllester, D., Rosenblitt, D.: Systematic nonlinear planning, Menlo Park, CA, AAAI (1991) 634-639
17. Russell, S., Norvig, P.: Artificial Intelligence: a modern approach. Prentice-Hall (1995)
18. Baker, A.: Matrix Groups: An Introduction to Lie Group Theory. Springer undergraduate mathematics series. Springer-Verlag, London (2002)
19. 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)
20. 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)
21. Srivastava, B., Koehler, J.: Web service composition - current solutions and open problems. In: ICAPS 2003 Workshop on Planning for Web Services. (2003)
22. Ghallab, M., Nau, D., Traverse, P.: Automated Planning: Theory and Practice. Morgan Kaufmann Publishers (2004)
23. Sacerdoti, E.: The nonlinear nature of plan. In: IJCAI-4. (1975) 206-214
24. 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)
25. Constantinescu, I., Fallings, B., Binder, W: Type-based composition of information services in large scale environments. In: The International Conference on Web Intelligence. (2004)
26. 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)
27. Constantinescu, I., Fallings, B., Binder, W.: Type based service composition. In: WWW (Alternate Track Papers & Posters). (2004) 268-269
28. Wu, D., Parsia, B., Sirin, E., Hendler, J.A., Nau, D.S.: Automating DAML-S web services composition using SHOP2. In: ISWC. (2003) 195-210
29. Dermott, D.M.: PDDL - the planning domain definition language (1997)
30. Benatallah, B., Sheng, Q.Z., Ngu, A.H.H., Dumas, M.: Declarative composition and peer-to-peer provisioning of dynamic web services. In: ICDE. (2002) 297-308
31. Mao, Z.M., Katz, R.H., Brewer, E.A.: Fault-tolerant, scalable, wide-area internet service composition. Technical report (2001)
32. Zhang, R., Arpinar, I.B., Aleman-Meza, B.: Automatic composition of semantic web services. In: ICWS. (2003) 38-11