Chemical Specification of Autonomic Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Chemical Specification of Autonomic Systems

Résumé

Autonomic computing provides a vision of information systems allowing self-management of many predefined properties. Such systems take care of their own behavior and of their interactions with other components without any external intervention. One of the major challenges concerns the expression of properties and constraints of autonomic systems. We believe that the {\em chemical programming paradigm} (represented here by the Gamma formalism) is well-suited to the specification of autonomic systems. In Gamma, computation is described in terms of chemical reactions (rewrite rules) in solutions (multisets of elements). It captures the intuition of a collection of cooperative components which evolve freely according to some predefined constraints. In this paper, after a short presentation of a higher-order version of the Gamma formalism, it is shown through the example of a mailing system, how the major properties expected from an autonomic system can be easily expressed as a collection of chemical reactions.
Fichier principal
Vignette du fichier
IASSE04.pdf (133.78 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00000948 , version 1 (15-12-2005)

Identifiants

  • HAL Id : inria-00000948 , version 1

Citer

Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Chemical Specification of Autonomic Systems. 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, Jul 2004, Nice. ⟨inria-00000948⟩
188 Consultations
138 Téléchargements

Partager

Gmail Facebook X LinkedIn More