Modeling of Session Initiation Protocol INVITE Transaction Using Colored Petri Nets (CROSBI ID 178502)
Prilog u časopisu | izvorni znanstveni rad
Podaci o odgovornosti
Baraković, Sabina ; Jevtić, Dragan ; Baraković Husić, Jasmina
engleski
Modeling of Session Initiation Protocol INVITE Transaction Using Colored Petri Nets
Wireless mobile communications have experienced the phenomenal growth through last decades. The advances in wireless mobile technologies have brought about a demand for high quality multimedia applications and services. For such applications and services to work, signaling protocol is required for establishing, maintaining and tearing down multimedia sessions. The Session Initiation Protocol (SIP) is an application layer signaling protocols, based on request/response transaction model. This paper considers SIP INVITE transaction over an unreliable medium, since it has been recently modified in Request for Comments (RFC) 6026. In order to help in assuring that the functional correctness of this modification is achieved, the SIP INVITE transaction is modeled and analyzed using Colored Petri Nets (CPNs). Based on the model analysis, it is concluded that the SIP INVITE transaction is free of livelocks and dead codes, and in the same time it has both desirable and undesirable deadlocks. Therefore, SIP INVITE transaction should be subjected for additional updates in order to eliminate undesirable deadlocks. In order to reduce the cost of implementation and maintenance of SIP, additional remodeling of the SIP INVITE transaction is recommended.
Colored Petri Nets; SIP INVITE; state space; dead marking
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
61
2012.
22-29
objavljeno
2158-1657
2473-3520