Title :
Synchronization mechanisms for multimedia streams and their specification in timed LOTOS
Author :
Splawski, Zdzislaw
Author_Institution :
Dept. of Comput. Sci., Tech. Univ. Wroclaw, Poland
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;
Conference_Titel :
EUROMICRO 97. New Frontiers of Information Technology., Proceedings of the 23rd EUROMICRO Conference
Conference_Location :
Budapest, Hungary
Print_ISBN :
0-8186-8129-2
DOI :
10.1109/EURMIC.1997.617351
