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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01245917
Contributor : Christelle Urtado <>
Submitted on : Thursday, December 17, 2015 - 6:12:04 PM
Last modification on : Wednesday, March 20, 2019 - 12:20:03 PM

Identifiers

  • 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. pp.416-421. ⟨hal-01245917⟩

Share

Metrics

Record views

113