Skip to Main content Skip to Navigation
Conference papers

Chemical Specification of Autonomic Systems

Jean-Pierre Banâtre 1 Pascal Fradet 2 Yann Radenac 1
1 PARIS - Programming distributed parallel systems for large scale numerical simulation
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, ENS Cachan - École normale supérieure - Cachan, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Pascal Fradet <>
Submitted on : Thursday, December 15, 2005 - 6:25:07 PM
Last modification on : Monday, February 15, 2021 - 10:42:49 AM
Long-term archiving on: : Saturday, April 3, 2010 - 7:21:48 PM


  • HAL Id : inria-00000948, version 1


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⟩



Record views


Files downloads