Autonomous Agents and Multi-Agent Systems

, Volume 6, Issue 2, pp 185–219

A Verification Framework for Agent Communication

  • Rogier M. Van Eijk
  • Frank S. De Boer
  • Wiebe Van Der Hoek
  • John-Jules Ch. Meyer
Article

DOI: 10.1023/A:1021836202093

Cite this article as:
Van Eijk, R.M., De Boer, F.S., Van Der Hoek, W. et al. Autonomous Agents and Multi-Agent Systems (2003) 6: 185. doi:10.1023/A:1021836202093

Abstract

In this paper, we introduce a verification method for the correctness of multiagent systems as described in the framework of ACPL (Agent Communication Programming Language). The computational model of ACPL consists of an integration of the two different paradigms of CCP (Concurrent Constraint Programming) and CSP (Communicating Sequential Processes). The constraint programming techniques are used to represent and process information, whereas the communication mechanism of ACPL is described in terms of the synchronous handshaking mechanism of CSP. Consequently, we show how to define a verification method for ACPL in terms of an integration of the verification methods for CCP and CSP. We prove formally the soundness of the method and discuss its completeness.

agent communication semantics verification methods specification agent communication language multi-agent systems 

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Rogier M. Van Eijk
    • 1
  • Frank S. De Boer
    • 1
  • Wiebe Van Der Hoek
    • 1
  • John-Jules Ch. Meyer
    • 1
  1. 1.Institute of Information and Computing SciencesUtrecht UniversityUtrechtThe Netherlands