计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
7期
122-129
,共8页
SIP%时间着色Petri网%协议验证%死锁分析
SIP%時間著色Petri網%協議驗證%死鎖分析
SIP%시간착색Petri망%협의험증%사쇄분석
SIP%Timed colored Petri nets%Protocol verification%Deadlock analysis
随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题.充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证;同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因.提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性.
隨著SIP(Session Initiation Protocol)被3G通信選擇為下一代移動網絡的會話控製機製,保證SIP協議設計和實現無缺陷、運行穩定可靠成為SIP協議應用過程中亟需研究和解決的關鍵問題.充分利用時間著色Petri網(Timed Colored Petri Nets,TCPN)在描述和分析具有複雜交互行為及時間約束的繫統方麵的優勢,給齣瞭SIP協議的層次TCPN模型,併集成多種模型分析技術,完成SIP協議設計的正確性驗證;同時通過正則錶達式完成協議模型的生成路徑分析,指齣其中存在的死鎖狀態併分析原因.提齣瞭相應的協議設計改進方案,驗證瞭設計方案的正確性,從而有效增彊瞭SIP協議在實際應用中的可行性和可靠性.
수착SIP(Session Initiation Protocol)피3G통신선택위하일대이동망락적회화공제궤제,보증SIP협의설계화실현무결함、운행은정가고성위SIP협의응용과정중극수연구화해결적관건문제.충분이용시간착색Petri망(Timed Colored Petri Nets,TCPN)재묘술화분석구유복잡교호행위급시간약속적계통방면적우세,급출료SIP협의적층차TCPN모형,병집성다충모형분석기술,완성SIP협의설계적정학성험증;동시통과정칙표체식완성협의모형적생성로경분석,지출기중존재적사쇄상태병분석원인.제출료상응적협의설계개진방안,험증료설계방안적정학성,종이유효증강료SIP협의재실제응용중적가행성화가고성.
