论文信息 - Colored Petri Net model of the Session Initiation Protocol (SIP)

Colored Petri Net model of the Session Initiation Protocol (SIP)

The Session Initiation Protocol (SIP) together with its extension for presence and messaging is considered to be an enabler of converged communications. At the core, SIP is a signaling protocol used for establishing sessions in an IP network. SIP has been adopted by 3GPP for multimedia streaming services in cellular networks. This paper presents a formalized and executable Colored Petri Net model of SIP and its components. Since the broader impact of SIP is the realization of SIP-based services, these models can be used to design and analyze such services for desired behaviors prior to implementation.

Vijay Gehlot | Carmen Nigro | V. Gehlot | Carmen Nigro

[1] Vijay Gehlot,et al. A Case Study in Defining Colored Petri Nets Based Model Driven Development of Enterprise Service Oriented Architectures , 2009 .

[2] Jonathan Billington,et al. A Coloured Petri Net Approach to Protocol Verification , 2003, Lectures on Concurrency and Petri Nets.

[3] 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.

[4] Mark Handley,et al. SIP: Session Initiation Protocol , 1999, RFC.

[5] Christian Huitema,et al. Session Initiation Protocol (SIP) Extension for Instant Messaging , 2002, RFC.

[6] V. Gehlot,et al. Model Driven Development of a Service Oriented Architecture ( SOA ) Using Colored Petri Nets , 2006 .

[7] Lin Liu,et al. Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets , 2008, Petri Nets.

[8] Lars Michael Kristensen,et al. Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[9] Lin Liu,et al. Verification of the SIP Transaction Using Coloured Petri Nets , 2009, ACSC.