融合網(wǎng)絡(luò)中SIP協(xié)議的SDL形式化研究

打開文本圖片集

摘要：作為融合網(wǎng)絡(luò)中語音業(yè)務(wù)（VoIP）及新型網(wǎng)絡(luò)應(yīng)用的基礎(chǔ)協(xié)議，SIP協(xié)議的靈活性和可擴(kuò)展性使得它跟網(wǎng)絡(luò)層的IP協(xié)議一樣，在應(yīng)用層成為事實(shí)上的“協(xié)議標(biāo)準(zhǔn)”。近幾年國內(nèi)企業(yè)使用較為廣泛的視頻會(huì)議應(yīng)用SparkleComm即是用SIP協(xié)議進(jìn)行開發(fā)。本文利用SDL語言對SIP協(xié)議進(jìn)行形式化研究，包括協(xié)議交互消息的形式化定義，用戶代理客戶端/服務(wù)器端的形式化描述，客戶端/服務(wù)器端請求事務(wù)的內(nèi)部流程形式化等工作，進(jìn)而使用SDL語言形式化地描述了SIP呼叫建立的完整流程。（剩余3423字）