[CBB10] A Tile Logic Based Approach for Software Architecture Description Analysis

Revue Internationale avec comité de lecture : Journal Journal of Software Engineering and Applications (JSEA), vol. 3(11), pp. 1067-1079, 2010
Résumé: A main advantage of Architecture Description Languages (ADL) is their aptitude to facilitate formal analysis and veri-fication of complex software architectures. Since some researchers try to extend them by new techniques, we show in this paper how the use of tile logic as extension of rewriting logic can enforce the ability of existing ADL formalisms to cope with hierarchy and composition features which are more and more present in such software architectures. In or-der to cover ADL key and generic concepts, our approach is explained through LfP (Language for rapid Prototyping) as ADL offering the possibility to specify the hierarchical behaviour of software components. Then, our contribution goal is to exploit a suitable logic that allows reasoning naturally about software system behaviour, possibly hierarchi-cal and modular, in terms of its basic components and their interactions.

Keywords: Tile Logic, LfP Model, Software Architecture, Hierarchical Composition

For further information, please visit this web site.

Collaboration: LIRE


@article {
title="{A Tile Logic Based Approach for Software Architecture Description Analysis}",
author="A. Choutri and F. Belala and K. Barkaoui",
journal="Journal of Software Engineering and Applications (JSEA)",