UNIGE document Technical Report
previous document  unige:55421  next document
add to browser collection
Title

Mathematical Formalization of the Messenger Paradigm

Author
Publication Geneva: CUI - Centre Universitaire d'Informatique, Université de Genève, 1995
Collection Cahiers du CUI; 100
Description 25 p.
Abstract This technical report presents the syntax and semantics, in terms of transition system, of the messenger paradigm as it has been presented in [8]. Messengers are mobile agents able to collaborate and to coordinate their work, but are not considered as intelligent agents. More precisely, messengers are mobile codes exchanged between messenger platforms. Arriving messengers are immediately executed (interpreted) by platforms. Messengers communicate by the means of a global store, synchronize their execution using process queues, create new messengers and move themselves across the network using appropriate instructions. The purpose of this mathematical formalization is to give a mathematical definition to the basic ingredients of the messenger paradigm: communication through global store, synchronization through process queues, creation of new messengers, and mobility. This formalization is neither concerned with families of messengers collaborating to solve a common goal, nor with the notion of messenger taking part to a service. Further work will be concerned with the choice of a formalism well suited for messengers' specifications.
Full text
Structures
Research group Institute of Information Service Science (ISS)
Citation
(ISO format)
DI MARZO SERUGENDO, Giovanna. Mathematical Formalization of the Messenger Paradigm. 1995 https://archive-ouverte.unige.ch/unige:55421

318 hits

26 downloads

Update

Deposited on : 2015-04-12

Export document
Format :
Citation style :