A calculus based on the agent-place model

Author

Taguchi, Kenji ; Araki, Keijiro

Author_Institution

Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan

fYear

1998

fDate

9-11 Dec 1998

Firstpage

56

Lastpage

63

Abstract

We introduce a new CCS-like process calculus for mobile agents called the AP (Agent and Place)-calculus. The calculus is based on the agent-place model which is a basis for mobility of an agent language Telescript by White (1996). A number of mobile calculi such as π-calculus, Mobile Ambients have been proposed as foundational calculi which are intended to describe the canonical model of computation. However the AP-calculus is not developed as a foundational calculus, but rather as a practical formalism for specifying and verifying mobile applications such as electronic commerce. We present the AP-calculus and its operational semantics and give a simple example specification of an intelligent agent roaming about the network to find out the information in order to demonstrate its applicability

Keywords

calculus of communicating systems; electronic commerce; process algebra; software agents; π-calculus; AP calculus; CCS; Mobile Ambients; Telescript; agent language; agent-place model; electronic commerce; intelligent agent; mobile agents; mobile calculi; operational semantics; process calculus; Calculus;

fLanguage

English

Publisher

ieee

Conference_Titel

Formal Engineering Methods, 1998. Proceedings. Second International Conference on

Conference_Location

Brisbane, Qld.

Print_ISBN

0-8186-9198-0

Type

conf

DOI

10.1109/ICFEM.1998.730570

Filename

730570