Modelling and analysis of the INVITE transaction of the session initiation protocol using coloured petri nets
Date
2008
Authors
Ding, L.G.
Liu, L.
Editors
van Hee, K.M.
Valk, R.
Valk, R.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008 / van Hee, K.M., Valk, R. (ed./s), vol.5062 LNCS, pp.132-151
Statement of Responsibility
Conference Name
29th International Conference on Applications and Theory of Petri Nets (6 Dec 2007 - 8 Dec 2007 : Xi'an, China)
Abstract
The Session Initiation Protocol (SIP) is a control protocol developed by the Internet Engineering Task Force for initiating, modifying and terminating multimedia sessions over the Internet. SIP uses an INVITE transaction to initiate a session. In this paper, we create a Coloured Petri Net (CPN) model for the INVITE transaction. Then we verify the general properties of the INVITE transaction by analysing the state space of the CPN model. The analysis results show that in most cases the INVITE transaction behaves as expected. However, in some circumstances, the transaction may terminate in an undesirable state while one communication party is still waiting for a response from its peer. Hence, we propose a set of changes to the INVITE transaction to correct the above problem. The result has shown that this revised INVITE transaction satisfies the properties that we have specified, and the undesirable terminal state has been eliminated. © 2008 Springer-Verlag Berlin Heidelberg.
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright status unknown