SIP协议系统模型的形式化研究  

Formal Research of SIP Protocol System Model

作　　者：李中华[1] 穆维新[1] 刘润杰[1] 申金媛[1] 

机构地区：[1]郑州大学信息工程学院,河南郑州450001

出　　处：《现代电子技术》2009年第7期151-153,156,共4页Modern Electronics Technique

基　　金：河南省杰出青年基金资助项目(512000400);河南省教育厅自然科学研究计划项目资助(2008B120010)

摘　　要：通信协议形式化是提高其可靠性和正确性的重要手段。会话初始协议SIP是软交换的一个主要协议,应用形式化方法研究了SIP协议的结构及系统模型,主要从系统级和功能级上使用形式化规格描述语言SDL和消息顺序图MSC对SIP协议主要系统组件进行形式化描述,得到了SIP协议的形式化规范,并应用形式化方法进行了验证。为SIP协议部件库研究开发提供形式化技术基础。With the development of network technology, communication protocol is more and more complex. Session Initiation Protocol（SIP） is a core signaling control protocol for soft switch. To begin with SIP protocol system model,SIP protocol structure and major system model. The formal specification of SIP system model is given using specification and description language and message sequence chart. This work provides a foundation for formal exploitation of the communication protocol component librarys.

关 键 词：形式化规范 SIP协议 SDL MSC 

分 类 号：TN915[电子电信—通信与信息系统]