Home // ICSEA 2014, The Ninth International Conference on Software Engineering Advances // View article

Towards Automating the Coherence Verification of Multi-Level Architecture Descriptions

Authors:
Abderrahman Mokni
Marianne Huchard
Christelle Urtado
Sylvain Vauttier
Huaxi Yulin Zhang

Keywords: software architecture, component reuse, B formal models, component subtyping, component compatibility, architecture levels

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 specification 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.

Pages: 416 to 421

Copyright: Copyright (c) IARIA, 2014

Publication date: October 12, 2014

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-367-4

Location: Nice, France

Dates: from October 12, 2014 to October 16, 2014