Home > Research > Publications & Outputs > Formal Support for Dynamic QoS Management in th...
View graph of relations

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

Research output: Contribution to journalJournal article

<mark>Journal publication date</mark>06/2001
<mark>Journal</mark>IEE Proceedings - Software
Issue number3
Number of pages9
Pages (from-to)89-97
<mark>Original language</mark>English


An aspect-oriented specification technique that supports the specification of component-based distributed systems is presented. Importantly, this technique also supports the synthesis of quality of service management components from particular aspects of the specification. It is described how, by using a tool to support the aspect-oriented environment, one can first specify and verify QoS management subsystems and then synthesise components that can be placed into a running system. The focus is on dynamic QoS management functions, particularly monitoring and adaptation. The approach is illustrated by giving a simple example of the dynamic QoS management of an audio stream.