Separating Functional Behaviour and Performance Constraints: Aspect-Oriented Specification

Lynne Blair1, Gordon Blair1, Anders Andersen2

1 Computing Department, Lancaster University, Bailrigg, Lancaster, LA1 4YR (Report No. MPG-98-07)

2 NORUT IT, Tromsø Science Park, N-9005 Tromsø, Norway

e-mail: lb@comp.lancs.ac.uk, telephone: +44 (1524) 65201 x94899

Abstract

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.