A formal approach for managing component-based architecture evolution

Abstract : Software architectures are subject to several types of change during the software lifecycle (e.g. adding requirements, correcting bugs, enhancing performance). The variety of these changes makes architecture evolution management complex because all architecture descriptions must remain consistent after change. To do so, whatever part of the architectural description they affect, the effects of change have to be propagated to the other parts. The goal of this paper is to provide support for evolving component-based architectures at multiple abstraction levels. Architecture descriptions follow an architectural model named Dedal, the three description levels of which correspond to the three main development steps | specification, implementation and deployment. This paper formalizes an evolution management model that generates evolution plans according to a given architecture change request, thus preserving consistency of architecture descriptions and coherence between them. The approach is implemented as an Eclipse-based tool and validated with three evolution scenarios of a Home Automation Software example.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2016, 127, pp.24--49. 〈http://dx.doi.org/10.1016/j.scico.2016.03.003〉. 〈10.1016/j.scico.2016.03.003〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01380397
Contributeur : Marianne Huchard <>
Soumis le : jeudi 13 octobre 2016 - 09:16:49
Dernière modification le : lundi 6 août 2018 - 16:30:08

Identifiants

Collections

Citation

Abderrahman Mokni, Christelle Urtado, Sylvain Vauttier, Marianne Huchard, Zhang Huaxi Yulin. A formal approach for managing component-based architecture evolution. Science of Computer Programming, Elsevier, 2016, 127, pp.24--49. 〈http://dx.doi.org/10.1016/j.scico.2016.03.003〉. 〈10.1016/j.scico.2016.03.003〉. 〈hal-01380397〉

Partager

Métriques

Consultations de la notice

143