Reasoning about interaction protocols for customizing web service selection and composition

Journal of Logic and Algebraic Programming

Volumn 70, Issue 1, 2007, Pages 53-73

  Baldoni, Matteo ^a   Baroglio, Cristina ^a   Martelli, Alberto ^a   Patti, Viviana ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Agent logic programming; Interaction protocols; Personalization; Reasoning about actions; Semantic web services

Indexed keywords

COMPUTER SOFTWARE; FORMAL LOGIC; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; PROBLEM SOLVING; SEMANTICS; WORLD WIDE WEB;

AGENT LOGIC PROGRAMMING; INTERACTION PROTOCOLS; PERSONALIZATION; REASONING ABOUT ACTIONS; SEMANTIC WEB SERVICES;

NETWORK PROTOCOLS;

EID: 33750474823     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2006.05.005     Document Type: Article

References (52)

1. van der Aalst W.M.P., Dumas M., ter Hofstede A.H.M., Russell N., Verbeek H.M.W., and Wohed P. Life after BPEL?. Proc. of WS-FM'05. LNCS vol. 3670 (2005), Springer 35-50 (invited speaker)
2. Baldoni M., Baroglio C., and Henze N. Personalization for the Semantic Web. Reasoning Web. LNCS Tutorial vol. 3564 (2005), Springer 173-212
3. Antoniou G., Baldoni M., Baroglio C., Baungartner R., Bry F., Eiter T., Henze N., Herzog M., May W., Patti V., Schaffert S., Schidlauer R., and Tompits H. Reasoning methods for personalization on the semantic web. Ann. Math. Comput. Teleinformatics (AMCT) 2 1 (2004) 1-24
4. Dignum F., and Greaves M. Issues in agent communication. Issues in Agent Communication. LNCS vol. 1916 (2000), Springer 1-16
5. In: Dignum F. (Ed). Advances in Agent Communication Languages. LNAI vol. 2922 (2004), Springer-Verlag
6. FIPA, Communicative act library specification, Tech. rep., FIPA (Foundation for Intelligent Physical Agents), 2002.
7. Finin T., Labrou Y., and Mayfield J. KQML as an Agent Communication Language. In: Bradshaw J. (Ed). Software Agents (1995), MIT Press
8. Baldoni M., Giordano L., Martelli A., and Patti V. Programming Rational Agents in a Modal Action Logic. Ann. Math. Artif. Intell. 41 2-4 (2004) 207-257 (Special issue on Logic-Based Agent Implementation)
9. Baldoni M., Baroglio C., and Patti V. Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions. Artificial Intelligence Rev. 22 1 (2004) 3-39
10. Mamdani A., and Pitt J. Communication protocols in multi-agent systems: a development method and reference architecture. Issues in Agent Communication. LNCS vol. 1916 (2000), Springer 160-177
11. Baldoni M., Baroglio C., Martelli A., and Patti V. Reasoning about self and others: communicating agents in a modal action logic. Proc. of ICTCS'2003. LNCS vol. 2841 (2003), Springer 228-241
12. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, Reasoning about interaction protocols for web service composition, in: Bravetti and Zavattaro [15], pp. 21-36, Electronic Notes in Theoretical Computer Science, vol. 105.
13. A. Barros, M. Dumas, P. Oaks, A critical overview of the web services choreography description language(ws-cdl), Business Process Trends. Available from: .
14. BPEL4WS, 2003. Available from: .
15. M. Bravetti, G. Zavattaro (Eds.), Proc. of the 1st Int. Workshop on Web Services and Formal Methods (WS-FM 2004), Elsevier Science Direct, 2004, Electronic Notes in Theoretical Computer Science, vol. 105.
16. In: Bravetti M., Kloul L., and Zavattaro G. (Eds). Proc. of the 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005). LNCS vol. 3670 (2005), Springer
17. WS-CDL, 2004. Available from: .
18. T. Berners-Lee, J. Hendler, O. Lassila, The Semantic Web, Scientific American.
19. REWERSE Network of Excellence, 2004. Available from: .
20. Antoniou G., and van Harmelen F. A Semantic Web Primer (2004), MIT Press
21. WSMO, 2005. Available from: .
22. Odell J.H., Van Dyke Parunak H., and Bauer B. Representing agent interaction protocols in UML. Agent-Oriented Software Engineering (2001), Springer 121-140. Available from:
23. Foundation for InteroPerable Agents, Fipa modeling: Interaction diagrams, Tech. rep., working Draft Version 2003-07-02, 2003.
24. Baldoni M., Baroglio C., Martelli A., Patti V., and Schifanella C. Verifying the conformance of web services to global interaction protocols: a first step. Proc. of 2nd Int. Workshop on Web Services and Formal Methods, WS-FM 2005. LNCS vol. 3670 (2005) 257-271
25. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, G. Zavattaro, Choreography and Orchestration: a synergic approach for system design, in: Proc. the 3rd Int. Conf. on Service Oriented Computing, 2005.
26. Arisha K., Eiter T., Kraus S., Ozcan F., Ross R., and Subrahmanian V. IMPACT: a platform for collaborating agents. IEEE Intell. Systems 14 2 (1999) 64-72
27. Fisher M. A survey of concurrent METATEM - the language and its applications. In: Gabbay D., and Ohlbach H. (Eds). Proc. of the 1st Int. Conf. on Temporal Logic, ICTL'94. LNAI vol. 827 (1994), Springer-Verlag 480-505
28. Giacomo G.D., Lesperance Y., and Levesque H. Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121 (2000) 109-169
29. J. Leite, A. Omicini, P. Torroni, P. Yolum (Eds.), Int. Workshop on Declarative Agent Languages and Technology, New York City, NY, USA, 2004. Available from: .
30. Levesque H.J., Reiter R., Lespérance Y., Lin F., and Scherl R.B. GOLOG: a logic programming language for dynamic domains. J. Logic Programming 31 (1997) 59-83
31. FIPA, Fipa 2000, fipa Query Interaction Protocol Specification, Tech. rep., FIPA (Foundation for Intelligent Physical Agents), November 2000.
32. Eshghi K., and Kowalski R. Abduction compared with negation by failure. Proc. of ICLP'89 (1989), The MIT Press, Lisbon
33. Denecker M., and De Schreye D. Representing incomplete knowledge in abduction logic programming. Proc. of ILPS'93 (1993), The MIT Press, Vancouver
34. J. Bryson, D. Martin, S. McIlraith, L.A. Stein, Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web, 2002. Available from: .
35. K. Sycara, Brokering and matchmaking for coordination of agent societies: a survey, in: A. Omicini et al. (Ed.), Coordination of Internet Agents, Springer, 2001.
36. D.J. Mandell, S.A. McIlraith, Adapting BPEL4WS for the Semantic Web: the bottom-up approach to web service interoperation, in: Proc. of the 2nd Int. Semantic Web Conference (ISWC2003), Sanibel Island, FL, 2003.
37. J. Koehler, B. Srivastava, Web service composition: current solutions and open problems, in: ICAPS 2003 Workshop on Planning for Web Services, 2003, pp. 28-35.
38. M. Klein, A. Bernstein, Searching for services on the semantic web using process ontologies, in: Proc. of the Int. Semantic Web Working Symposium (SWWS), Stanford University, California, USA, 2001.
39. M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, P. Traverso, Planning and monitoring web service composition, in: Proc. of Planning and Monitoring Web Service Composition Artificial Intelligence: Methodology, Systems, Application (AIMSA) 2004, 2004.
40. OWL-S, http://www.daml.org/services/owl-s/1.1/, 2004.
41. S. McIlraith, T. Son, Adapting Golog for programming the Semantic Web, in: 5th Int. Sympos. on Logical Formalization of Commonsense Reasoning, 2001, pp. 195-202.
42. S. Narayanan, S.A. McIlraith, Simulation, verification and automated composition of web services, Honolulu, Hawaii, USA, 2002, pp. 77-88.
43. U. Keller, R.L.A. Polleres, I. Toma, M. Kifer, D. Fensel, D5.1 v0.1 wsmo web service discovery, Tech. rep., WSML deliverable, 2004.
44. J. Peer, Towards automatic web service composition using ai planning techniques, http://www.mcm.unisg.ch/org/mcm/web.nsf/staff/jpeer, 2003.
45. A.M. Zamreski, J.M. Wing, Specification matching of software components, in: Proc. of the 3rd ACM SIGSOFT Sympos. on the Foundations of Software Eng., 1995.
46. B. Fischer, J. Schumann, NORA/HAMRR: Making deduction-based software component retrieval practical, in: Proc. of CADE-14 Workshop on Automated Theorem Proving in Software Engineering, 1997.
47. J. Penix, P. Alexander, Efficient specification-based component retrieval, Automated Software Engineering.
48. K. Sykara, S. Widoff, M. Klusch, J. Lu, LARKS: dynamic matchmaking among heterogeneous software agents in cyberspace, Autonomous Agents and Multi-Agent Systems.
49. R.M.V. Haarslev, Description of the racer system and its applications, Stanford, CA, USA, 2001.
50. MacDermott D. AI planning systems competition. AI Magazine 21 2 (2000) 35-55
51. Peer J., and Vokovic M. A proposal for a semantic web service description format. Proc. of the European Conf. on Web Services (ECOWS'04) (2004), Springer-Verlag
52. V. Patti, Programming Rational Agents: a Modal Approach in a Logic Programming Setting, Ph.D. thesis, Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy, 2002. Available from: .