Formal rules for reliable component-based architecture evolution - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Formal rules for reliable component-based architecture evolution

(1) , (2) , (1) , (1) , (3)


Software architectures are the blueprint of software systems construction and evolution. During the overall software lifecycle, several changes of its architecture may be considered (e.g. including new soft- ware requirements, correcting bugs, enhancing software performance). To ensure a valid and reliable evolution, software architecture changes must be captured, verified and validated at an early stage of the soft- ware evolution process. In this paper, we address this issue by proposing a set of evolution rules for software architectures in a manner that pre- serves consistency and coherence between abstraction levels. The rules are specified in the B formal language and applied to a three-level Adl that covers the three steps of software development: specification, imple- mentation and deployment. To validate our rules, the approach is tested on a running example of Home Automation Software.
Fichier principal
Vignette du fichier
facs2014.pdf (862.99 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01245857 , version 1 (20-10-2018)



Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin. Formal rules for reliable component-based architecture evolution. FACS: Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. pp.127-142, ⟨10.1007/978-3-319-15317-9_8⟩. ⟨hal-01245857⟩
166 View
88 Download



Gmail Facebook Twitter LinkedIn More