Reasoning about interaction protocols for Web service composition

Electronic Notes in Theoretical Computer Science

Volumn 105, Issue 1-4 SUPPL., 2004, Pages 21-36

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

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Conversation protocols; Modal logic languages; Reasoning about actions; Web service composition

Indexed keywords

CONVERSATION PROTOCOLS; MODAL LOGIC LANGUAGES; REASONING ABOUT ACTIONS; WEB-SERVICE COMPOSITION;

COMMUNICATION SYSTEMS; HTML; LOGIC PROGRAMMING; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; USER INTERFACES;

WORLD WIDE WEB;

EID: 10444275317     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.023     Document Type: Article

References (23)

1. M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction for personalizing web service fruition. In G. Armano, F. De Paoli, A. Omicini, and E. Vargiu, editors, Proc. of WOA 2003: Dagli oggetti agli agenti, sistemi intelligenti e computazione pervasiva, Villasimius (CA), Italy, September 2003. Pitagora Editrice Bolpgna.
2. M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about self and others: communicating agents in a modal action logic. In Proc. of ICTCS'2003, volume 2841 of LNCS, pages 228-241. Springer, 2003.
3. M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation. To appear.
4. M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. In Proc. of ICTCS'2001, volume 2202 of LNCS, pages 405-425. Springer, 2001.
5. P. Bretier and D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: implementing a logical theory of interaction. In J.P. Müller, M. Wooldridge, and N.R. Jennings, editors, Intelligent Agents III, proc. of ECAI-96 Workshop on Agent Theories, Architectures, and Languages (ATAL-96), volume 1193 of LNAI. Springer-Verlag, 1997.
6. J. Bryson, D. Martin, S. McIlraith, and L. A. Stein. Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web, 2002.
7. P. Ciancarini and J. Wooldridge, editors. Agent Oriented Software Engeneering (AOSE 2000), volume 1957 of LNCS. Springer-Verlag, 2000.
8. DAML-S. http://www.daml.org/services/daml-s/0.9/. version 0.9, 2003.
9. M. Denecker and D. De Schreye. Representing Incomplete Knowledge in Abduction Logic Programming. In Proc. of ILPS '93, Vancouver, 1993. The MIT Press.
10. G. De Giacomo, Y. Lesperance, and H.J. Levesque. Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109-169, 2000.
11. A. Herzig and D. Longin. Beliefs dynamics in cooperative dialogues. In Proc. of AMSTELOGUE 99, 1999.
12. H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. J. of Logic Programming, 31:59-83, 1997.
13. A. Mamdani and J. Pitt. Communication protocols in multi-agent systems: A development method and reference architecture. In Issues in Agent Communication, volume 1916 of LNCS, pages 160-177. Springer, 2000.
14. J. Maurer, editor. A CM Queue. ACM, march 2003.
15. S. McIlraith and T. Son. Adapting Golog for Programmin the Semantic Web. In 5th Int. Symp. on Logical Formalization of Commonsense Reasoning, pages 195-202, 2001.
16. James H. Odell, H. Van Dyke Parunak, and Bernhard Bauer. Representing agent interaction protocols in UML. In Agent-Oriented Software Engineering, pages 121-140. Springer, 2001. http://www.fipa.org/docs/input/f-in-00077/.
17. A. Omicini and F. Zambonelli. Coordination for Internet application development. Journal of Autonomous Agents and Multi-Agent Systems, 2(3), 1999. Special Issue on Coordination Mechanisms and Patterns for Web Agents.
18. Andrea Omicini and Enrico Denti. Formal ReSpecT. In Maria Chiara Meo, editor, 2000 Joint Conf. on Declarative Programming (AGP'00), La Habana (Cuba), 4-7 December 2000.
19. OWL. http://www.w3c.org/tr/owl-guide/. 2003.
20. V. Patti. Programming Rational Agents: a Modal Approach in a Logic Programming Setting. PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy, 2002. Available at http://www.di.unito.it/~patti/.
21. RDF. http://www.w3c.org/tr/1999/rec-rdf-syntax-19990222/. 1999.
22. S. Shapiro, Y. Lespérance, and H. J. Levesque. Specifying communicative multi-agent systems. In Agents and Multi-Agent Systems - Formalisms, Methodologies, and Applications, volume 1441 of LNAI, pages 1-14. Springer-Verlag, 1998.
23. WSDL. http://www.w3c.org/tr/2003/wd-wsdl12-20030303/. version 1.2, 2003.