School of Computing

Formal description of distributed multimedia systems: an assessment of potential techniques

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

Computer Communications, 18(12):182-196, December 1995.

Abstract

The emphasis in distributed multimedia computing has been on developing and building systems, rather than on formally defining the precise behaviour of developed systems. We assess the suitability of a spectrum of formal description techniques for expression of distributed multimedia structures. Then we focus on three particular approaches; extended finite state machines, synchronous languages and process algebra. Representative techniques for each are assessed against multimedia requirements. In particular we consider to what extent each technique satisfies the real-time requirements of distributed multimedia computing. The conclusions of the paper centre, firstly, on the relative benefits of these specific techniques and, secondly, more broadly, on the limitations of the standard single language based approach for formal description of distributed multimedia systems.



Bibtex Record

@article{331,
author = {H. Bowman and L. Blair and G.S. Blair and A. Chetwynd},
title = {Formal Description of Distributed Multimedia Systems: an Assessment of Potential Techniques},
month = {December},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/331},
    ISSN = {0140-3664},
    journal = {Computer Communications},
    number = {12},
    publisher = {Butterworth-Heinemann},
    volume = {18},
}

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

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

Last Updated: 21/03/2014