DocumentCode
1940098
Title
An EFSM-based formal model for providing VCR-like functions in multimedia systems
Author
Huang, Chung Ming ; Lin, Chih Hao ; Wang, Chi An
Author_Institution
Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
fYear
1998
fDate
20-21 Apr 1998
Firstpage
10
Lastpage
17
Abstract
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 specified in an Actor DEFSM; inter-media´s relationship, i.e., intermedia synchronization, is specified in a Synchronizer DEFSM. In order to re-synchronize media displaying when presentations are resumed, some control schemes are adopted during the processing of each user interaction
Keywords
finite state machines; formal specification; interactive systems; multimedia systems; specification languages; synchronisation; Actor DEFSM; DEFSM; Dynamic Extended Finite State Machine; Synchronizer DEFSM; VCR; formal model; interactive multimedia presentations; intermedia synchronization; intra-medium synchronization; multimedia systems; software modeling; user interaction; Multimedia systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Multimedia Software Engineering, 1998. Proceedings. International Workshop on
Conference_Location
Kyoto
Print_ISBN
0-8186-8925-0
Type
conf
DOI
10.1109/MMSE.1998.722921
Filename
722921
Link To Document