融合网络中SIP协议的SDL形式化研究
打开文本图片集
摘要：作为融合网络中语音业务（VoIP）及新型网络应用的基础协议，SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样，在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本文利用SDL语言对SIP协议进行形式化研究，包括协议交互消息的形式化定义，用户代理客户端/服务器端的形式化描述，客户端/服务器端请求事务的内部流程形式化等工作，进而使用SDL语言形式化地描述了SIP呼叫建立的完整流程。（剩余3423字）