Lancaster EPrints

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

Bowman, Howard and Blair, Lynne and Blair, Gordon S. and Chetwynd, Amanda G. (1995) Formal description of multimedia systems : an assessment of potential techniques. Computer Communications, 18 (12). pp. 964-977.

Full text not available from this repository.

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: Article
Journal or Publication Title: Computer Communications
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
Departments: Faculty of Science and Technology > School of Computing & Communications
Faculty of Science and Technology > Mathematics and Statistics
VC's Office
ID Code: 20769
Deposited By: Prof Amanda Chetwynd
Deposited On: 26 Nov 2008 12:18
Refereed?: No
Published?: Published
Last Modified: 26 Jul 2012 15:40
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/20769

Actions (login required)

View Item