An approach for the dynamic reconfiguration of software architecture

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.