Mobile Agents Coordination in Mobadtl

  • Gianluigi Ferrari
  • Carlo Montangero
  • Laura Semini
  • Simone Semprini
Conference paper

DOI: 10.1007/3-540-45263-X_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1906)
Cite this paper as:
Ferrari G., Montangero C., Semini L., Semprini S. (2000) Mobile Agents Coordination in Mobadtl. In: Porto A., Roman GC. (eds) Coordination Languages and Models. COORDINATION 2000. Lecture Notes in Computer Science, vol 1906. Springer, Berlin, Heidelberg

Abstract

We present and formalize Mobadtl, a model for network-aware applications, extending the Oikos-adtl temporal-logic based approach to the specification and verification of distributed systems. The model supports strong subjective mobility of agents under the control of stationary guardians. Communications are based on asynchronous message passing. The approach exploits the notions of coordination and refinement to deal separately with the specification of functional issues in the agents, and with the specification of coordination policies, e.g. security, routing, etc., in the guardians. The goal is to specify mobile agents as independently as possible of the requirements related to the other facets of distribution. The specification of an application is obtained by instantiating the general model, refining it along different dimensions corresponding to the different aspects of interest, and finally composing the refinements. The main advantage, besides the increased flexibility of the specification process, is that it is possible to specify rich coordination policies incrementally, while the functional units remain relatively simple. We use Mobadtl to specify a simple electronic commerce application, paying particular attention to the incremental specification of the policies. We show how refined policies lead to stronger system properties.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Gianluigi Ferrari
    • 1
  • Carlo Montangero
    • 1
  • Laura Semini
    • 1
  • Simone Semprini
    • 1
  1. 1.Dipartimento di InformaticaUniversitá di PisaItaly

Personalised recommendations