Verification of protocol conformance and agent interoperability

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

Volumn 3900 LNAI, Issue , 2006, Pages 265-283

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

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; FINITE AUTOMATA; FORMAL LOGIC; INTEROPERABILITY; NETWORK PROTOCOLS; SOFTWARE AGENTS;

COMPUTATIONAL LOGIC; DYLOG; MESSAGE EXCHANGING;

MULTI AGENT SYSTEMS;

EID: 33745611816     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11750734_15     Document Type: Conference Paper

References (30)

1. M. Alberti, D. Daolio, P. Torroni, M. Gavanelli, E. Lamma, and P. Mello. Specification and verification of agent interaction protocols in a logic-based system. In ACM SAC 8004, Pages 72-78. ACM, 2004.
2. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Springer, 2004.
3. M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about self and others: communicating agents in a modal action logic. In ICTCS'2003, volume 2841 of LNCS, pages 228-241. Springer, October 2003.
4. M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for customizing web service selection and composition. Journal of Logic and Algebraic Programming, Special issue on Web Services and Formal Methods, 2006. to appear.
5. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying protocol conformance for logic-based communicating agents. In Proc. of 5th Int. Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, number 3487 in LNCS, pages 192-212. Springer, 2005.
6. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying the conformance of web services to global interaction protocols: a first step. In Proc. of end Int. Workshop on Web Services and Formal Methods, WS-FM 2005, number 3670 in LNCS, pages 257-271, 2005.
7. 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, 41(2-4):207-257, 2004.
8. M. Barbuceanu and M. Fox. Cool: A language for describing coordination in multiagent systems. In Proceedings International Conference on Multi Agent Systems (ICMAS'95), pages 17-24. MIT Press, Massachusetts, USA, 1995.
9. J. Bentahar, B. Moulin, J. J. Ch. Meyer, and B. Chaib-Draa. A computational model for conversation policies for agent communication. In Pre-Proc. of CLIMA V, number 3487 in LNCS, pages 178-195. Springer, 2004.
10. R. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model Checking AgentSpeak. In Proc. of end International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2003, 2003.
11. M. Bravetti, L. Kloul, and G. Zavattaro, editors. Proc. of the 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), number 3670 in LNCS. Springer, 2005.
12. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and Orchestration: a synergic approach for system design. In Proc. the 3rd Int. Conf. on Service Oriented Computing, 2005.
13. L. Cabac and D. Moldt. Formal semantics for auml agent interaction protocol diagrams. In Proc. of AOSE 2004, pages 47-61, 2004.
14. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol conformance for logic-based agents. In G. Gottlob and T. Walsh, editors, Proc. of IJCAI-2003, pages 679-684. Morgan Kaufmann Publishers, August 2003.
15. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Logic-based agent communication protocols. In Advances in agent communication languages, volume 2922 of LNAI, pages 91-107. Springer-Verlag, 2004. invited contribution.
16. R. Eshuis and R. Wieringa. Tool support for verifying UML activity diagrams. IEEE Trans. on Software Eng., 7(30), 2004.
17. FIPA. Fipa 97, specification part 2: Agent communication language. Technical report, FIPA (Foundation for Intelligent Physical Agents), November 1997.
18. L. Giordano, A. Martelli, and C. Schwind. Specifying and verifying interaction protocols in a temporal action logic. Journal of Applied Logic (Special issue on Logic Based Agent Verification). Accepted for publication.
19. L. Giordano, A. Martelli, and C. Schwind. Verifying communicating agents by model checking in a temporal action logic. In JELIA '04, volume 3229 of LNAI, pages 57-69, Lisbon, Portugal, 2004. Springer.
20. F. Guerin. Specifying Agent Communication Languages. PhD thesis, Imperial College, London, April 2002.
21. F. Guerin and J. Pitt. Verification and Compliance Testing. In H.P. Huget, editor, Communication in Multiagent Systems, volume 2650 of LNAI, pages 98-112. Springer, 2003.
22. J. E. Hopcroft and J. D. Ullman. Introduction to automata theory, languages, and computation. Addison-Wesley Publishing Company, 1979.
23. M. P. Huget and J.L. Koning, Interaction Protocol Engineering. In H.P. Huget, editor, Communication in Multiagent Systems, volume 2650 of LNAI, pages 179-193. Springer, 2003.
24. 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.
25. N. Maudet and B. Chaib-draa. Commitment-based and dialogue-based protocols: new trends in agent communication languages. Knowledge engineering review, 17(2), 2002.
26. J. Odell, H. V. D. Parunak, and B. Bauer. Extending UML for agents. In Proc. of the Agent-Oriented Information System Workshop at AAAI'00. 2000.
27. J. Pitt, F. Guerin, and C. Stergiou. Protocols and intentional specifications of multi-party agent conversations for brokerage and auctions. In Autonomous Agents 2000, pages 269-276, Barcelona, 2000. ACM Prtess
28. M. P. Singh. A social semantics for agent communication languages. In Proc. of IJCAI-98 Workshop on Agent Communication Languages, Berlin, 2000. Springer.
29. C. Walton, Model checking agent dialogues. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Declarative agent languages and technologies II, DALT 2004, number 3476 in LNCS, pages 132-147. Springer, 2005.
30. WS-CDL. http://www.w3.org/tr/2004/wd-ws-cdl-10-20041217/. 2004.