Published Articles >> Table of Contents >> Abstract

6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97)   p. 240
Analysing the behaviour of distributed software architectures: a case study
J. Magee, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
J. Kramer, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
D. Giannakopoulou, Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FTDCS.1997.644733
Send link to a friend

Abstract
A software architecture is the overall structure of a system in terms of its constituent components and their interconnections. We describe work to associate behavioural specifications with the components of a distributed software architecture and an approach to analysing the behaviour of systems composed from these components. 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 to generate the model used for analysis. Analysis allows a designer to check whether an architecture satisfies the properties required of it. The approach is illustrated using a case study of an active badge system.
Back to Top Additional Information
Index Terms- distributed processing; distributed software architecture; software behaviour analysis; case study; software components; behavioural specifications; labelled transition systems; compositional reachability analysis; composite system models; active badge system Citation:  J. Magee, J. Kramer, D. Giannakopoulou, "Analysing the behaviour of distributed software architectures: a case study," ftdcs, p. 240,  6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97),  1997