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

Bowman, H. and Blair, G.S and Blair, L. and Chetwynd, A.G. (1995) Formal description of distributed multimedia systems: An assessment of potential techniques. Computer Communications, 18 (12). pp. 964-977. ISSN 0140-3664. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1016/0140-3664(96)81596-9

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 algebras. 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.

Item Type: Review
Uncontrolled keywords: distributed multimedia systems; real-time constraints; formal description techniques; extended finite state machines; Estelle; synchronous languages; Esterel; SDL; process algebras; LOTOS; LOTOS-T
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: P. Ogbuji
Date Deposited: 08 Jun 2009 08:49
Last Modified: 24 Apr 2012 09:43
Resource URI: http://kar.kent.ac.uk/id/eprint/19715 (The current URI for this page, for reference purposes)
  • Depositors only (login required):