Process Algebra for Agent Communication: A General Semantic Approach

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

doi:10.1007/978-3-540-44972-0_5

Rogier M Van Eijk, John-Jules Ch Meyer + Show 2 more

Open Access

https://doi.org/10.1007/978-3-540-44972-0_5

Copy DOI

Publication Date: Jan 1, 2003
Citations: 40	License type: other-oa

Affiliation: Utrecht University, University of Liverpool

Abstract

In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the information-processing 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.

Full Text