The Open UniversitySkip to content
 

Specification of Software Architecture Reconfiguration

Wermelinger, Michel (1999). Specification of Software Architecture Reconfiguration. PhD thesis Universidade Nova de Lisboa.

URL: http://hdl.handle.net/10362/1137
Google Scholar: Look up in Google Scholar

Abstract

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process.

Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit.

The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Item Type: Thesis (PhD)
Copyright Holders: 1999 The Author
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 41164
Depositing User: Michel Wermelinger
Date Deposited: 21 Oct 2014 08:52
Last Modified: 15 Sep 2017 11:02
URI: http://oro.open.ac.uk/id/eprint/41164
Share this page:

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU