Formal rules for reliable component-based architecture evolution - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Formal rules for reliable component-based architecture evolution

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
183 Consultations
109 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More