Professional article
Open access

A survey of theories for mobile agents

Published inWorld wide web, vol. 1, no. 3, p. 139-153
Publication date1998

This paper presents a comparative survey of formalisms related to mobile agents. It describes the π-calculus and its extensions, the Ambient calculus, Petri nets, Actors, and the family of generative communication languages. Each of these formalisms defines a mathematical framework that can be used to reason about mobile code; they vary greatly in their expressiveness, in the mechanisms they provide to specify mobile code based applications and in their practical usefulness for the validation and the verification of such applications. In this paper we show how these formalisms can be used to represent the mobility and communication aspects of two mobile code environments: Obliq and Messengers. We compare and classify the different formalisms with respect to mobility and discuss some shortcomings and desirable extensions. We also point to other emerging concepts in formalisms for mobile code systems.

  • Mobile agents
  • Process algebra
  • Petri nets, generative communication
Citation (ISO format)
DI MARZO SERUGENDO, Giovanna, MUHUGUSA, Murhimanya, TSCHUDIN, Christian. A survey of theories for mobile agents. In: World wide web, 1998, vol. 1, n° 3, p. 139–153. doi: 10.1023/A:1019219916118
Main files (1)
Article (Published version)
ISSN of the journal1386-145X

Technical informations

Creation03/16/2015 9:24:00 AM
First validation03/16/2015 9:24:00 AM
Update time03/14/2023 11:02:16 PM
Status update03/14/2023 11:02:16 PM
Last indexation05/02/2024 4:03:27 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack