sip协议的分层tcpn建模

《sip协议的分层tcpn建模》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、SIP协议的分层TCPN建模摘要：3G通信选择会话初始化协议SIP作为下一代的移动网络回话操控机制，在SIP协议［1］实际运行过程中迫切需要深入研究和解决的重要问题包括：确保协议在设计上无缺陷；运行过程稳定且具有高可靠性。TCPN在分析和描述具有较复杂时间约束和交互行为领域具有相当的优势，本文利用TCPN这一优势设计完成了SIP的分层TCPN模型。关键词：会话初始化协议SIP;TCPN；建模；模型中图分类号：TP311文献标识码：A文章编号：1009-3044(2016)25-0035-021引言第三代合作伙伴3GPP选择SIP协议作为第三代移动通信系统的IP多媒体子系统(IMS)

2、心灵协议，是因其具有灵活、无缝和可扩展性，它将逐渐成为下一代网络NGN中关键控制协议之一。它可以满足多媒体通信与网络电话的要求，所以很多的通讯公司均先后研发出了支持SIP的服务产品与终端产品。为充分适应这些技术的发展，SIP协议需要进行进一步的完善与扩充，但是如果协议在设计环节出现任何问题都会给系统带来难以预料的影响，所以为保证协议的稳定性和安全性，应在早期开发时尽可能挖掘其隐蔽的问题并找出解决方案。目前研究SIP协议主要涉及以下几方面:基于SIP的应用于服务[3];SIP测试工具和方法；其他协议与SIP协同工作。因时间着色Petri网TCPN[2]在描述带有较复杂的交互动作和时间

3、约束的系统过程中具有明显的优势，故本文以TCPN为模型分析工具进行SIP协议分层TCPN模型的构造，并在不同状态下实现分层建模。2SIP协议事务处理SIP协议通过事务进行会话控制，其主要事务有INVITE、non_INVITE事务。INVITE事务完成会话的创建，non_INVITE事务则完成会话的保持与关闭。SIP端系统（UserAgent，UA）是连接服务器从而发送服务请求的一种应用程序。因UA向服务器发送服务请求并接收来自服务器的响应，故一个UA有UAS（用户代理服务器）和UAC（用户代理客户端）两部分，这两部分就是SIP协议中的两个最关键的参与者，UAC创建呼叫请求，UAS

4、接受呼叫给出响应。在SIP的请求消息中，最常用的有INVITE、REGISTER、CANCEL和BYE。其响应消息有lxx、2xx、3xx、4xx、5xx>6xx6种。SIP的呼叫方式有3种：从UAC到UAS的直接呼叫、从UAC发出的重定向呼叫、代理服务器发起呼叫。本文主要针对应用最广的直接呼叫进行分层建模。3SIP协议TCPN分层建模本文应用CPNTools[4]进行INVITE事务的分层建模，并在不同的抽象层次上描述协议行为细化模型。这种方法在一个层次中描述协议细节，有利于优化或局部完善协议模型，也能有效把握模型规模，便于确认模型与分析协议性质。SIP协议的TCPN分层模型中的

5、10个模型页分别处于不同的层次，每页所描述的是对应抽象级别上的协议功能，低级别页作为高级别页的替代变迁子页。各层次模型页功能描述如下表1。各层内部模块细化是依据UAS与UAC在INVITE事务执行过程中具备的不同状态进行的，因在terminated状态下协议无行为，而仅表示终止事务，故没有单独描述此状态。3.1总体流程建模SIP协议分层TCPN模型的toppage（顶级页）如下图1所示，它总体描述了协议运行的网络拓扑，其中使用了2个替代变迁对NET、UAS和UAC在协议运行过程中的交互行为进行描述。UAC通过NET向UAS发送REQUEST型数据，UAS将RESPONSES型数据通

6、过NET回传给UACoClient页用以描述UAC的行为，下图2所示为其页模型。图中的3个替代变迁对应的子页能够更加细致地描述处于不同状态的UAC端行为。库所Scene用以描述UAC的行为，变迁TransErr可以模拟协议在不同条件下出现传输层错误时所采取的处理方式。3.2网络层建模下图3所示为NET页模型，描述的是由UAC到UAS的网络传输建模。库所Schannel_Em记录的是有多少个消息被成功地传送到了UAS端，其初值为0。库所CollectorCTS用以收集不可靠链路丢失的消息。变迁RCTS与CTOS用以模拟不可靠链路。不可靠链路的具体建模方式如表2所示。通过上述时间类型、

7、弧表达式及防卫表达式的应用，可模拟存在重复数据包、延迟、丢包的不可靠链路。若对其某些参数做适当的修改，便可动态调整其链路的可靠性，以此来真实地模拟不可靠链路。3.3具体行为建模本文表1中的Sproceeding>Ccalling、Cproceeding等底层模型页描述UAS和UAC在不同状态下处理事件的过程，也就是对协议的具体行为建模。下文以UAC端处于Ccalling状态时的应答消息处理行为为例，阐述具体行为的模型描述方式。下图4所示为UAC处于Ccalling状态