Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications - ERODS Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2001

Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications

Résumé

Dynamic reconfiguration increases the availability of distributed applications by allowing them to evolve at run-time. This paper deals with the formal specification and model-checking verification of a dynamic reconfiguration protocol used in industrial agent-based applications. Starting from a reference implementation in Java, we produced a specification of the protocol using the Formal Description Technique LOTOS. We also specified a set of temporal logic formulas characterizing the correct behaviour of each protocol primitive. Finally, we studied various finite state configurations of the protocol, on which we verified these requirements using the CADP protocol engineering tool set.
Fichier principal
Vignette du fichier
RR-4222.pdf (358.54 Ko) Télécharger le fichier

Dates et versions

inria-00072397 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072397 , version 1

Citer

Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noël de Palma. Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. [Research Report] RR-4222, INRIA. 2001. ⟨inria-00072397⟩
116 Consultations
238 Téléchargements

Partager

Gmail Facebook X LinkedIn More