A Tile Logic Based Approach for Software Architecture Description Analysis
- 1
- 2
- 3
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.
- D. Garlan and B. Schmerl, “Architecture-Driven Modelling and Analysis,” Proceedings of the 11th Australian Workshop on Safety Related Programmable Systems (SCS’06), Vol. 69, 2006, pp.3-17.
- P. Zhang, H. Muccini and B. X. Li, “A Classi?cation and Comparison of Model Checking Software Architecture Techniques,” The Journal of Systems and Software, Vol. 83, No. 5, May 2010, pp. 723-744.
- D. Regep, “LfP: un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis,” thèse de doctorat, Université de Paris VI, 2003.
- R. Bruni, “Tile logic for Synchronized Rewriting of Concurrent Systems,” PhD. Thesis, Computer Science Department, University of Pisa, Pisa, 1999.
- J. Meseguer, “Conditional Rewriting Logic as a Unified Model of Concurrency,” Journal of Theoretical Computer Science, Vol. 96, No. 1, April 1992, pp. 73-155.
- C. Jerad and K. Barkaoui, “On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP,” 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), June 2005, pp. 202-208.
- C. Jerad, K. Barkaoui and G. Touzi, “A. Hierarchical Verification in Maude of LfP Software Architectures,” Lecture Notes in Computer Science, Vol. 4758, 2007, pp. 156-170.
- D. C. Lukham, “Rapide: A language Toolset for Simulation of Distributed System by Partial Ordering of Events,” DIMACS Workshop on Partial Order Methods in Verification (POMIV), 1996, pp. 329-358. http://pavg.stanford.edu/rapide/rapide-pubs.html
- R. J. Allen, “Formal Approach to Software Architecture,” PhD. Thesis, University of Carnegie Mellon, Pittsburgh, May 1997.
- C. Braga and A. Sztajnberg, “Towards a Rewriting Semantics for a Software Architecture Description Language,” Proceedings of the Brazilian Workshop on Formal Methods, Vol. 95, May 2004, pp. 149-168.
- R. Bruni, J. Fiadeiro, I. Lanese, A. Lopes and U. Montanari, “New Insights into the Algebraic Properties of Architectural Connectors,” International Federation for Information Processing, Vol. 155, 2004, pp. 367-380.
- R. Bruni, U. Montanari and U. Sassone, “Observational Congruences for Dynamically Reconfigurable Tile Systems,” Theoretical Computer Science, Vol. 335, No. 2-3, May 2005, pp. 331-372.
- D. Hirsch and U. Montanari, “Consistent Transformations for Software Architecture Styles of Distributed Systems,” Workshop on Distributed Systems, Vol. 28, 1999.