An approach for the dynamic reconfiguration of software architecture
| Autor: | Youcef Hammal, Abdelfetah Saadi, Mourad Chaabane Oussalah, Abderazzak Henni |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Model checking
Computer science business.industry Distributed computing Control reconfiguration 020207 software engineering 02 engineering and technology Automaton Software Component (UML) Formal specification Component-based software engineering 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Software architecture business |
| Zdroj: | 2018 International Conference on Applied Smart Systems (ICASS). |
| DOI: | 10.1109/icass.2018.8651944 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|