计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 122-129.doi: 10.11896/j.issn.1002-137X.2014.07.025
刘靖,叶新铭,马元飞
LIU Jing,YE Xin-ming and MA Yuan-fei
摘要： 随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证；同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因。提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性。
| [1] Rosenberg J,Schulzrinne H,Camarillo G,et al．RFC 3261,SIP:Session Initiation Protocol[S]．Internet Engineering Task Force,2002 [2] 张智江,张云勇,刘韵洁．SIP协议及其应用[M]．北京:电子工业出版社,2005 [3] Jensen K,Kristensen L M.Coloured Petri Nets:Modelling and Validation of Concurrent Systems[M]．Berlin:Springer,2009 [4] 王东敏．基于Petri网的SIP协议一致性测试套的设计与实现[D]．北京:北京邮电大学,2011 [5] 郝建国,邹嘉,戴一奇．基于Hash链的SIP服务实时支付方案[J]．清华大学学报:自然科学版,2009,49(12):581-585 [6] 陈效庭．基于SIP协议的IP智能网的应用及容灾测试分析[D].上海:上海交通大学,2010 [7] Paolo D,Jaume N,Josep M,et al．Interworking Scheme Using Optimized SIP Mobility for Multi-Homed Mobile Nodes in Wireless Heterogeneous Networks[C]∥Proc．of the IEEE 71st Vehicular Technology Conference．Taipei,China,2010:1-6 [8] Boucadair M．Migrating SIP-based Conversational Services toIPv6:Complications and Interworking with IPv4[C]∥Proc．of the 2nd International Conference on Digital Telecommunications． San Jose,USA,2007:2-3 [9] Ding L G,Liu L．Modelling and analysis of the INVITE transaction of the session initiation protocol using coloured Petri nets[C]∥Proc．of 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency．Xi’an,China,2008:132-151 [10] Liu L.Verification of the SIP transaction using coloured Petri net[C]∥Proc．of the 32nd Australasian Computer Science Conference．Wellington,New Zealand,2009:75-84 [11] Gehlot V.Colored Petri Net model of the Session InitiationProtocol(SIP)[C]∥Proc．of 36th Annual Conference on IEEE Industrial Electronics Society．Phoenix,USA,2010:2150-2155 [12] 杨鹏,袁占亭,王继曾．基于广义随机Petri网的SIP的验证和性能分析[J]．系统仿真学报,2007,19(S1):151-154 [13] Westergaard M.CPN Tools．http:// cpntools.org,2013 [14] Graphviz．http://www.graphviz.org,2013 |
| No related articles found! |
|
||
首页