School of Computing

Formal Specification of Distributed Multimedia Systems

G.S. Blair, L. Blair, H. Bowman, and A. Chetwynd

University College London Press, September 1997.


The work reported in this book was carried out as part of the EPSRC/DTI sponsored Tempo Project at Lancaster University (in collaboration with BT labs). The aim of the Tempo Project was to investigate formal specification and associated verification techniques to support the development of distributed multimedia systems. The book describes the state of the art in distibuted multimedia computing, highlights requirements for the formal specification and verification of such systems, reviews the available formal specification notations and then, in the light of perceived limitations of the existing approaches, presents a new framework for formal specification of distributed multimedia systems. This framework uses LOTOS to describe the functional behaviour of systems and a real-time temporal logic, called QTL, to describe the non-functional properties.

Bibtex Record

author = {G.S. Blair and L. Blair and H. Bowman and A. Chetwynd},
title = {Formal Specification of Distributed Multimedia Systems},
month = {September},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    ISBN = {1-85728-677-4 PB},
    publisher = {University College London Press},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014