融合网络中SIP协议的SDL形式化研究  

作　　者：刘业 

机构地区：[1]苏州市职业大学计算机工程学院

出　　处：《中国新通信》2022年第14期25-27,共3页China New Telecommunications

摘　　要：作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本文利用SDL语言对SIP协议进行形式化研究,包括协议交互消息的形式化定义,用户代理客户端/服务器端的形式化描述,客户端/服务器端请求事务的内部流程形式化等工作,进而使用SDL语言形式化地描述了SIP呼叫建立的完整流程。这样当我们在SIP协议的基础上进行新型应用协议开发时候,可以在开发初期将协议一致性、可达性、活锁、死锁等协议验证工作做好,提前将部分协议错误在设计初期找出来,以加快企业新型应用的开发效率。

关 键 词：SIP 形式化描述语言 协议 融合网络 

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