Abstract
The overall structure of a system described by a set of components and their interconnections is termed its software architecture. In this paper, we associate behavioural specifications with components and use these specifications to analyze the overall system architecture. The approach is based on the use of Labelled Transition Systems to specify behaviour and Compositional Reachability Analysis to check composite system models. The architecture description of a system is used directly in the construction of the model used for analysis. Analysis allows a designer to check whether an architecture satisfies the properties required of it. The paper uses examples to illustrate the approach and discusses some open questions arising from the work.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35563-4_35
Chapter PDF
Similar content being viewed by others
References
Allen R. and Garlan D., A Formal Basis for Architectural Connection, ACM Transactions on Software Engineering Methodology TOSEM, 6 (3), July 1997, 213–249.
Cheung S.C. and Kramer J., Checking Subsystem Safety Properties in Compositional Reachability Analysis, 18th IEEE Int. Conf. on Software Engineering (ICSE-18), Berlin, 1996 ), 144–154.
Cheung S.C., Giannakopoulou D., and Kramer J., Verification of Liveness Properties using Compositional Reachability Analysis, 6th European Software Engineering Conference/5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 97), Zurich, Sept. 1997), LNCS 1301, (Springer-Verlag), 1997, 227–243.
Giannakopoulou D., Kramer J. and Cheung S.C., Analysing the Behaviour of Distributed Systems using Tracta, Journal of Automated Software Engineering,special issue on Automated Analysis of Software (to appear), vol. 6(1). R. Cleaveland and D. Jackson, Eds.
Garlan D. and Perry D.E., Introduction to the Special Issue on Software Architecture, IEEE Transactions on Software Engineering, 21 (4), April 1995, 269–274.
Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, N.J., 1985.
Kruchten P.B., The 4+1 Model of Architecture, IEEE Software, 12 (6), Nov. 1995, 4250.
Magee J., Dulay N., Eisenbach S., Kramer J., Specifying Distributed Software Architectures, 5th European Software Engineering Conference (ESEC ‘85), Sitges, September 1995), LNCS 989, (Springer-Verlag), 1995, 137–153.
Magee J., Dulay N. and Kramer J., Regis: A Constructive Development Environment for Distributed Programs, Distributed Systems Engineering Journal, 1 (5), Special Issue on Configurable Distributed Systems, (1994), 304–312.
Magee J. and Kramer J., Dynamic Structure in Software Architectures, 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, October 1996), SEN, Vol. 21, No. 6, November 1996, 3–14.
Magee J., Tseng A., Kramer J., Composing Distributed Objects in CORBA, Third International Symposium on Autonomous Decentralized Systems (ISADS 97), Berlin, Germany, April 9–11, 1997.
Ng K., Kramer J. and Magee J., Automated Support for the Design of Distributed Software Architectures, Journal of Automated Software Engineering (JASE), 3 (3/4), Special Issue on CASE-95, (1996), 261–284.
Shaw M., et al., Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, 21 (4), April 1995, pp 314–335.
Kramer J. and Magee J., Exposing the Skeleton in the Coordination Closet, 2nd IEEE International Conference on Coordination Models and Languages, Coord ‘87, Berlin, September 1997), LNCS 1282, ( Springer-Verlag ), Sept 1997, pp. 18–31.
Cheung S.C. and Kramer J., Context Constraints for Compositional Reachability Analysis, ACM Transactions on Software Engineering Methodology TOSEM, 5 (4), (1996), 334–377.
Hembold, D. and Luckham, D.C., Debugging Ada Tasking Programs, IEEE Software, 2 (2), March 1985, 47–57.
Naumovich, G., Avrunin G.S., Clarke L.A. and Osterweil L.J. Applying Static Analysis to Software Architectures, 6th European Software Engineering Conference/5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 97), Zurich, Sept. 1997), LNCS 1301, (Springer-Verlag), 1997, 77–93.
Jean-Pierre Krimm and Laurent Mounier. Compositional state space generation from LOTOS programs. In Ed Brinksma, editor, Proceedings of TACAS’97 (Tools and Algorithms for the Construction and Analysis of Systems), Enschede, The Netherlands, April 1997. Springer Verlag.
Formal Systems, Failues Divergence Refinement: FDR 2. 0 User Manual, ed. Formal Systems (Europe), Oxford, U.K, August 1996.
Holtzman G.J., The Model Checker SPIN, IEEE Transactions on Software Engineering, 23 (5) May 1997, 279–295.
Magee J., Kramer J. and Giannakopoulou D., Analysing the Behaviour of Distributed Software Architectures: a Case Study, 5th IEEE Workshop on Future Trends in Distributed Computing Systems, l’IDCS’97, Tunsia, October 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Magee, J., Kramer, J., Giannakopoulou, D. (1999). Behaviour Analysis of Software Architectures. In: Donohoe, P. (eds) Software Architecture. WICSA 1999. IFIP — The International Federation for Information Processing, vol 12. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35563-4_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35563-4_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6536-6
Online ISBN: 978-0-387-35563-4
eBook Packages: Springer Book Archive