论文：SIP协议系统模型的形式化研究讲述.doc

SIP协议系统模型的形式化研究0 引言　　随着通信技术的快速发展，网络通信技术的要求不断提高，在通信技术中具有决定作用的通信协议的功能也不断完善且更加复杂。ITU-T的Z.100建议SDL(Specification and Description Language)语言可以定义通信协议的分层结构和协议各部分间的相互联系及接口，使用SDL语言描述、分析通信协议，能够提高通信软件开发效率和可靠性。　　SIP(Session Initiation Protocol)是由IETF提出的在IP网络上进行多媒体通信的控制层协议，SIP被描述为用来生成、修改和终结一个或多个参与者之间的会话。该文首先总结SIP协议系统结构，然后采用SDL来描述SIP协议的系统模型，并对一些特殊情况进行了模拟，验证了SIP协议形式化描述的正确性。1 SIP协议结构1.1 SIP系统组成　　从结构和功能上划分，SIP系统分为两个部分：SIP客户端(SIP Clients)和SIP服务器(SIP Servers)。SIP Clients主要指用户代理UA(User Agent)，它可以细划为2个部分：用户代理客户端UAC(User AgentClient)，主要用来发起SIP请求；用户代理服务器(User Agent Server)，其作用是：当一个SIP请求收到的时候联系用户并做出基于用户的响应