Separating Functional Behaviour and Performance Constraints: Aspect- Oriented Specification

This paper addresses the relationship between functional (qualitative) behaviour and the more quantitative nature of performance constraints. We propose an approach based on aspect-oriented specification, which exploits the diversity and power of existing formal specification languages. Importantly, we illustrate our approach by specifying an example of an adaptive algorithm. The chosen example is characteristic of QoS management functions in the field of distributed multimedia systems.