Formal specification and verification of multimedia systems in open distributed processing.

Research output: Contribution to Journal/Magazine › Journal article

Published

Standard

Formal specification and verification of multimedia systems in open distributed processing. / Blair, Lynne ; Blair, Gordon S.; Bowman, Howard et al.
In: Computer Standards and Interfaces, Vol. 17, No. 5-6, 30.09.1995, p. 413-436.

Research output: Contribution to Journal/Magazine › Journal article

Harvard

Blair, L , Blair, GS, Bowman, H & Chetwynd, AG 1995, 'Formal specification and verification of multimedia systems in open distributed processing.', Computer Standards and Interfaces, vol. 17, no. 5-6, pp. 413-436. https://doi.org/10.1016/0920-5489(95)00016-N

APA

Blair, L., Blair, G. S., Bowman, H., & Chetwynd, A. G. (1995). Formal specification and verification of multimedia systems in open distributed processing. Computer Standards and Interfaces, 17(5-6), 413-436. https://doi.org/10.1016/0920-5489(95)00016-N

Vancouver

Blair L , Blair GS, Bowman H, Chetwynd AG. Formal specification and verification of multimedia systems in open distributed processing. Computer Standards and Interfaces. 1995 Sept 30;17(5-6):413-436. doi: 10.1016/0920-5489(95)00016-N

Author

Blair, Lynne ; Blair, Gordon S. ; Bowman, Howard et al. / Formal specification and verification of multimedia systems in open distributed processing. In: Computer Standards and Interfaces. 1995 ; Vol. 17, No. 5-6. pp. 413-436.

Bibtex

@article{e490b7b59070438a948af5a8f67ef647,

title = "Formal specification and verification of multimedia systems in open distributed processing.",

abstract = "The field of distributed systems is now entering a stage of maturity with work focusing on standards for Open Distributed Processing (ODP). However, it is still important that standardization remains responsive to new technological demands such as the emergence of distributed multimedia computing. This paper focuses on the likely impact of multimedia computing on formal description within ODP. In particular, a framework is proposed for the formal specification and verification of quality of service and more general real-time concerns in distributed multimedia systems. This framework exhibits a separation of concerns between the specification of behaviour and requirements and also between the specification of abstract behaviour and real-time concerns. The usefulness of this framework is demonstrated by the development of an approach based on LOTOS together with a real-time temporal logic, QTL.",

keywords = "Formal specification, Open distributed processing, Multimedia, LOTOS, Real-time temporal logics",

author = "Lynne Blair and Blair, {Gordon S.} and Howard Bowman and Chetwynd, {Amanda G.}",

year = "1995",

month = sep,

day = "30",

doi = "10.1016/0920-5489(95)00016-N",

language = "English",

volume = "17",

pages = "413--436",

journal = "Computer Standards and Interfaces",

issn = "0920-5489",

publisher = "ELSEVIER SCIENCE BV",

number = "5-6",

}

RIS

TY - JOUR

T1 - Formal specification and verification of multimedia systems in open distributed processing.

AU - Blair, Lynne

AU - Blair, Gordon S.

AU - Bowman, Howard

AU - Chetwynd, Amanda G.

PY - 1995/9/30

Y1 - 1995/9/30

N2 - The field of distributed systems is now entering a stage of maturity with work focusing on standards for Open Distributed Processing (ODP). However, it is still important that standardization remains responsive to new technological demands such as the emergence of distributed multimedia computing. This paper focuses on the likely impact of multimedia computing on formal description within ODP. In particular, a framework is proposed for the formal specification and verification of quality of service and more general real-time concerns in distributed multimedia systems. This framework exhibits a separation of concerns between the specification of behaviour and requirements and also between the specification of abstract behaviour and real-time concerns. The usefulness of this framework is demonstrated by the development of an approach based on LOTOS together with a real-time temporal logic, QTL.

AB - The field of distributed systems is now entering a stage of maturity with work focusing on standards for Open Distributed Processing (ODP). However, it is still important that standardization remains responsive to new technological demands such as the emergence of distributed multimedia computing. This paper focuses on the likely impact of multimedia computing on formal description within ODP. In particular, a framework is proposed for the formal specification and verification of quality of service and more general real-time concerns in distributed multimedia systems. This framework exhibits a separation of concerns between the specification of behaviour and requirements and also between the specification of abstract behaviour and real-time concerns. The usefulness of this framework is demonstrated by the development of an approach based on LOTOS together with a real-time temporal logic, QTL.

KW - Formal specification

KW - Open distributed processing

KW - Multimedia

KW - LOTOS

KW - Real-time temporal logics

U2 - 10.1016/0920-5489(95)00016-N

DO - 10.1016/0920-5489(95)00016-N

M3 - Journal article

VL - 17

SP - 413

EP - 436

JO - Computer Standards and Interfaces

JF - Computer Standards and Interfaces

SN - 0920-5489

IS - 5-6

ER -

Research

Links

Text available via DOI:

Keywords