Sciweavers

Share
FTDCS
1997
IEEE

Analysing the behaviour of distributed software architectures: a case study

9 years 17 days ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, 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.
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where FTDCS
Authors Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
Comments (0)
books