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
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;
Conference_Titel :
Multimedia Software Engineering, 1998. Proceedings. International Workshop on
Conference_Location :
Kyoto
Print_ISBN :
0-8186-8925-0
DOI :
10.1109/MMSE.1998.722921
