Synchronization mechanisms for multimedia streams and their specification in timed LOTOS

Author

Splawski, Zdzislaw

Author_Institution

Dept. of Comput. Sci., Tech. Univ. Wroclaw, Poland

fYear

1997

Firstpage

456

Lastpage

463

Abstract

Synchronization involves temporal ordering of events. There are many approaches to formal specifications of synchronization constraints for distributed multimedia applications and TE-LOTOS is one of these. It is shown how intra stream synchronization and dynamic inter stream synchronization strategies singled out for Time Stream Petri Nets, as well as their generalization, can be expressed uniformly in timed LOTOS, and how they can be combined in a structured way to specify multimedia synchronization scenarios. Proposed generalization allows for greater flexibility in specifying synchronization requirements.

Keywords

Petri nets; formal specification; multimedia communication; multimedia computing; specification languages; synchronisation; TE-LOTOS; Time Stream Petri Nets; Timed LOTOS specification; distributed multimedia applications; dynamic inter stream synchronization strategies; formal specifications; intra stream synchronization; multimedia streams; multimedia synchronization scenarios; synchronization constraints; synchronization mechanisms; synchronization requirements; temporal event ordering; Acceleration; Communication standards; Data communication; Delay; Formal specifications; Graphics; Jitter; Petri nets; Protocols; Streaming media;

fLanguage

English

Publisher

ieee

Conference_Titel

EUROMICRO 97. New Frontiers of Information Technology., Proceedings of the 23rd EUROMICRO Conference

Conference_Location

Budapest, Hungary

ISSN

1089-6503

Print_ISBN

0-8186-8129-2

Type

conf

DOI

10.1109/EURMIC.1997.617351

Filename

617351