Specifying and executing interactive multimedia presentations using the formal approach

Chung-Ming Huang, Chih Hao Lin, Chian Wang

Research output: Contribution to journalArticle

1 Citation (Scopus)

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 languageEnglish
Pages (from-to)495-510
Number of pages16
JournalProceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering
Volume23
Issue number4
Publication statusPublished - 1999 Jul 1

Fingerprint

Finite automata
Synchronization
Specifications
Processing

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

@article{9715a028b6584a71ba92c35ecca420a7,
title = "Specifying and executing interactive multimedia presentations using the formal approach",
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.",
author = "Chung-Ming Huang and Lin, {Chih Hao} and Chian Wang",
year = "1999",
month = "7",
day = "1",
language = "English",
volume = "23",
pages = "495--510",
journal = "Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering",
issn = "0255-6588",
publisher = "National Science Council",
number = "4",

}

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 -