基于SDL语言的SIP协议的形式化研究  

Formal Description of SIP in SDL

作　　者：赵静峰[1] 张力军[1] 

机构地区：[1]北京航空航天大学计算机学院,北京100083

出　　处：《计算机与数字工程》2006年第7期4-6,10,共4页Computer & Digital Engineering

基　　金：863计划课题(2003AA115420)

摘　　要：会话初始协议SIP作为推荐的Internet会议和VoIP应用层信令控制协议,在RFC中没有严格地给出其行为的形式化模型。介绍了SIP协议,简要阐述了SDL(specification and description language)的基本概念及使用它描述网络协议的优点,并利用SDL给出了SIP协议的形式化描述,为进一步的协议实现和验证奠定了基础。Session Initiation Protocol （SIP）, as a proposed signaling control protocol for Internet conference and VoIP, its formal behavior model has not been defined in RFCs. SIP behavior mechanism is introduced. The basic concept of SDL and advantages to develop communication protocols are discussed. The formal specification of SIP is given. This work lays a solid foundation for further implementation and validation of the protocol.

关 键 词：SIP协议 SDL 形式化 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]