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
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.
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, pp.240, 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), 1997
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb