Specifying and executing interactive multimedia presentations using the formal approach

Chung-Ming Huang, Chih Hao Lin, Chian Wang

研究成果: Article同行評審

1 引文 斯高帕斯(Scopus)


Providing interactive functions is becoming an essential issue for many multimedia applications. Since user interactions, e.g., reverse, skip, freeze-restart, and scale, can be issued randomly and unpredictably, it is not easy to design interactive multimedia presentation software. In this paper, we propose a Dynamic Extended Finite State Machine (DEFSM) to achieve software modeling of interactive multimedia presentations. Using the DEFSM-based approach, each medium's behavior, i.e., intra-medium synchronization, is represented by an Actor DEFSM; the inter-media's relationship, i.e., inter-media synchronization, is represented by a Synchronizer DEFSM. To re-synchronize media display when presentations are resumed, some control schemes should be adopted during the processing of each user interaction. These interaction-based synchronization issues, i.e., dynamic properties of user interactions and re-synchronization control schemes, can be formally represented and resolved using DEFSMs. Based on the proposed DEFSM approach, a specification and execution system for interactive multimedia presentations has been developed on SUN SPARC workstations.

頁(從 - 到)495-510
期刊Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering
出版狀態Published - 1999 七月 1

All Science Journal Classification (ASJC) codes

  • 工程 (全部)


深入研究「Specifying and executing interactive multimedia presentations using the formal approach」主題。共同形成了獨特的指紋。