Project undertaken at:

In collaboration with:

Dates: August 1997 - July 2000.

Participants of V-QoS at Lancaster University are:

The aims of the V-QoS project are:

to define a language independent specification architecture for (open) distributed multimedia systems with explicit support for the specification and validation of quality of service properties;

to populate the architecture with suitable specification and validation techniques; i.e. specific notations and timed, probabilistic and stochastic validation techniques;

to develop and integrate performance simulation and analysis techniques into the architecture; and

to perform demanding case studies to assess the suitability of the developed techniques.

The project built on previous research at Lancaster carried out in the Tempo and Tempo II projects and associated projects at the University of Kent.

There are currently several themes to our work. The following papers below give details of these themes and most can be downloaded as compressed (gzipped) postscript.

"The Role of Temporal Logic and Timed Automata in Distributed Multimedia Systems", Lynne Blair, MPG-99-16, To be presented at PONMS'99 (Modal and Temporal Logic Based Planning for Open Networked Multimedia Systems), Cape Cod, Massachusetts, November 5-7, 1999. gzipped postscript or abstract (html)

"A Tool Suite to Support Aspect-Oriented Specification (short paper)", Lynne Blair, Gordon S. Blair, MPG-99-15, Aspect-Oriented Programming (AOP) Workshop at ECOOP'99, Lisbon, Portugal, June 14, 1999. gzipped postscript or introduction (html)

"The Role of Reflection in Supporting Dynamic QoS Management Functions", Gordon S. Blair, Anders Andersen, Lynne Blair, Geoff Coulson, MPG-99-14, Position paper presented at IWQoS'99, London, U.K., May 31 - June 4, 1999. introduction (html)

Full paper available as: gzipped_postscript

"A Tool Suite for Multi-Paradigm Specification", Lynne Blair, Trevor Jones, Gordon Blair, MPG-99-13, Tool Demo (short paper) presented at 2^nd International Conference on Fundamental Approaches to Software Engineering (FASE'99), (in Amsterdam, March 22-28, 1999), Jean-Pierre Finance (ed), LNCS 1577, pp234-238, Berlin: Springer-Verlag, 1999. gzipped postscript or abstract (html)

"Composition in Multi-Paradigm Specification Techniques", Lynne Blair, Gordon Blair, MPG-98-19, Presented at 3^rd International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), (in Florence, Italy, February 15-18, 1999), P. Ciancarini, A. Fantechi, R. Gorrieri (eds), pp401-418, Massachusetts: Kluwer, 1999. gzipped postscript or abstract (html)

"The Impact of Aspect-Oriented Programming on Formal Methods (Position Paper)", Lynne Blair, Gordon S. Blair, MPG-98-08, Presented at the Aspect-Oriented Programming (AOP) Workshop at ECOOP'98, Brussels, July 1998, html_format here

"Separating Functional Behaviour and Performance Constraints: Aspect-Oriented Specification", Lynne Blair, Gordon S. Blair, Anders Andersen, MPG-98-07, May 1998. gzipped postscript or abstract

" Specification and Verification of Media Constraints using UPPAAL'', H. Bowman, G. Faconti and M. Massink, 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Abingdon, UK, Eurographics Book Series, Springer-Verlag, 1998. gzipped postscript or abstract

"Automatic Verification of A Lip-Synchronisation Algorithm Using UPPAAL - Extended Version", H. Bowman, G. Faconti, J-P. Katoen, D. Latella and M. Massink, Third International Workshop on Formal Methods for Industrial Critical Systems (FMICS'98), J.F. Groote, B. Luttik, J. van Wamel (eds), CWI, Amsterdam, May 1998. gzipped postscript or abstract

"Analysis of a Multimedia Stream using Stochastic Process Algebra", H. Bowman, J.W. Bryans and J. Derrick, Submitted, May 1998. gzipped postscript or abstract

Results on our initial automata survey can be found on our V-QoS project pages (password protected). html_format

Any comments/questions on this page to: lb@comp.lancs.ac.uk