Formal support for dynamic QoS management in the development of open component-based distributed systems
- 1 January 2001
- journal article
- Published by Institution of Engineering and Technology (IET) in IEE Proceedings - Software
- Vol. 148 (3) , 89-97
- https://doi.org/10.1049/ip-sen:20010507
Abstract
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.Keywords
This publication has 6 references indexed in Scilit:
- Supporting dynamic QoS management functions in a reflective middleware platformIEE Proceedings - Software, 2000
- A Framework for Systematic Synthesis of Transactional MiddlewarePublished by Springer Nature ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Where do operations come from? A multiparadigm specification techniqueIEEE Transactions on Software Engineering, 1996
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- Reflection in an object-oriented concurrent languageACM SIGPLAN Notices, 1988