Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 495-510 |
| Number of pages | 16 |
| Journal | Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering |
| Volume | 23 |
| Issue number | 4 |
| Publication status | Published - 1999 Jul 1 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Engineering(all)
Cite this
}
Specifying and executing interactive multimedia presentations using the formal approach. / Huang, Chung-Ming; Lin, Chih Hao; Wang, Chian.
In: Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering, Vol. 23, No. 4, 01.07.1999, p. 495-510.Research output: Contribution to journal › Article
TY - JOUR
T1 - Specifying and executing interactive multimedia presentations using the formal approach
AU - Huang, Chung-Ming
AU - Lin, Chih Hao
AU - Wang, Chian
PY - 1999/7/1
Y1 - 1999/7/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0033153955&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0033153955&partnerID=8YFLogxK
M3 - Article
VL - 23
SP - 495
EP - 510
JO - Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering
JF - Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering
SN - 0255-6588
IS - 4
ER -