• Home
  1. Home
  2. Mathematical Formalization of the Messenger Paradigm
Technical report
OA Policy
English

Mathematical Formalization of the Messenger Paradigm

Contributors

Di Marzo Serugendo, Giovanna

Mandator

CUI - Centre Universitaire d'Informatique, Université de Genève

Number of pages

25

Publisher

Geneva : CUI - Centre Universitaire d'Informatique, Université de Genève

Collection

  • Cahiers du CUI; 100

Publication date

1995

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.

UNIGE affiliation entities

Citation (ISO format)

DI MARZO SERUGENDO, Giovanna. Mathematical Formalization of the Messenger Paradigm. 1995

Main files (1)

Report

Identifiers

  • PID : unige:55421

Additional URL for this publication

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.1022
757views
99downloads

Technical informations

Creation

24/03/2015 22:43:00

First validation

24/03/2015 22:43:00

Update

14/03/2023 23:10:14

Status update

14/03/2023 23:10:14

Last indexation

30/04/2025 15:17:28
All rights reserved by Archive ouverte UNIGE and the University of Geneva
OpenAIRE Indexed & Validated