Automata-Based Approach to Manage Self-Adaptive Component-Based Architectures

Abstract

Dynamic software architectures in changing environments need human supervision to continue operation in all conditions. These changes may come from the software architecture or its environment. Such software architecture is required to monitor itself and its environment, detect changes, decide how to react, and act to perform such changes. Enhancing the software architecture with the ability to self-adapt offers a very interesting way forward. This work presents an automata based approach to manage self-adaptive component-based architecture. This approach allows software architecture to adjust itself to changes during runtime and without stopping its execution. It helps the maintenance of the consistency and the coherence of software architecture before, during and after adaptation. The proposed approach is based mainly on the use of the meta-model, automata concept, XML language and UPPAAL model checking tool for the verification of the software consistency before enacting adaptation.