Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
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 2010 Publication 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.
[2]
C. Boulton and K. Gronowski. Understanding SIP Servlets 1.1. Artech House, April 2009.
[3]
S. Donovan. The SIP INFO method, October 2000. IETF RFC 2976.
[4]
ECharts for JAIN SIP (E4JS). http://echarts.org/.
[5]
Formal models of SIP, 2010. http://www.research.att.com/~pamela/sip.html.
[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.
[7]
G. J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2004.
[8]
JAIN(tm) SIP Specification. Java Community Process, 2003. Available from: http://jcp.org/aboutJava/communityprocess/final/jsr032/.
[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.
[10]
JUnit. http://www.junit.org/.
[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.
[12]
J. Rosenberg and H. Schulzrinne. An offer/answer model with the session description protocol (SDP), June 2002. IETF RFC 3264.
[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.
[14]
Project SailFin. https://sailfin.dev.java.net/.
[15]
SailFin CAFE project. https://sailfin-cafe.dev.java.net/.
[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.
[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.
[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.

Recommendations

Comments

Information & Contributors

Information

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
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]

Sponsors

  • Technische Universitat Munchen: Technische Universitat Munchen
  • IFIP

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 August 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. IP telecom
  2. SIP protocol
  3. back-to-back user agent
  4. formal modeling and verification
  5. testing
  6. transparency

Qualifiers

  • Research-article

Conference

IPTComm '10
Sponsor:
  • Technische Universitat Munchen

Acceptance Rates

IPTComm '10 Paper Acceptance Rate 12 of 50 submissions, 24%;
Overall Acceptance Rate 18 of 62 submissions, 29%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 70
    Total Downloads
  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Jan 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media