Time-Estelle: an extended Estelle capable of expressing multimedia QoS parameters

Author

Tsang, T. ; Lai, R.

Author_Institution

Sch. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia

fYear

1997

fDate

3-6 Jun 1997

Firstpage

311

Lastpage

318

Abstract

Using a specification language to specify Quality of Service (QoS) parameters for a distributed multimedia system (DMS), it must be able to support the timing relationship between different data of a DMS. Estelle, an internationally standardized formal description technique (FDT) for specifying communication protocols and distributed systems, does not have enough expressing power to specify the time-dependent behaviours of a module of a distributed system. The authors present Time-Estelle, an extended Estelle which can express the timing requirements of a DMS, and then describe the application of Time-Estelle to specify some QoS parameters for a DMS

Keywords

multimedia computing; specification languages; timing; Time-Estelle; distributed multimedia system; extended Estelle; formal description technique; multimedia QoS parameter specification; specification language; time-dependent behaviour specification; timing relationship; Computer science; Data engineering; Delay effects; Distributed computing; Multimedia systems; Protocols; Quality of service; Specification languages; Throughput; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Multimedia Computing and Systems '97. Proceedings., IEEE International Conference on

Conference_Location

Ottawa, Ont.

Print_ISBN

0-8186-5530-5

Type

conf

DOI

10.1109/MMCS.1997.609613

Filename

609613