Sciweavers

Share
ATAL
2003
Springer

Process Algebra for Agent Communication: A General Semantic Approach

10 years 13 days ago
Process Algebra for Agent Communication: A General Semantic Approach
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent Constraint Programming (CCP) with a generalisation of the synchronous handshaking communication mechanism of Communicating Sequential Processes (CSP). The operational semantics of ACPL is given in terms of a transition system that consists of local and global transition rules. The local rules describe the operational behaviour of agents, like the local effects of communication actions. The global rules define the operational behaviour of multi-agent systems including the matching of communication actions. We show how ACPL provides a general basis to address the semantics of agent communication languages such as KQML and FIPA-ACL. Finally, we address several extensions of the basic algebra.
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where ATAL
Authors Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
Comments (0)
books