典型文献
融合网络中SIP协议的SDL形式化研究
文献摘要：
作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的"协议标准".近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发.本文利用SDL语言对SIP协议进行形式化研究,包括协议交互消息的形式化定义,用户代理客户端/服务器端的形式化描述,客户端/服务器端请求事务的内部流程形式化等工作,进而使用SDL语言形式化地描述了SIP呼叫建立的完整流程.这样当我们在SIP协议的基础上进行新型应用协议开发时候,可以在开发初期将协议一致性、可达性、活锁、死锁等协议验证工作做好,提前将部分协议错误在设计初期找出来,以加快企业新型应用的开发效率.
文献关键词：
SIP;形式化描述语言;协议;融合网络
中图分类号：
作者姓名：
刘业
作者机构：
苏州市职业大学 计算机工程学院
文献出处：
引用格式：
[1]刘业-.融合网络中SIP协议的SDL形式化研究)[J].中国新通信,2022(14):25-27
A类：
SparkleComm,形式化描述语言
B类：
融合网络,SIP,SDL,语音业务,VoIP,网络应用,可扩展性,网络层,应用层,成为事实,议标,国内企业,视频会议,即是,客户端,服务器端,请求,语言形式,呼叫,整流,新型应用,开发初期,可达性,死锁,设计初期,开发效率
AB值：
0.33275
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
