On modelling multimedia synchronization requirements

TitleOn modelling multimedia synchronization requirements
Publication TypeConference Paper
Year of Publication1995
AuthorsVuong, S., J. Goncalves, K. Cooper, M. Ito, and S. Stiubiener
Conference NameCommunications, Computers, and Signal Processing, 1995. Proceedings. IEEE Pacific Rim Conference on
Pagination120 -123
Date Publishedmay.
Keywordscomplexity, distributed multimedia, distributed processing, LOTOS, modelling, multimedia communication, multimedia synchronization, natural language, natural languages, OCPN, path operators, Petri net modelling, Petri nets, specification languages, specifications, synchronisation, telecommunication computing, TSPN, XOCPN
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

URLhttp://dx.doi.org/10.1109/PACRIM.1995.519423
DOI10.1109/PACRIM.1995.519423

a place of mind, The University of British Columbia

Electrical and Computer Engineering
2332 Main Mall
Vancouver, BC Canada V6T 1Z4
Tel +1.604.822.2872
Fax +1.604.822.5949
Email:

Emergency Procedures | Accessibility | Contact UBC | © Copyright 2020 The University of British Columbia