基于形式化方法的SIP研究與應(yīng)用.pdf

1、隨著社會的進(jìn)步和通信產(chǎn)業(yè)的發(fā)展，人們的通信需求日益增多，通信質(zhì)量要求日益提高，新的業(yè)務(wù)需求，對現(xiàn)有的通信網(wǎng)絡(luò)和技術(shù)提出了新的要求。IETF(InternetEngineeringTaskForce)提出的信令控制協(xié)議SIP(SessionInniationProtocol)可以方便的創(chuàng)建、修改和終止多媒體會話，具有簡單、開放、可擴展和呼叫與業(yè)務(wù)分離等特點，適于開發(fā)新的網(wǎng)絡(luò)應(yīng)用。SIP能夠?qū)⒍喾N網(wǎng)絡(luò)業(yè)務(wù)組合起來，通過在靈活、開放的SIP應(yīng)

2、用架構(gòu)下合并基于IP網(wǎng)絡(luò)的多種通信服務(wù)，可以降低設(shè)計和部署新服務(wù)系統(tǒng)的成本，以低廉的價格為用戶提供新穎、個性化的網(wǎng)絡(luò)服務(wù)。 SIP中包含兩個基本部分：一個部分是SIP消息，另一個部分是收發(fā)SIP消息的事務(wù)機制。SIP消息部分可看作是規(guī)定了協(xié)議系統(tǒng)中的信息表達(dá)，SIP的事務(wù)機制可看作是協(xié)議系統(tǒng)中的信息傳遞機制。本文著重研究了SIP的事務(wù)機制，并對oSIP(一個SIP協(xié)議棧)中SIP事務(wù)機制的實現(xiàn)，進(jìn)行了詳細(xì)分析和使用SDL(Spe