This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Compositional Control of IP Media
January/February 2009 (vol. 35 no. 1)
pp. 46-66
Pamela Zave, AT&T Laboratories-Research, Florham Park
Eric Cheung, AT&T Laboratories-Research, Florham Park
In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even thou the media packets themselves travel directly between media endpoints. The application servers must be programmed so that media behavior is globally correct, even though the servers may attempt to manipulate the same media channels concurrently and without knowledge of each other. Our proposed solution to this problem of compositional media control includes an architecture-independent descriptive model, a set of high-level programming primitives, a formal specification of their compositional semantics, a signaling protocol, an implementation, and partial verification of correctness. The paper includes performance analysis, comparison to related work, and principles for making other networked applications more compositional.

[1] 3GPP, Service Requirements for the IP Multimedia Core Network Subsystem, 3GPP Technical Specification 23.228 Stage 2.
[2] National Emergency Number Association, NENA IP-Capable Public Safety Access Point Features and Capabilities Standard, Document 58-001, 2005.
[3] G.W. Bond, E. Cheung, H.H. Goguen, K.J. Hanson, D. Henderson, G.M. Karam, K. Hal Purdy, T.M. Smith, and P. Zave, “Experience with Component-Based Development of a Telecommunication Service,” Proc. Eighth Int'l Symp. Component-Based Software Eng., pp. 298-305, May 2005.
[4] G.W. Bond, E. Cheung, K.H. Purdy, P. Zave, and J.C. Ramming, “An Open Architecture for Next-Generation Telecommunication Services,” ACM Trans. Internet Technology, vol. 4, no. 1, pp. 83-123, Feb. 2004.
[5] E.J. Cameron, N.D. Griffeth, Y.-J. Lin, M.E. Nilson, W.K. Schnure, and H. Velthuijsen, “A Feature-Interaction Benchmark for IN and Beyond,” IEEE Comm., vol. 31, no. 3, pp. 64-69, Mar. 1993.
[6] E. Cheung, M. Jackson, and P. Zave, “Distributed Media Control for Multimedia Communications Services,” Proc. IEEE Int'l Conf. Comm.: Symp. Multimedia and VoIP—Services and Technologies, 2002.
[7] M. Handley, H. Schulzrinne, E. Schooler, and J. Rosenberg, SIP: Session Initiation Protocol, IETF RFC 2543, 1999.
[8] G.J. Holzmann, The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2004.
[9] M. Jackson and P. Zave, “Distributed Feature Composition: A Virtual Architecture for Telecommunications Services,” IEEE Trans. Software Eng., vol. 24, no. 10, pp. 831-847, Oct. 1998.
[10] JSR 309: Java Media Server Control, Java Community Process, http://jcp.org/aboutJava/communityprocess/ edrjsr309, 2008.
[11] V. Kahmann, J. Brandt, and L. Wolf, “Collaborative Streaming in Heterogeneous and Dynamic Scenarios,” Comm. ACM, vol. 49, no. 11, pp. 58-63, Nov. 2006.
[12] J. Mysore and V. Bharghavan, “A New Multicasting-Based Architecture for Internet Host Mobility,” Proc. ACM MobiCom, 1997.
[13] J. Rosenberg, J. Peterson, H. Schulzrinne, and G. Camarillo, Best Current Practices for Third Party Call Control in the Session Initiation Protocol (SIP), IETF RFC 3725, 2004.
[14] J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnston, J. Peterson, R. Sparks, M. Handley, and E. Schooler, SIP: Session Initiation Protocol, IETF RFC 3261, 2002.
[15] P. Zave, “Audio Feature Interactions in Voice-over-IP,” Proc. First Int'l Conf. Principles, Systems, and Applicatons of IP Telecomm., pp.67-78, 2007.
[16] P. Zave and E. Cheung, “Compositional Control of IP Media,” Proc. Second Conf. Future Networking Technologies, 2006.

Index Terms:
distributed applications, domain-specific architectures, protocol verification, protocol design, software/program verification, networks, streaming media, multimedia services, telecommunications, feature interaction
Citation:
Pamela Zave, Eric Cheung, "Compositional Control of IP Media," IEEE Transactions on Software Engineering, vol. 35, no. 1, pp. 46-66, Jan.-Feb. 2009, doi:10.1109/TSE.2008.51
Usage of this product signifies your acceptance of the Terms of Use.