Structural Reconfiguration of Systems under Behavioral Adaptation - Archive ouverte HAL Access content directly
Journal Articles Science of Computer Programming Year : 2012

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.
Fichier principal
Vignette du fichier
facs09scp.pdf (434.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-00734057 , version 1

Cite

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 View
125 Download

Share

Gmail Facebook X LinkedIn More