Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey - Archive ouverte HAL Access content directly
Journal Articles ACM Computing Surveys Year : 2024

Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Abstract

Distributed software built from components has become a mainstay of service-oriented applications, which frequently undergo reconfigurations in order to adapt to changes in their operating environment or their functional requirements. Given the complexity of distributed software and the adverse effects of incorrect reconfigurations, a suitable methodology is needed to ensure the correctness of reconfigurations in component- based systems. This survey gives the reader a global perspective over existing formal techniques that pursue this goal. It distinguishes different ways in which formal methods can improve the reliability of reconfigurations, and lists techniques that contribute to solving each of these particular scientific challenges.
Fichier principal
Vignette du fichier
main.pdf (668.42 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04067909 , version 1 (06-11-2023)

Licence

Attribution

Identifiers

Cite

Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard. Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey. ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩. ⟨hal-04067909⟩
127 View
31 Download

Altmetric

Share

Gmail Facebook X LinkedIn More