Issue No. 12 - December (2005 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TKDE.2005.205
Ramazan Savas Ayg? , IEEE
Flexible synchronization models cannot provide a proper way of managing user interactions that change the course of a presentation. In this paper, we present a flexible synchronization model, termed SynchRuler, which allows such user interactions including backward and skip. The synchronization rules, which are based on Event-Condition-Action (ECA) rules, are maintained to handle relationships among streams in SynchRuler. The synchronization rules are manipulated by the Receiver-Controller-Actor (RCA) scheme, where receivers, controllers, and actors are objects to receive events, to check conditions, and to execute actions, respectively. The verification of a multimedia presentation specification is performed with the synchronization model. The correctness of the model and the presentation is controlled with a technique called model checking. Model checker PROMELA/SPIN tool is used for automatic verification of the correctness of LTL (Linear Temporal Logic) formulas.
Index Terms- Multimedia synchronization, model checking, synchronization rules, multimedia presentations.
Ramazan Savas Ayg?, Aidong Zhang, "SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking", IEEE Transactions on Knowledge & Data Engineering, vol. 17, no. , pp. 1706-1720, December 2005, doi:10.1109/TKDE.2005.205