Multi-level specification and protocol design for distributed multimedia communication

The major challenge in the design of an efficient distributed multimedia system is the integration and support of a wide variety of applications. Investigating the basic issues involved in the design and specification of distributed muttimcdia systems is the focus of this paper. A basic layered network architecture is proposed as the uniform framework for the investigation of different levels of functionality typically associated with the communication network that supports multimedia communication. Within this framework, we propose to identify the communication requirements for multimedia applications and characterize a set of communication primitives which specify different qualities of scrvicc to reflect different real-time rcquircmcnts. ‘Ilis investigation is guided by an efficient and flexible multi-level specification model. We will characterize this model and show that the model can be amenable to the construction of a set of communication primitives that support synchronization and communication of multimedia applications.

[1]  Dinesh C. Verma,et al.  A Scheme for Real-Time Channel Establishment in Wide-Area Networks , 1990, IEEE J. Sel. Areas Commun..

[2]  Taieb Znati,et al.  Experimental evaluation of transport layer protocols for real-time applications , 1991, [1991] Proceedings 16th Conference on Local Computer Networks.

[3]  Mohamed G. Gouda,et al.  Closed Covers: To Verify Progress for Communicating Finite State Machines , 1984, IEEE Transactions on Software Engineering.

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

[5]  T. Znati A deadline-driven window protocol for transmission of hard real-time traffic , 1991, [1991 Proceedings] Tenth Annual International Phoenix Conference on Computers and Communications.

[6]  Yi Deng,et al.  Intelligent database retrieval by visual reasoning , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.

[7]  Yi Deng,et al.  A G-Net Model for Knowledge Representation and Reasoning , 1990, IEEE Trans. Knowl. Data Eng..

[8]  Yi Deng,et al.  A Framework for the Modeling and Prototyping of Distributed Information Systems , 1991, Int. J. Softw. Eng. Knowl. Eng..

[9]  Cosmos Andrea Nicolaou,et al.  An Architecture for Real-Time Multimedia Communication Systems , 1990, IEEE J. Sel. Areas Commun..

[10]  P B Berra,et al.  Architecture for distributed multimedia database systems , 1990, Comput. Commun..

[11]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[12]  P. David Stotts,et al.  Petri-net-based hypertext: document structure with browsing semantics , 1989, TOIS.

[13]  Gregor von Bochmann,et al.  Finite State Description of Communication Protocols , 1978, Comput. Networks.

[14]  J. J. Garcia-Luna-Aceves,et al.  CCWS: A Computer-Based, Multimedia Information System , 1985, Computer.

[15]  Lixia Zhang,et al.  A new architecture for packet switching network protocols , 1989 .

[16]  Shi-Kuo Chang,et al.  Transformation and Verification of Office Procedures , 1985, IEEE Transactions on Software Engineering.

[17]  Ramesh Govindan,et al.  Support for continuous media in the DASH system , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

[18]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[19]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[20]  Raj Jain,et al.  Myths about Congestion Management in High Speed Networks , 1992, INDC.

[21]  Purificacion Matute,et al.  Transmission control protocol: darpa internet program protocol specification , 1981 .

[22]  Harry Rudin,et al.  Automated Protocol Validation: One Chain of Development , 1978, Comput. Networks.

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

[24]  Gillian Woodruff,et al.  Multimedia Traffic Management Principles for Guaranteed ATM Network Performance , 1990, IEEE J. Sel. Areas Commun..

[25]  Jean C. Walrand,et al.  Dynamic priority protocols for packet voice , 1989, IEEE J. Sel. Areas Commun..

[26]  T.D.C. Little,et al.  Network considerations for distributed multimedia object composition and communication , 1990, IEEE Network.

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

[28]  Yi Deng,et al.  A HyperNet Model for Large Hypertext Systems , 1991, DASFAA.