A Review of Formal Descriptions of Session Initiation Protocol

The Session Initiation Protocol is used for establishing peer-to-peer sessions with one or more participants. Internet telephone calls, multimedia distribution, conference calls, and multiplayer online games are examples of these sessions. Since formal description is the first step of modeling and analysis of a system, this paper reviews formal descriptions of this protocol and suggests ideas to build more realistic model.

[1]  Vijay Gehlot,et al.  Colored Petri Net model of the Session Initiation Protocol (SIP) , 2010, IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society.

[2]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[3]  Marina Bagic Babac,et al.  Model-based verification of the SIP invite scenario , 2013, 2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO).

[4]  Jaegeol Yim,et al.  Petri Net Based Semantic Web Service Composition , 2014, MUE 2014.

[5]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.