Component-based Distributed Software Reconfiguration: A Verification-oriented Survey

被引：6
作者：
Coullon, Helene [1 ]
Henrio, Ludovic [2 ,5 ]
Loulergue, Frederic [3 ,6 ]
Robillard, Simon [4 ]
机构：
[1] UBL, IMT Atlant, INRIA, LS2N, F-44307 Nantes, France
[2] Univ Lyon, CNRS, EnsL, UCBL,Inria, Lyon, France
[3] Univ Orleans, Orleans, France
[4] Univ Montpellier, CNRS, LIRMM, Montpellier, France
[5] Univ Lyon, CNRS, EnsL, UCBL,Inria,LIP, Lyon, France
[6] Univ Orleans, Lab Informat Fondamentale Orleans, Orleans, France
来源：
ACM COMPUTING SURVEYS | 2024年 / 56卷 / 01期
关键词：
Reconfiguration; software adaptation; component-based software engineering; formal methods; verification; CONSTRAINT-SATISFACTION PROBLEMS; DOMAIN-SPECIFIC LANGUAGE; STRUCTURAL RECONFIGURATION; DYNAMIC RECONFIGURATIONS; MODEL-CHECKING; BEHAVIOR; FRAMEWORK; REO; COORDINATION; CONNECTORS;
D O I：
10.1145/3595376
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Distributed software built from components has become a mainstay of service-oriented applications, which frequently undergo reconfigurations 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.
引用
收藏
页数：37
相关论文
共 124 条
[91]  
Kulankhina Oleksandra, 2016, PhD theses
[92]  
KUMAR V, 1992, AI MAG, V13, P32
[93]   Component Substitution through Dynamic Reconfigurations [J].
Lanoix, Arnaud ;
Kouchnarenko, Olga .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (147) :32-46
[94]   A Reconfigurable Component Model for HPC [J].
Lanore, Vincent ;
Perez, Christian .
2015 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING (CBSE), 2015, :1-10
[95]  
Lanore Vincent, 2015, Research Report RR -8761
[96]  
Léger M, 2010, LECT NOTES COMPUT SC, V6092, P74, DOI 10.1007/978-3-642-13238-4_5
[97]   Formal Verification of a Realistic Compiler [J].
Leroy, Xavier .
COMMUNICATIONS OF THE ACM, 2009, 52 (07) :107-115
[98]   Extraction in Coq: An overview [J].
Letouzey, Pierre .
LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 :359-369
[99]  
LudovicHenrio Marcela, 2008, P COMPFRAME HPC GECO, DOI [10.1145/1456190.1456201, DOI 10.1145/1456190.1456201]
[100]  
Ma X., 2011, Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, P245
45678910111213