Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems

Abstract This paper presents two modeling approaches that can be used as a formal basis for designing distributed multimedia and hypermedia systems. Using these approaches, users and designers are able to express formally their multimedia and hypermedia synchronization and time requirements. The two different models considered are Hierarchical Time Stream Petri Nets and RT-LOTOS. It will be shown that both models, starting from a different formal basis, are of interest as they possess complementary advantages and can then be used at different stages of the system life cycle. For instance, HTSPN provides an user-friendly graphical specification framework, whereas RT-LOTOS offers an extensive simulation and validation framework applicable to specifications derived from HTSPN.

[1]  P. David Stotts,et al.  Temporal hyperprogramming , 1990, J. Vis. Lang. Comput..

[2]  Son T. Vuong,et al.  Protocol Specification, Testing and Verification XIV , 1995, IFIP Advances in Information and Communication Technology.

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

[4]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[5]  Michel Diaz,et al.  The Cesame project: formal design of high speed multimedia cooperative systems , 1994 .

[6]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[7]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8]  Michel Diaz,et al.  Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models , 1982, Comput. Networks.

[9]  Gunnar Liestøl,et al.  Aesthetic and rhetorical aspects of linking video in hypermedia , 1994, ECHT '94.

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

[11]  Patrick Sénac,et al.  Time Stream Petri Nets: A Model for Timed Multimedia Information , 1994, Application and Theory of Petri Nets.

[12]  Kurt Rothermel,et al.  Representing time in multimedia systems , 1994, 1994 Proceedings of IEEE International Conference on Multimedia Computing and Systems.

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

[14]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[15]  Ralf Steinmetz,et al.  Synchronization Properties in Multimedia Systems , 1990, IEEE J. Sel. Areas Commun..

[16]  Patrick Sénac,et al.  A formal framework for the specification, analysis and generation of standardized hypermedia documents , 1996, Proceedings of the Third IEEE International Conference on Multimedia Computing and Systems.

[17]  Jean-Pierre Courtiat,et al.  On rt-lotos and its application to the formal design of multimedia protocols , 1995 .

[18]  Guy Leduc,et al.  An Enhanced Version of Timed LOTOS and its Application to a Case Study , 1993, FORTE.

[19]  Jean-Pierre Courtiat,et al.  RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation , 1995, MMNET.

[20]  Emmanuel Chaput,et al.  Introducing Multimedia Synchronization into the World-Wide Web , 1995, MMNET.

[21]  Jean-Pierre Courtiat,et al.  About time nondeterminism and exception handling in a temporal extension of LOTOS , 1994, PSTV.

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

[23]  Luiz Fernando Rust da Costa Carmo,et al.  The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism , 1995, Inf. Syst..

[24]  Jean-Pierre Courtiat,et al.  Specification and validation of multimedia protocols using RT-LOTOS , 1995, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.

[25]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[26]  Gordon S. Blair,et al.  Extensions to ANSA for Multimedia Computing , 1992, Comput. Networks ISDN Syst..

[27]  Jean-Pierre Courtiat,et al.  A Reachability Analysis of RT-LOTOS Specifications , 1995, FORTE.

[28]  Paul D. Amer,et al.  Partial-order transport service for multimedia and other applications , 1994, TNET.

[29]  Pierre de Saqui-Sannes,et al.  Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems , 1995, Application and Theory of Petri Nets.

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

[31]  Arif Ghafoor,et al.  Synchronization and Storage Models for Multimedia Objects , 1990, IEEE J. Sel. Areas Commun..

[32]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[33]  Thomas D. C. Little,et al.  Multimedia Synchronization , 1991, IEEE Data Eng. Bull..

[34]  B. Prabhakaran,et al.  Synchronization models for multimedia presentation with user participation , 1993, MULTIMEDIA '93.

[35]  Jeff Conklin,et al.  Hypertext: An Introduction and Survey , 1987, Computer.

[36]  Stanislaw Budkowski,et al.  An Introduction to Estelle: A Specification Language for Distributed Systems , 1987, Comput. Networks.