Modeling IETF Session Initiation Protocol and Its Services in SDL

  • Ken Y. Chan
  • Gregor v. Bochmann
Conference paper

DOI: 10.1007/3-540-45075-0_21

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2708)
Cite this paper as:
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

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.

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