Structural Reconfiguration of Systems under Behavioral Adaptation

Abstract : 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.
Document type :
Journal articles
Science of Computer Programming, Elsevier, 2012, 78 (1), pp.46-64
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00734057
Contributor : Gwen Salaün <>
Submitted on : Thursday, September 20, 2012 - 3:50:33 PM
Last modification on : Thursday, September 20, 2012 - 3:54:09 PM
Document(s) archivé(s) le : Friday, December 21, 2012 - 3:50:46 AM

File

facs09scp.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00734057, version 1

Collections

Citation

Carlos Canal, Javier Cámara, Gwen Salaün. Structural Reconfiguration of Systems under Behavioral Adaptation. Science of Computer Programming, Elsevier, 2012, 78 (1), pp.46-64. <hal-00734057>

Share

Metrics

Record views

389

Document downloads

113