By Topic

Analysing dynamic change in software architectures: a case study

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Kramer, J. ; Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK ; Magee, J.

The software architecture of a system is the overall structure of the system in terms of its constituent components and their interconnections. Dynamic changes to the instantiated system architecture-to the components and/or interconnections-may take place while it is running. In order that these changes do not violate the integrity of the system, we adopt a general model of dynamic configuration which only permits change to occur when the affected portions of the system are quiescent. In this paper we investigate the ability to perform behaviour analysis on systems which conform to the change model. Our analysis approach associates behavioural specifications with the components of a software architecture and analyses the behaviour of systems composed from these components. We use Labelled Transition Systems to specify behaviour and Compositional Reachability Analysis to check composite system models. We model the changes that can occur and use analysis to check that the architecture satisfies the properties required of it: before, during and after the change. The paper uses an example to illustrate the approach and discusses some issues arising from the work

Published in:

Configurable Distributed Systems, 1998. Proceedings. Fourth International Conference on

Date of Conference:

4-6 May 1998