Skip to Main content Skip to Navigation
Journal articles

A Tile Logic Based Approach for Software Architecture Description Analysis

Aïcha Choutri 1 Faiza Belala 1 Kamel Barkaoui 2
2 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
Abstract : A main advantage of Architecture Description Languages (ADL) is their aptitude to facilitate formal analysis and verification 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 order 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 hierarchical and modular, in terms of its basic components and their interactions.
Document type :
Journal articles
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, April 15, 2020 - 4:08:31 PM
Last modification on : Monday, April 20, 2020 - 4:22:22 PM


Publisher files allowed on an open archive


Distributed under a Creative Commons Attribution 4.0 International License




Aïcha Choutri, Faiza Belala, Kamel Barkaoui. A Tile Logic Based Approach for Software Architecture Description Analysis. Journal of Software Engineering and Applications, SCIRP, 2010, 3 (11), pp.1067-1079. ⟨10.4236/jsea.2010.311126⟩. ⟨hal-02479503⟩



Record views


Files downloads