Formal Specification and Description Language and Message Sequence Chart to Model and Validate Session Initiation Protocol Services

Authors: Sa’ed Abed, Mohammad H. Al Shayeji, Ovais Ahmed, Sahel Alouneh

Abstract:

Session Initiation Protocol (SIP) is a signaling layer protocol for building, adjusting and ending sessions among participants including Internet conferences, telephone calls and multimedia distribution. SIP facilitates user movement by proxying and forwarding requests to the present location of the user. In this paper, we provide a formal Specification and Description Language (SDL) and Message Sequence Chart (MSC) to model and define the Internet Engineering Task Force (IETF) SIP protocol and its sample services resulted from informal SIP specification. We create an “Abstract User Interface” using case analysis so that can be applied to identify SIP services more explicitly. The issued sample SIP features are then used as case scenarios; they are revised in MSCs format and validated to their corresponding SDL models.

Keywords: Modeling, MSC, SDL, SIP, validating.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1115330

References:

[1] Alan B. Johnston, SIP: Understanding the session initiation protocol, Artech House Telecommunications, 2009.
[2] Henry Sinrreich and Alan B. Johnston, Internet communications using SIP: Delivering VoIP and multimedia services with session initiation protocol, Willey Computer Pub., 2006.
[3] A. Johnston, R. Sparks, C. Cunningham, S. Donovan and K. Summers, SIP service examples, Internet Draft, Internet Engineering Task Force, pp. 1-167, 2008.
[4] James Wright, “SIP: an introduction,” Technical White Paper, Konnetic, pp. 1-8, 2011.
[5] Pavel SEGEČ, “SIP services using SIP servlet API–the infoline service,” Journal of Information, Control and Management Systems, Vol. 8, No. 3, pp. 227-236, 2010.
[6] S. Okumura, Softfront, T. Sawada, KDDI Corporation and P. Kyzivat, Session initiation protocol (SIP) usage of the offer/answer model, RFC 6337, http://tools.ietf.org/html/rfc6337, August 2001.
[7] K. Y. Chan and G. v. Bochmann, “Methods for designing SIP services in SDL with fewer feature interactions,” In D. Amyot and L. Logrippo, editors, Feature Interactions in Telecommunications and Software Systems VII, IOS Press, Amsterdam, pp. 59-76, 2003.
[8] Roberto Saracco, J. R. W. Smith and Rick Reed, Telecommunications systems engineering using SDL, Elsevier Science Inc., 1989.
[9] Laurent Doldi, Validation of communications systems with SDL: The art of SDL simulation and reachability analysis, Whily, 2003.
[10] J. Lennox and H. Schulzrinne, “Feature interaction in internet telephony,” Sixth Feature Interaction in Telecommunications and Software Systems Workshop, IOS Press, pp. 38-50, May 2000.
[11] Ligang Wang, J. William Atwood and Anjali Agarwal, “Validation of SIP/H.323 interworking using SDL/MSC, SDL”, System Design. Lecture Notes in Computer Science, Vol. 2708, pp. 335-351, 2003.
[12] D. Seo, H. Lee, E. Nuwere, Sipad, “SIP-VOIP anomaly detection using a stateful rule tree,” Comput. Commun. 36 (5), pp. 562–5, 2013.