An evolution management model for multi-level component-based software architectures

Abderrahman Mokni (1) , Marianne Huchard (2) , Christelle Urtado (1) , Sylvain Vauttier (1) , Yulin Zhang (3)

1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
2 MAREL - Models And Reuse Engineering, Languages
3 MIS - Modélisation, Information et Systèmes - UR UPJV 4290

Handling evolution in component-based software archi- tectures is a non trivial task. Indeed, a series of changes ap- plied on software may alter its architecture leading to sev- eral inconsistencies. In turn, architecture inconsistencies lead to software erosion and shorten its lifetime. To avoid architectural inconsistencies and increase software reliabil- ity, architecture evolution must be handled at all steps of the software lifecycle. Moreover, changes must be treated as first class entities. In this paper, we propose an evolution management model that takes these criteria into account. The model is a support for our three-level Dedal architec- tural model. It captures and handles change at any of the Dedal abstraction levels: specification, implementation and deployment. It generates evolution plans using evolution rules proposed in previous work. The generation process is implemented using the ProB model checker and evaluated through three evolution scenarios of a Home Automation Software.

Mots clés: Evolution rules; Evolution management; Abstraction level; Change propagation; Consistency checking; Software architecture evolution; Component reuse

Domaines: Génie logiciel [cs.SE]

Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Yulin Zhang. An evolution management model for multi-level component-based software architectures. SEKE: Software Engineering and Knowledge Engineering, Jul 2015, Pittsburgh, United States. pp.674-679, ⟨10.18293/SEKE2015-172⟩. ⟨hal-01245924⟩