Multimedia Software Development, International Workshop on (1996)
Mar. 25, 1996 to Mar. 26, 1996
S. Vuong , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
K. Cooper , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
M. Ito , 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.
formal specification; synchronization requirements; distributed multimedia systems; multimedia synchronization specification; software development lifecycle; multimedia application requirements; classification; Petri net models; object composition Petri net; extended object composition Petri net; dynamic time Petri net; time stream Petri net; user interactions
S. Vuong, K. Cooper, M. Ito, "Specification of Synchronization Requirements for Distributed Multimedia Systems", Multimedia Software Development, International Workshop on, vol. 00, no. , pp. 0110, 1996, doi:10.1109/MMSD.1996.557760