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

被引：4

作者：

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 条

[1]

Abrial J.-R., 2010, MODELING EVENT B SYS

[2]

Abrial Jean-Raymond, 1996, The B-Book

[3] FAMILIAR: A domain-specific language for large scale management of feature models [J].

Acher, Mathieu ;

Collet, Philippe ;

Lahire, Philippe ;

France, Robert B. .

SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (06) :657-681

[4]

Acher M, 2010, LECT NOTES COMPUT SC, V6144, P17, DOI 10.1007/978-3-642-14046-4_2

[5]

Ahrendt W., 2016, Lecture Notes in Computer Science, V10001, DOI 10.1007/978-3-319-49812-6

[6]

Ahrens Emma, 2021, Local reasoning about parameterized reconfigurable distributed systems

[7] Cloud service evaluation method-based Multi-Criteria Decision-Making: A systematic literature review [J].

Alabool, Hamzeh ;

Kamil, Ahmad ;

Arshad, Noreen ;

Alarabiat, Deemah .

JOURNAL OF SYSTEMS AND SOFTWARE, 2018, 139 :161-188

[8] A component architecture for high-performance scientific computing [J].

Allan, Benjamin A. ;

Armstrong, Robert ;

Bernholdt, David E. ;

Bertrand, Felipe ;

Chiu, Kenneth ;

Dahlgren, Tamara L. ;

Damevski, Kostadin ;

Elwasif, Wael R. ;

Epperly, Thomas G. W. ;

Govindaraju, Madhusudhan ;

Katz, Daniel S. ;

Kohl, James A. ;

Krishnan, Manoj ;

Kumfert, Gary ;

Larson, J. Walter ;

Lefantzi, Sophia ;

Lewis, Michael J. ;

Malony, Allen D. ;

McInnes, Lois C. ;

Nieplocha, Jarek ;

Norris, Boyana ;

Parker, Steven G. ;

Ray, Jaideep ;

Shende, Sameer ;

Windus, Theresa L. ;

Zhou, Shujia .

INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2006, 20 (02) :163-202

[9]

Alur R., 1990, Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science (90CH2897-7), P414, DOI 10.1109/LICS.1990.113766

[10] A domain-specific language for the control of self-adaptive component-based architecture [J].

Alvares, Frederico ;

Rutten, Eric ;

Seinturier, Lionel .

JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 130 :94-112

← 1 2 3 4 5 6 7 8 9 10 →