Interactive Temporal Behaviours and Modelling for Multimedia Presentations in te WWW Environment

Due to the widespread distribution and the nature of hyperlinks on the WWW system, interactive temporal behaviours that exist in the WWW environment are different from those used in traditionally distributed multimedia presentation environments. Therefore, the control scheme and model of a new temporal synchronization that can guarantee the presentation continuity within the multimedia WWW environment is required. In this paper we will: (i) classify interactive temporal behaviours that are associated with user interactions, i.e. 'replay', 'freeze-restart', 'skipg (ii) identify the link control with some temporal constraints; (iii) derive temporal interactive synchronization control schemes to resolve the permitted interactive temporal behaviours and the system's link behaviour; and (iv) propose the extended finite state machine (EFSM) approach that is able to formally model the corresponding interactive temporal and link control architecture and schemes.

[1]  Jean-Pierre Courtiat,et al.  Towards a new multimedia synchronization mechanism and its formal specification , 1994 .

[2]  Jean-Pierre Courtiat,et al.  Proving temporal consistency in a new multimedia synchronization model , 1997, MULTIMEDIA '96.

[3]  David Hung-Chang Du,et al.  Doing FLIPS: Flexible Interactive Presentation Synchronization , 1996, IEEE J. Sel. Areas Commun..

[4]  Chung-Ming Huang,et al.  An EFSM-Based Multimedia Synchronization Model and the Authoring System , 1996, IEEE J. Sel. Areas Commun..

[5]  C. F. Goldfarb.  Standards-HyTime: a standard for structured hypermedia interchange , 1991 .

[6]  Sagar Naik.  Exception Handling and Fault-Tolerance in Multimedia Synchronization , 1996, IEEE J. Sel. Areas Commun..

[7]  Michael Bieber,et al.  GHMI: a general hypertext data model supporting integration of hypertext and information systems , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[8]  Senro Saito,et al.  Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization , 1996, IEEE J. Sel. Areas Commun..

[9]  Ralf Steinmetz,et al.  A Media Synchronization Survey: Reference Model, Specification, and Case Studies , 1996, IEEE J. Sel. Areas Commun..

[10]  Lloyd Rutledge,et al.  Integrating object-oriented scripting languages with HyTime , 1994, 1994 Proceedings of IEEE International Conference on Multimedia Computing and Systems.

[11]  Michal Haindl.  A New Multimedia Synchronization Model , 1996, IEEE J. Sel. Areas Commun..

[12]  Chung-Ming Huang,et al.  Achieving multimedia synchronization between live video and live audio streams using QoS controls , 1996, Comput. Commun..

[13]  Kshirasagar Naik,et al.  Fault-tolerant UIO Sequences in Finite State Machines , 1996 .

[14]  Petra Hoepner,et al.  PENGUIN: enabling and combining DAVIC and the WWW , 1997, Proceedings of IEEE International Conference on Multimedia Computing and Systems.

[15]  P. David Stotts,et al.  Hyperdocuments as automata: verification of trace-based browsing properties by model checking , 1998, TOIS.

[16]  Robert M. Hierons,et al.  Extending Test Sequence Overlap by Invertibility , 1996, Comput. J..

[17]  Mohamed G. Gouda.  Protocol Verification Made Simple: A Tutorial , 1993, Comput. Networks ISDN Syst..

[18]  Mayer D. Schwartz,et al.  The Dexter Hypertext Reference Model , 1994, CACM.

[19]  Chung-Ming Huang,et al.  An Incremental Protocol Verification Method , 1994, Comput. J..

[20]  Patrick Sénac,et al.  Modeling Logical and Temporal Synchronization in Hypermedia Systems , 1996, IEEE J. Sel. Areas Commun..

[21]  Robert Erfle,et al.  HyTime as the muItimedia document model of choice , 1994, 1994 Proceedings of IEEE International Conference on Multimedia Computing and Systems.

[22]  Ralf Steinmetz,et al.  Human Perception of Jitter and Media Synchronization , 1996, IEEE J. Sel. Areas Commun..

[23]  Luiz Fernando Rust da Costa Carmo,et al.  A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations , 1996, IEEE J. Sel. Areas Commun..

[24]  Dick C. A. Bulterman,et al.  The Amsterdam hypermedia model: adding time and context to the Dexter model , 1994, CACM.

[25]  Stanislaw Budkowski.  Estelle Development Toolset (EDT) , 1992, Comput. Networks ISDN Syst..

[26]  Carl K. Chang,et al.  Temporal Relations and Synchronization Agents , 1996, IEEE Multim..