skip to main content
10.1145/1941530.1941538acmotherconferencesArticle/Chapter ViewAbstractPublication PagesiptcommConference Proceedingsconference-collections
research-article

Specification and evaluation of transparent behavior for SIP back-to-back user agents

Published:02 August 2010Publication History

ABSTRACT

A back-to-back user agent (B2BUA) is a powerful mechanism for realizing complex SIP applications. The ability to create, terminate, and modify SIP dialogs allows the creation of arbitrarily complex services. However, B2BUAs must be designed with care so as not to disrupt service interoperability. A commonly-stated goal is for B2BUAs to be as transparent as possible while achieving its design goals. Though the notion of transparency is intuitively appealing, it is difficult to define. To address this issue, this paper proposes a definition of transparency and presents a formal model of a transparent B2BUA to serve as the specification of transparency. From this specification, we identify issues with both the realizability and desirability of this behavior, and suggest modifications to the original model. We evaluate the behavior of a number of public B2BUA implementations via testing, using some novel techniques to create test cases based on the formal models.

References

  1. BEA. SIP Servlet API version 1.1, 2008. Java Community Process JSR 289. http://jcp.org/en/jsr/detail?id=289.Google ScholarGoogle Scholar
  2. C. Boulton and K. Gronowski. Understanding SIP Servlets 1.1. Artech House, April 2009.Google ScholarGoogle Scholar
  3. S. Donovan. The SIP INFO method, October 2000. IETF RFC 2976.Google ScholarGoogle Scholar
  4. ECharts for JAIN SIP (E4JS). http://echarts.org/.Google ScholarGoogle Scholar
  5. Formal models of SIP, 2010. http://www.research.att.com/~pamela/sip.html.Google ScholarGoogle Scholar
  6. M. Hasebe, J. Koshiko, Y. Suzuki, T. Yoshikawa, and P. Kyzivat. Example call flows of race conditions in the session initiation protocol (SIP). IETF RFC 5407, December 2008.Google ScholarGoogle Scholar
  7. G. J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. JAIN(tm) SIP Specification. Java Community Process, 2003. Available from: http://jcp.org/aboutJava/communityprocess/final/jsr032/.Google ScholarGoogle Scholar
  9. A. Johnston, S. Donovan, R. Sparks, C. Cunningham, and K. Summers. Session Initiation Protocol (SIP) basic call flow examples. IETF RFC 3665, December 2003.Google ScholarGoogle Scholar
  10. JUnit. http://www.junit.org/.Google ScholarGoogle Scholar
  11. X. Marjou, I. Elz, and P. Musgrave. Best current practices for a session initiation protocol (SIP) transparent back-to-back user-agent (B2BUA). IETF Internet-Draft draft-marjou-sipping-b2bua-01, July 2007.Google ScholarGoogle Scholar
  12. J. Rosenberg and H. Schulzrinne. An offer/answer model with the session description protocol (SDP), June 2002. IETF RFC 3264.Google ScholarGoogle Scholar
  13. J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnston, J. Peterson, R. Sparks, M. Handley, and E. Schooler. SIP: Session initiation protocol, June 2002. IETF RFC 3261.Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Project SailFin. https://sailfin.dev.java.net/.Google ScholarGoogle Scholar
  15. SailFin CAFE project. https://sailfin-cafe.dev.java.net/.Google ScholarGoogle Scholar
  16. T. M. Smith and G. W. Bond. ECharts for SIP Servlets: a state-machine programming environment for VoIP applications. In IPTComm '07: Proceedings of the 1st International Conference on Principles, Systems and Applications of IP telecommunications, pages 89--98. ACM, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. V. Subramonian. Towards automated functional testing of converged applications. In IPTComm '09: Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications, pages 1--12, New York, NY, USA, 2009. ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. P. Zave. Understanding SIP through model-checking. In Proceedings of the Second International Conference on Principles, Systems and Applications of IP Telecommunications, pages 256--279. Springer-Verlag LNCS 5310, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Specification and evaluation of transparent behavior for SIP back-to-back user agents

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Other conferences
        IPTComm '10: Principles, Systems and Applications of IP Telecommunications
        August 2010
        170 pages
        ISBN:9781450306317
        DOI:10.1145/1941530

        Copyright © 2010 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 2 August 2010

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • research-article

        Acceptance Rates

        IPTComm '10 Paper Acceptance Rate12of50submissions,24%Overall Acceptance Rate18of62submissions,29%
      • Article Metrics

        • Downloads (Last 12 months)3
        • Downloads (Last 6 weeks)1

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader