Structural Reconfiguration of Systems under Behavioral Adaptation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2012

Structural Reconfiguration of Systems under Behavioral Adaptation

Résumé

A major asset of modern systems is to dynamically reconfigure themselves to cope with failures or component updates. Nevertheless, designing such sys- tems with off-the-shelf components is hardly feasible: components are black-boxes that can only interact with others on compatible interfaces. Part of the problem is solved through Software Adaptation techniques, which compensate mismatches between interfaces. Our approach aims at using results of Software Adaptation in order to also provide reconfiguration capabilities to black-box components. This paper first formalizes a framework that unifies behavioral adaptation and structural reconfiguration of components. This formalization is used for statically detecting whether it is possible to reconfigure a system. In a second part, we present five notions of reconfiguration: history-aware reconfiguration, future-aware reconfiguration, property-compliant reconfiguration, one-way reconfigurability, and full reconfigurability. For each of these notions, its relevant properties are presented, and they are illustrated on simple yet realistic examples.
Fichier principal
Vignette du fichier
facs09scp.pdf (434.06 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00734057 , version 1 (20-09-2012)

Identifiants

  • HAL Id : hal-00734057 , version 1

Citer

Carlos Canal, Javier Cámara, Gwen Salaün. Structural Reconfiguration of Systems under Behavioral Adaptation. Science of Computer Programming, 2012, 78 (1), pp.46-64. ⟨hal-00734057⟩
212 Consultations
135 Téléchargements

Partager

Gmail Facebook X LinkedIn More