Compositional control of IP media

ABSTRACT

When there is more than one application server in the signaling path between IP media endpoints, and the servers manipulate media flow, media flow must be controlled com-positionally. This paper presents a protocol, signaling architecture, API, and API implementation for distributed, compositional media control. The semantics of the API is specified in linear temporal logic, and the implementation has been partially verified by model checking. The principles developed to solve this problem may be useful for making other network applications compositional.

REFERENCES

• 1: 3GPP. Service requirements for the IP multimedia core network subsystem. 3GPP Technical Specification 23.228 Stage 2.
• 2: Gregory W. Bond, Eric Cheung, Healfdene H. Goguen, Karrie J. Hanson, Don Henderson, Gerald M. Karam, K. Hal Purdy, Thomas M. Smith, and Pamela Zave. Experience with component-based development of a telecommunication service. In Proceedings of the Eighth International Symposium on Component-Based Software Engineering, pages 298--305. Springer-Verlag LNCS 3489, May 2005.
• 3: Gregory W. Bond , Eric Cheung , K. Hal Purdy , Pamela Zave , J. Christopher Ramming, An open architecture for next-generation telecommunication services, ACM Transactions on Internet Technology (TOIT), v.4 n.1, p.83-123, February 2004 [doi>10.1145/967030.967034]
• 4: E. Jane Cameron, Nancy D. Griffeth, Yow-Jian Lin, Margaret E. Nilson, William K. Schnure, and Hugo Velthuijsen. A feature-interaction benchmark for IN and beyond. IEEE Communications, 31(3):64--69, March 1993.
• 5: Eric Cheung, Michael Jackson, and Pamela Zave. Distributed media control for multimedia communications services. In Proceedings of the 2002 IEEE International Conference on Communications: Symposium on Multimedia and VoIP---Services and Technologies. IEEE Communications Society, 2002.
• 6: Gerard J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2004.
• 7: Michael Jackson , Pamela Zave, Distributed Feature Composition: A Virtual Architecture for Telecommunications Services, IEEE Transactions on Software Engineering, v.24 n.10, p.831-847, October 1998 [doi>10.1109/32.729683 ]
• 8: Charles E. Perkins. Mobile IP. IEEE Communications, May 1997.
• 9: J. Rosenberg , J. Peterson , H. Schulzrinne , G. Camarillo, Best Current Practices for Third Party Call Control (3pcc) in the Session Initiation Protocol (SIP), RFC Editor, 2004
• 10: J. Rosenberg , H. Schulzrinne , G. Camarillo , A. Johnston , J. Peterson , R. Sparks , M. Handley , E. Schooler, SIP: Session Initiation Protocol, RFC Editor, 2002

INDEX TERMS

Keywords:
protocol architecture, protocol verification, software/program verification