Skip to main content

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

Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G. (1995) Formal description of distributed multimedia systems: An assessment of potential techniques. Computer Communications, 18 (12). pp. 964-977. ISSN 0140-3664. (doi:10.1016/0140-3664(96)81596-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:19715)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
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
DOI/Identification number: 10.1016/0140-3664(96)81596-9
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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: P. Ogbuji
Date Deposited: 08 Jun 2009 08:49 UTC
Last Modified: 16 Nov 2021 09:57 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/19715 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.