Formal rules for reliable component-based architecture evolution

Abderrahman Mokni 1 Marianne Huchard 2 Christelle Urtado 1 Sylvain Vauttier 1 Zhang Huaxi Yulin 3
1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
2 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
3 UPJV - Université de Picardie Jules Verne
Abstract : 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.
Keywords : Software architecture evolution Component reuse Consistency checking Coherence checking Evolution rules Formal models ab-straction level B formal language
Type de document :
Communication dans un congrès
Ivan Lanese; Eric Madelaine. FACS: Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. 11th international symposium on Formal Aspects of Component Software, LNCS (8997), pp.127-142, 2014, 〈http://facs2014.cs.unibo.it〉. 〈10.1007/978-3-319-15317-9_8〉
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01245857
Contributeur : Christelle Urtado <>
Soumis le : samedi 20 octobre 2018 - 19:14:32
Dernière modification le : lundi 11 février 2019 - 18:22:02

Fichier

facs2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

MAREL | LIRMM | MIPS | UNIV-MONTPELLIER | EM-ALES

Citation

Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin. Formal rules for reliable component-based architecture evolution. Ivan Lanese; Eric Madelaine. FACS: Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. 11th international symposium on Formal Aspects of Component Software, LNCS (8997), pp.127-142, 2014, 〈http://facs2014.cs.unibo.it〉. 〈10.1007/978-3-319-15317-9_8〉. 〈hal-01245857〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

145

Téléchargements de fichiers

2

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD