The Community for Technology Leaders
RSS Icon
Issue No.01 - January/February (2009 vol.35)
pp: 46-66
Pamela Zave , 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.
distributed applications, domain-specific architectures, protocol verification, protocol design, software/program verification, networks, streaming media, multimedia services, telecommunications, feature interaction
Pamela Zave, "Compositional Control of IP Media", IEEE Transactions on Software Engineering, vol.35, no. 1, pp. 46-66, January/February 2009, doi:10.1109/TSE.2008.51
[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, 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.
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool