An approach for the dynamic reconfiguration of software architecture
Abdelfetah Saadi, Mourad Chabane Oussalah, Youcef Hammal, Abderazzak Henni · 2018 International Conference on Applied Smart Systems (ICASS) · 2018
Software applications are composed of a set of interconnected software components running on different machines. Reconfiguring this kind of applications is a very complicated task and risk to take software at undesirable situation. Hence, there is a strong need for solutions and approaches that can dynamically reconfigure and manage running software architectures. In this article, we present Rec-Soft, our solution whose objective is to provide high-level support for reconfiguring software architectures. Rec-Soft is able to ensure communication between software components and resolve dependencies by exchanging messages, it was specified using the finite-state automaton and verified using the model checking tools. Each composite component reconfigures itself in a decentralized way and propagates changes to all software instances. The use of formal specification and tools helped to detect several bugs and improve the approach.