To provide flexible multimedia presentations, user interactive service becomes an essential requirement in a lot of multimedia applications, e.g., news on demand. Since media bases are located remotely in distributed environments, more considerations must be involved to deal with the synchronization issue. In this paper, we propose an Interactive Extended Finite State Machine(IEFSM) specification model to formally model and design synchronous multimedia presentations with user interactions in distributed environments.
Proceedings of IEEE International Conference on Consumer Electronics, pp. 458-459.(NSC 85-2213-E-006-062)