Abstract

In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for Voiceover-Internet Protocol (VoIP) communications. SIP is based on a client–server infrastructure in which user agents represent the end-terminals as clients, proxy servers handle SIP message routing between the user agents, and registrar servers store the client’s contact information into a location service. By use of timed color set and useful time attributes in tokens defined in CPN tools, timer and time-related problems of SIP are modeled and analyzed. Timer is an important part for SIP, especially the INVITE transaction.

Highlights

  • Communications with Voice over Internet Protocol (IP) (VoIP) have been popular because of developments of Internet

  • Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN)

  • We have modelled and analysed Session Initiation Protocol (SIP) INVITE transaction using timed Coloured Petri Nets

Read more

Summary

Introduction

Communications with Voice over IP (VoIP) have been popular because of developments of Internet. VoIP uses the Internet Protocol (IP) to transmit voice as packets over an IP network. Our current work is aimed at verifying the functional properties of the INVITE transaction. We use Timed Colored Petri Nets (CPNs) [6] as the modeling and analyzing technique. SIP Invite Transaction is modelled and analysed with CPN in [7,8,9,10]. In [8], SIP INVITE transaction was modelled and analysed when the medium is unreliable. Various forms of real-time multimedia session data such as voice, video, or text messages are carried by several protocols [11,12].

Structure of SIP
The INVITE Transaction
INVITE Server Transaction
Petri Nets
Timed Colored Petri Nets
The Basic Definitions of TCPN
Summary of Timers
Software Tools and TCPN
TCPN Model of the INVITE Transaction
State Space Analysis of the INVITE Transaction CPN Model
Conclusions and Future Work
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.