UNIGE document Professional Article
previous document  unige:48257  next document
add to browser collection

A survey of theories for mobile agents

Muhugusa, Murhimanya
Tschudin, Christian
Published in World Wide Web. 1998, vol. 1, no. 3, p. 139-153
Abstract 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.
Keywords Mobile agentsProcess algebraPetri nets, generative communication
Full text
Research group Institute of Information Service Science (ISS)
(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 https://archive-ouverte.unige.ch/unige:48257

440 hits



Deposited on : 2015-03-17

Export document
Format :
Citation style :