Skip to main content
SpringerLink
Log in

Modeling IETF Session Initiation Protocol and Its Services in SDL

  • Conference paper
  • First Online:
SDL 2003: System Design (SDL 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2708))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. International Telecommunication Union. Packet based multimedia communication systems, Recommendation H.323. Telecommunication Standardization Sector of ITU, Geneva, Switzerland, Feb. 1998.

    Google Scholar 

  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. 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. J. Lennox, H. Schulzrinne. Feature Interaction in Internet Telephony. Sixth Feature Interaction Workshop, IOS Press, May 2000.

    Google Scholar 

  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. Telelogic Inc.. Telelogic Tau SDL & TTCN Suite, version 4.3 and 4.4. http://www.telelogic.com, accessed on Dec 20, 2002.

  8. M. Handley, V. Jacobson. SDP: Session Description Protocol. Request For Comments (Proposed Standard) 2327, Internet Engineering Task Force, April 1998.

    Google Scholar 

  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. 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. ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.

    Google Scholar 

  12. Object Management Group Inc.. Unified Modeling Language. version 2.0. http://www.omg.org/uml/, accessed on Feb. 12, 2003.

  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. G. J. Holzmann. An improved protocol reachability analysis technique. Software Practice and Experience, Vol. 18, No. 2, pp. 137–161, 1988.

    Article  Google Scholar 

  15. ITU-T. Recommendation Z.120 (11/99), Message Sequence Chart (MSC). International Telecommunication Union, Geneva.

    Google Scholar 

  16. Ø. Haugen, MSC Methodology. SISU, DES 94, Oslo, Norway, 1994. Access on 23Dec2002 http://www.informatics.sintef.no/projects/sisu/sluttrapp/publicen.htm.

  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. B. Stroustrup. Stroustrup: C++. http://www.research.att.com/ bs/C++.html, accessed on Feb 10, 2003.

  19. Sun Microsystems Inc. The Source for JavaTM Technology. version 1.x. http://java.sun.com, accessed on Feb 10, 2003.

  20. Microsoft Inc.. Visual Studio Home Page. http://msdn.microsoft.com/vstudio, accessed on Feb 10, 2003.

  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 

Download references

Author information

Authors and Affiliations

  1. School of Information Technology and Engineering (SITE), University of Ottawa, P.O.Box 450, Stn. A, Ottawa, Ontario, Canada, K1N 6N5

    Ken Y. Chan & Gregor v. Bochmann

Authors
  1. Ken Y. Chan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gregor v. Bochmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Laurels, Telecommunications Software Engineering Limited, Victoria Road, Windermere, Cumbria, LA23 2DL, UK

    Rick Reed  & Jeanne Reed  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chan, K.Y., v. Bochmann, G. (2003). Modeling IETF Session Initiation Protocol and Its Services in SDL. In: Reed, R., Reed, J. (eds) SDL 2003: System Design. SDL 2003. Lecture Notes in Computer Science, vol 2708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45075-0_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-45075-0_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40539-9

  • Online ISBN: 978-3-540-45075-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation