頁籤選單縮合
題 名 | Specifying and Executing Interactive Multimedia Presentations Using the Formal Approach=互動式多媒體系統之正規描述與執行模式 |
---|---|
作 者 | 黃崇明; 林志浩; 王謙 ; | 書刊名 | Proceedings of the National Science Council : Part A, Physical Science and Engineering |
卷 期 | 23:4 1999.07[民88.07] |
頁 次 | 頁495-510 |
分類號 | 312.49 |
關鍵詞 | 互動式多媒體系統; Multimedia; Synchronization; Interactive functions; User interactions; Specification model; Dynamic extended finite state machines; DEFSMs; |
語 文 | 英文(English) |
英文摘要 | 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 . |
本系統中英文摘要資訊取自各篇刊載內容。