Formal Support for Dynamic QoS Management in the Development of Open Component-based Distributed Systems

Formal Support for Dynamic QoS Management in the Development of Open Component-based Distributed Systems

Lynne Blair^†, Gordon S. Blair^†, Anders Andersen^‡, Trevor Jones^†
^†Computing Department, Lancaster University, Lancaster, LA1 4YR, U.K.
{lb, gordon, jonest}@comp.lancs.ac.uk

^‡Department of Computer Science, University of Tromsø, N-9037 Tromsø, Norway
aa@computer.org

Abstract

In this paper, we present an aspect-oriented specification technique that supports the specification of component-based distributed systems. Importantly, this technique also supports the synthesis of quality of service management components from particular aspects of the specification. We describe how, by using a tool to support our aspect-oriented environment, we can first specify and verify QoS management subsystems and then synthesise components that can be placed into a running system. We focus on dynamic QoS management functions, particularly monitoring and adaptation. We illustrate our approach by giving a simple example of the dynamic QoS management of an audio stream.