Home > Research > Publications & Outputs > Formal description of multimedia systems : an a...
View graph of relations

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

Research output: Contribution to journalJournal article

Published

Standard

Formal description of multimedia systems : an assessment of potential techniques. / Bowman, Howard; Blair, Lynne; Blair, Gordon S.; Chetwynd, Amanda G.

In: Computer Communications, Vol. 18, No. 12, 12.1995, p. 964-977.

Research output: Contribution to journalJournal article

Harvard

APA

Vancouver

Author

Bibtex

@article{191dd8b289a345ae98429698ccaffb28,
title = "Formal description of multimedia systems : an assessment of potential techniques.",
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.",
keywords = "distributed multimedia systems, real-time constraints, formal description techniques, extended finite state machines, Estelle, synchronous languages, Esterel, SDL, process algebras, LOTOS, LOTOS-T",
author = "Howard Bowman and Lynne Blair and Blair, {Gordon S.} and Chetwynd, {Amanda G.}",
year = "1995",
month = dec,
doi = "10.1016/0140-3664(96)81596-9",
language = "English",
volume = "18",
pages = "964--977",
journal = "Computer Communications",
issn = "0140-3664",
publisher = "Elsevier",
number = "12",

}

RIS

TY - JOUR

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

AU - Bowman, Howard

AU - Blair, Lynne

AU - Blair, Gordon S.

AU - Chetwynd, Amanda G.

PY - 1995/12

Y1 - 1995/12

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

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

KW - distributed multimedia systems

KW - real-time constraints

KW - formal description techniques

KW - extended finite state machines

KW - Estelle

KW - synchronous languages

KW - Esterel

KW - SDL

KW - process algebras

KW - LOTOS

KW - LOTOS-T

U2 - 10.1016/0140-3664(96)81596-9

DO - 10.1016/0140-3664(96)81596-9

M3 - Journal article

VL - 18

SP - 964

EP - 977

JO - Computer Communications

JF - Computer Communications

SN - 0140-3664

IS - 12

ER -