Title :
On modelling multimedia synchronization requirements
Author :
Vuong, S. ; Goncalves, J. ; Cooper, K. ; Ito, M. ; Stiubiener, S.
Author_Institution :
Depts. of Comput. Sci. & Electr. Eng., British Columbia Univ., Vancouver, BC, Canada
Abstract :
A distributed multimedia example is specified in natural language, OCPN, XOCPN, TSPN, path operators, and LOTOS. The XOCPN and TSPN specifications are reworked using standard Petri net modelling techniques to reduce the complexity by factors of 20 and 9 respectively. The specifications are discussed in terms of their complexity and ability to model all of the requirements in the example
Keywords :
Petri nets; distributed processing; multimedia communication; natural languages; specification languages; synchronisation; telecommunication computing; LOTOS; OCPN; Petri net modelling; TSPN; XOCPN; complexity; distributed multimedia; modelling; multimedia synchronization; natural language; path operators; specifications; Cameras; Computer science; Counting circuits; Graphics; Hard disks; Humans; Indium tin oxide; Natural languages; Petri nets; Streaming media;
Conference_Titel :
Communications, Computers, and Signal Processing, 1995. Proceedings., IEEE Pacific Rim Conference on
Conference_Location :
Victoria, BC
Print_ISBN :
0-7803-2553-2
DOI :
10.1109/PACRIM.1995.519423
