Formal Engineering Methods, International Conference on (1998)

Brisbane, Australia

Dec. 9, 1998 to Dec. 11, 1998

ISBN: 0-8186-9198-0

pp: 56

K Taguchi , Kyushu University

K. Araki , Kyushu University

ABSTRACT

In this paper, we will 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. A number of mobile calculi such as $\pi$-calculus, Mobile Ambients have been proposed as foundational calculi which are intended to describe the {\it 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 will 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.

INDEX TERMS

CITATION

K. Taguchi and K. Araki, "A Calculus Based on the Agent Place Model,"

*Formal Engineering Methods, International Conference on(ICFEM)*, Brisbane, Australia, 1998, pp. 56.

doi:10.1109/ICFEM.1998.730570

CITATIONS