From multimedia models to multimedia transport protocols

This paper presents a new protocol architecture for distributed multimedia systems which includes a new and general protocol layer for the transport of multimedia objects. The proposed protocols are based on the use of two extended timed and time Petri net models that specify the synchronisation requirements of multimedia applications. After presenting these two formal models, it is shown how they have been used to design the general multimedia architecture whose transport layer is based on the concept of a partial order connection, an extension of the classical connection oriented (e.g., TCP) and connectionless (e.g., UDP) transmission concepts.

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

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

[3]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[4]  David Clark,et al.  Architectural considerations for a new generation of protocols , 1990, SIGCOMM 1990.

[5]  Harry Rudin,et al.  A survey of light-weight transport protocols for high-speed networks , 1990, IEEE Trans. Commun..

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

[7]  Mohan Ahuja.  Flush Primitives for Asynchronous Distributed Systems , 1990, Inf. Process. Lett..

[8]  Mohan Ahuja,et al.  Process-channel/sub agent/-process model of asynchronous distributed communication , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

[9]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

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

[11]  Luiz Fernando Rust da Costa Carmo,et al.  Implementing Intra-Stream Synchronization by Means of Conditional Dependency Expressions , 1994, HPN.

[12]  Walid Dabbous,et al.  High-performance protocol architecture , 1997, Comput. Networks ISDN Syst..

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

[14]  Stephen Pink,et al.  Multimedia and High Speed Networking in MultiG , 1991, Comput. Networks ISDN Syst..

[15]  Jean-Lien C. Wu,et al.  Interactive hypermedia applications: A model and its implementation , 1995, Softw. Pract. Exp..

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

[17]  Paul D. Amer,et al.  Partial order connections : a new concept for high speed and multimedia services and protocols , 1994 .

[18]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[19]  Laurent Dairaine,et al.  Towards an architecture for distributed multimedia applications support , 1994, 1994 Proceedings of IEEE International Conference on Multimedia Computing and Systems.

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

[21]  Daniel Mossé,et al.  The MORENA model for hypermedia authoring and browsing , 1995, Proceedings of the International Conference on Multimedia Computing and Systems.

[22]  David Hutchison,et al.  A Multimedia Enhanced Transport Service in a Quality of Service Architecture , 1993, NOSSDAV.

[23]  Serge Fdida,et al.  Preserving temporal signature: a way to convey time constrained flows , 1993, Proceedings of GLOBECOM '93. IEEE Global Telecommunications Conference.

[24]  Christophe Diot,et al.  Application level framing and automated implementation , 1995, HPN.

[25]  David Hutchison,et al.  Towards an Integrated Quality of Service Architecture (QOS-A) for Distributed Multimedia Communications , 1992, HPN.