A Formal View of Aspects in the Development of Component-based Distributed Systems

摘要

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.