论文SIP协议系统模型的形式化研究.docVIP

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请求收到的时候联系用户并做出基于用户的响应。SIP Servers主要包括注册服务器RS(Registrar Server)，用来处理来自UAC的请求注册用户的位置信息；代理服务器PS(Proxy Server)，它是一种中介设置，主要用来接收一个客户端的请求并继续向前传递该请求，基本上，代理服务器接收SIP消息，然后转发到下一个SIP服务器，代理服务器也可以提供一些机制，例如鉴权、授权、网络接口控制、路由、传播的可靠性及安全性等问题；重定向服务器ReS(Redirect Server)，用来给用户提供下一跳的信息或消息应该经过的跳数，使用户可以直接联系下一跳或直接和目标客户端联系。另外，在一个扩展的SIP系统中，SIP服务器还包括LDAP(LightweightDirectory Access Protocol)服务器、位置服务器LS(Location Servers)、数据库服务器(Database Servers)、XML服务器(Extensible Markup Language)等。1.2 典型SIP系统　　SIP系统分为四种类型结构：　　SIP注册结构在此系统结构中包含两个实体：UA和RS，用户代理需要在RS上进行注册以确定自己的身份，把自己连入网络。　　SIP端到端结构在此系统结构中包含两个对等实体：UA1和UA2，它是双方直接进行通信的简单实例。　　代理模式结构在此系统结构中包含四个实体：两个UA，LS和PS，UA1向PS发出会话请求，然后PS向LS查询UA2的信息并向UA2发出会话请求，UA2向PS回复确认信息，PS给UA1回复确认信息，UA1向给UA2发确认信息，然后开始通话，任何一方可终止会话，并给对方发出终止消息。 　　重定向模式结构在此系统结构中包含四个实体：两个UA，LS和PS，UA1向PS发出会话请求，然后PS向LS查询UA2的信息，PS给UA1回复UA2的信息，UA1给UA2发会话邀请信息，UA2给UA1发确认信息，然后开始通话，任何一方可终止停止会话，并给对方发出终止消息。2 SIP协议系统模型的形式化描述　　SDL语言能够对协议提供规范的、无二异性的描述，用它来描述复杂协议系统的结构可以保证协议描述的正确性和可靠性。用SDL语言描述的系统一般包括4个等级：系统，功能块，进程和代码段。在进程中用扩展状态机详细地描述系统的动态行为，利用时间和定时器描述不同功能块之间通信接口的抽象模型利用信道信号描述通信的处理过程。2.1 SIP协议主要系统模型 　　SIP协议使用广泛，由它本身组成的系统或与其他协议组成的通信系统比较多，由于篇幅有限，仅列出SIP代理系统模型。　　在SIP代理系统模型中，其主要功能块分为UA，PS和LS。其中UA组件是会话客户端，是用来发起会话请求、接受请求并回复、进行通话的实体；PS用来转发UA的请求和回复及向LS查询位置信息并结合会话请求回复邀请的客户端，另外还提供一些其他的服务代理等；LS主要提供UA的位置信息，如图1所示。 2.2 SIP协议系统模型主要功能块　　在SIP系统模型中，主要包含UA功能块，PS功能块，LS功能块，RS功能块等。由于篇幅有限，仅列出UA功能块和PS功能块的形式化工作。2.2.1 SIP UA功能块　　SIP UA功能块包含四个进程块，事务处理控制进