Fostering component reuse: automating the coherence verification of multi-level architecture descriptions

Abstract : Component-Based Software Engineering considers off-the-shelf software component reuse as its cornerstone. In previous work, we proposed Dedal, a three level Architecture Description Language. It supports a novel modeling approach that aims at describing the specification, the implemented configuration and the running assembly of the software. This eases reuse by guiding the search for existing components. In this paper, we propose a formal approach that states the rules for component reuse and interoperability among Dedal models. The use of B, a specifi- cation language providing model-checking capabilities, enables the automatic verification of Dedal architecture descriptions. The approach is illustrated using the example of a home automation software.
Type de document :
Communication dans un congrès
ICSEA: International Conference on Software Engineering Advances, Oct 2014, Nice, France. IARIA, 9th International Conference on Software Engineering Advances, pp.416-421, 2014
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01245917
Contributeur : Christelle Urtado <>
Soumis le : jeudi 17 décembre 2015 - 18:12:04
Dernière modification le : dimanche 21 octobre 2018 - 14:07:55

Identifiants

  • HAL Id : hal-01245917, version 1

Collections

Citation

Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin. Fostering component reuse: automating the coherence verification of multi-level architecture descriptions. ICSEA: International Conference on Software Engineering Advances, Oct 2014, Nice, France. IARIA, 9th International Conference on Software Engineering Advances, pp.416-421, 2014. 〈hal-01245917〉

Partager

Métriques

Consultations de la notice

105