Advertisement

Abstract

In recent years, SIP has become an important and widely-used protocol for IP-based multimedia services. Despite voluminous documentation, there is only scattered and informal material explaining the states of the protocol and the events that can occur in each state. To fill this gap, this paper presents a Promela model of invite dialogs in SIP. The model has been verified and validated with the Spin model-checker. The paper discusses the practical value of this model, explains some problems in SIP revealed by it, makes recommendations for solutions, and presents some directions for future work.

Keywords

Session Initiation Protocol User Agent Race Condition Message Type Session Initiation Protocol Message 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bishop, S., Fairbairn, M., Norrish, M., Sewell, P., Smith, M., Wansbrough, K.: Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP and sockets. In: Proceedings of SIGCOMM 2005. ACM, New York (2005)Google Scholar
  2. 2.
    Camarillo, G.: The early session disposition type for the Session Initiation Protocol (SIP). IETF Network Working Group Request for Comments 3959 (2004)Google Scholar
  3. 3.
    Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2004)Google Scholar
  4. 4.
    JSR 309: Java media server control. Java Community Process, http://jcp.org/aboutJava/communityprocess/edr/jsr309
  5. 5.
    Mahy, R., Gurbani, V., Tate, B.: Connection reuse in the Session Initiation Protocol (SIP). Internet Draft draft-ietf-sip-connect-reuse-09 (2008)Google Scholar
  6. 6.
    Rosenberg, J.: The Session Initiation Protocol (SIP) UPDATE method. IETF Network Working Group Request for Comments 3311 (2002)Google Scholar
  7. 7.
    Rosenberg, J., Peterson, J., Schulzrinne, H., Camarillo, G.: Best current practices for third party call control in the Session Initiation Protocol (SIP). IETF Network Working Group Request for Comments 3725 (2004)Google Scholar
  8. 8.
    Rosenberg, J., Schulzrinne, H.: Reliability of provisional responses in Session Initiation Protocol (SIP). IETF Network Working Group Request for Comments 3262 (2002)Google Scholar
  9. 9.
    Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: SIP: Session Initiation Protocol. IETF Network Working Group Request for Comments 3261 (2002)Google Scholar
  10. 10.
    Sparks, R.: Multiple dialog usages in the Session Initiation Protocol. IETF Network Working Group Request for Comments 5057 (2007)Google Scholar
  11. 11.
    Zave, P.: Audio feature interactions in voice-over-IP. In: Proceedings of the First International Conference on Principles, Systems and Applicatons of IP Telecommunications, ACM SIGCOMM, pp. 67–78 (2007)Google Scholar
  12. 12.
    Zave, P., Cheung, E.: Compositional control of IP media, IEEE Transactions on Software Engineering (to appear, 2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Pamela Zave
    • 1
  1. 1.AT&T Laboratories—ResearchNew JerseyUSA

Personalised recommendations