Title :
Specification of synchronization requirements for distributed multimedia systems
Author :
Vuong, S. ; Cooper, K. ; Ito, Minora
Author_Institution :
Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
Abstract :
The field of distributed multimedia systems (DMS) has received a great deal of attention. Multimedia synchronization specification is an important issue in DMS since it must be addressed in the first phase of the development lifecycle. This paper presents a classification of multimedia application requirements and a comprehensive comparison of various Petri net models that have been proposed for the specification of synchronization requirements in DMS. The Petri net models in the comparison include the object composition Petri net, extended object composition Petri net, dynamic time Petri net, the original time stream Petri net, and a new extension to the time stream Petri net model that supports the description of user interactions. The comparison is based on the specifications of a simple, illustrative multimedia synchronization example
Keywords :
Petri nets; distributed processing; formal specification; multimedia systems; software engineering; synchronisation; user interfaces; Petri net models; classification; distributed multimedia systems; dynamic time Petri net; extended object composition Petri net; multimedia application requirements; multimedia synchronization specification; object composition Petri net; software development lifecycle; synchronization requirements; time stream Petri net; user interactions; Application software; Cameras; Distributed computing; Graphics; Hard disks; Humans; Multimedia systems; Petri nets; Prototypes; Streaming media;
Conference_Titel :
Multimedia Software Development, 1996. Proceedings., International Workshop on
Conference_Location :
Berlin
Print_ISBN :
0-8186-7511-X
DOI :
10.1109/MMSD.1996.557760