Formal rules for reliable component-based architecture evolution - Models And Reuse Engineering, Languages Access content directly
Conference Papers Year : 2014

Formal rules for reliable component-based architecture evolution


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⟩
189 View
119 Download



Gmail Mastodon Facebook X LinkedIn More