Modeling IETF Session Initiation Protocol and Its Services in SDL

  • Ken Y. Chan
  • Gregor v. Bochmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2708)

Abstract

This paper describes the formal approach to modeling IETF Session Initiation Protocol (SIP) and its services in SDL. The main objective is to discover the advantages and shortcomings of using a formal language such as SDL to model an IETF application signaling protocol: SIP. Evaluating the feasibility of using CASE tools such as Telelogic Tau in modeling a protocol as complex as SIP is also the interest of this study. By creating an “Abstract User” interface, we discover the importance of use case analysis in specifying SIP services more precisely. In addition, the object-oriented extension in SDL-96 has been applied to some extent in the modeling process; we create an SDL framework that allows us to reuse and to add SIP services to the core protocol more easily by applying SDL type inheritance in our model. Furthermore, we discuss enhancements that may be made to the SDL language and Tau tools to improve the modeling experience of IETF protocols.

Keywords

SIP Internet Telephony UML Use Case SDL MSC Telelogic Software Specification Design Methodology 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    M. Handley, H. Shulzrinne, E. Schooler, J. Rosenberg, SIP: Session Initiation Protocol. Request For Comments (Proposed Standard) 2543, Internet Engineering Task Force, Mar. 1999.Google Scholar
  2. [2]
    International Telecommunication Union. Packet based multimedia communication systems, Recommendation H.323. Telecommunication Standardization Sector of ITU, Geneva, Switzerland, Feb. 1998.Google Scholar
  3. [3]
    A. Johnston, R. Sparks, C. Cunningham, S. Donovan, K. Summers. SIP Service Examples. Internet Draft, Internet Engineering Task Force, June 2001, Work in progress.Google Scholar
  4. [4]
    K. Chan, G. v. Bochmann. Methods for Designing IP Telephony Services with Fewer Feature Interactions. Feature Interactions in Telecommunications and Software Systems VII, IOS Press, to be published, June 2003.Google Scholar
  5. [5]
    J. Lennox, H. Schulzrinne. Feature Interaction in Internet Telephony. Sixth Feature Interaction Workshop, IOS Press, May 2000.Google Scholar
  6. [6]
    E. J. Cameron, N. D. Griffeth, Y.-J. Lin, M. E. Nilson, W. K. Shure, H. Velthuijsen. A feature interaction benchmark for IN and beyond. Feature Interactions in Telecommunications Systems, IOS Press, pp. 1–23, 1994.Google Scholar
  7. [7]
    Telelogic Inc.. Telelogic Tau SDL & TTCN Suite, version 4.3 and 4.4. http://www.telelogic.com, accessed on Dec 20, 2002.
  8. [8]
    M. Handley, V. Jacobson. SDP: Session Description Protocol. Request For Comments (Proposed Standard) 2327, Internet Engineering Task Force, April 1998.Google Scholar
  9. [9]
    A. Johnston, S. Donovan, R. Sparks, C. Cunningham, D. Willis, J. Rosenberg, K. Summers, H. Schulzrinne. SIP Call Flow Examples. Internet Draft, Version 5, Internet Engineering Task Force, June 2001. Work in progress.Google Scholar
  10. [10]
    J. Lennox, H. Schulzrinne, T. Porta. Implementing Intelligent Network Services with Session Initiation Services. http://www.cs.columbia.edu/lennox/cucs-002-99.pdf, accessed on October 7, 2002.
  11. [11]
    ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.Google Scholar
  12. [12]
    Object Management Group Inc.. Unified Modeling Language. version 2.0. http://www.omg.org/uml/, accessed on Feb. 12, 2003.
  13. [13]
    J. Ellsberger, D. Hogrefe, A. Sarma. SDL-Formal Object-oriented language for Communication Systems. Prentice Hall Europe, ISBN 0-13-621384-7, 1997.Google Scholar
  14. [14]
    G. J. Holzmann. An improved protocol reachability analysis technique. Software Practice and Experience, Vol. 18, No. 2, pp. 137–161, 1988.CrossRefGoogle Scholar
  15. [15]
    ITU-T. Recommendation Z.120 (11/99), Message Sequence Chart (MSC). International Telecommunication Union, Geneva.Google Scholar
  16. [16]
    Ø. Haugen, MSC Methodology. SISU, DES 94, Oslo, Norway, 1994. Access on 23Dec2002 http://www.informatics.sintef.no/projects/sisu/sluttrapp/publicen.htm.
  17. [17]
    W. Damm, D. Harel. LSCs: Breathing Life into Message Sequence Charts*. Formal Methods in System Design, Kluwer Academic Publishers, pp. 19,45–80, 2001.Google Scholar
  18. [18]
    B. Stroustrup. Stroustrup: C++. http://www.research.att.com/ bs/C++.html, accessed on Feb 10, 2003.
  19. [19]
    Sun Microsystems Inc. The Source for JavaTM Technology. version 1.x. http://java.sun.com, accessed on Feb 10, 2003.
  20. [20]
    Microsoft Inc.. Visual Studio Home Page. http://msdn.microsoft.com/vstudio, accessed on Feb 10, 2003.
  21. [21]
    J. Rosenberg, H. Shulzrinne, G. Camarillo, A. Johnston, J. Peterson, R. Sparks, M. Handley, E. Schooler. SIP: Session Initiation Protocol. Request For Comments (Standards Track) 3261, Internet Engineering Task Force, June 2002.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Ken Y. Chan
    • 1
  • Gregor v. Bochmann
    • 1
  1. 1.School of Information Technology and Engineering (SITE)University of OttawaOttawaCanada

Personalised recommendations