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

Research output: Contribution to Journal/Magazine › Journal article

Published

Standard

Formal description of multimedia systems : an assessment of potential techniques. / Bowman, Howard; Blair, Lynne ; Blair, Gordon S. et al.
In: Computer Communications, Vol. 18, No. 12, 12.1995, p. 964-977.

Research output: Contribution to Journal/Magazine › Journal article

Harvard

Bowman, H, Blair, L , Blair, GS & Chetwynd, AG 1995, 'Formal description of multimedia systems : an assessment of potential techniques.', Computer Communications, vol. 18, no. 12, pp. 964-977. https://doi.org/10.1016/0140-3664(96)81596-9

APA

Bowman, H., Blair, L., Blair, G. S., & Chetwynd, A. G. (1995). Formal description of multimedia systems : an assessment of potential techniques. Computer Communications, 18(12), 964-977. https://doi.org/10.1016/0140-3664(96)81596-9

Vancouver

Bowman H, Blair L , Blair GS , Chetwynd AG. Formal description of multimedia systems : an assessment of potential techniques. Computer Communications. 1995 Dec;18(12):964-977. doi: 10.1016/0140-3664(96)81596-9

Author

Bowman, Howard ; Blair, Lynne ; Blair, Gordon S. et al. / Formal description of multimedia systems : an assessment of potential techniques. In: Computer Communications. 1995 ; Vol. 18, No. 12. pp. 964-977.

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",

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

IS - 12

ER -

Research

Links

Text available via DOI:

Keywords