SIP协议的分层TPN建模.docVIP

SIP协议的分层TCPN建模 3G通信选择会话初始化协议SIP作为下 一代的移动网络回话操控机制，在SIP协议［1］实际运 行过程中迫切需要深入研究和解决的重要问题包括： 确保协议在设计上无缺陷；运行过程稳定且具有高可 靠性。TCPN在分析和描述具有较复杂时间约束和交 互行为领域具有相当的优势，本文利用TCPN这一优 势设计完成了 SIP的分层TCPN模型。 关键词：会话初始化协议SIP; TCPN；建模；模 型 TP311 A 1009-3044 (2016) 25-0035-02 1引言 第三代合作伙伴3GPP选择SIP协议作为第三代 移动通信系统的IP多媒体子系统(IMS)心灵协议， 是因其具有灵活、无缝和可扩展性，它将逐渐成为下 一代网络NGN中关键控制协议之一。它可以满足多 媒体通信与网络电话的要求，所以很多的通讯公司均 先后研发出了支持SIP的服务产品与终端产品。为充 分适应这些技术的发展，SIP协议需要进行进一步的 完善与扩充，但是如果协议在设计环节出现任何问题 都会给系统带来难以预料的影响，所以为保证协议的 稳定性和安全性，应在早期开发时尽可能挖掘其隐蔽 的问题并找出解决方案。 目前研究SIP协议主要涉及以下几方面:基于SIP 的应用于服务[3]; SIP测试工具和方法；其他协议与 SIP协同工作。因时间着色Petri网TCPN[2]在描述带 有较复杂的交互动作和时间约束的系统过程中具有明 显的优势，故本文以TCPN为模型分析工具进行SIP 协议分层TCPN模型的构造，并在不同状态下实现分 层建模。 2 SIP协议事务处理 SIP协议通过事务进行会话控制，其主要事务有 INVITE、non_INVITE事务。INVITE事务完成会话的 创建，non_INVITE事务则完成会话的保持与关闭。 SIP端系统（User Agent，UA）是连接服务器从而发 送服务请求的一种应用程序。因UA向服务器发送服 务请求并接收来自服务器的响应，故一个UA有UAS （用户代理服务器）和UAC （用户代理客户端）两部 分，这两部分就是SIP协议中的两个最关键的参与者， UAC创建呼叫请求，UAS接受呼叫给出响应。 在SIP的请求消息中，最常用的有INVITE、 REGISTER、CANCEL 和 BYE。其响应消息有 lxx、 2xx、3xx、4xx、5xx 6xx6 种。SIP 的呼叫方式有 3 种：从UAC到UAS的直接呼叫、从UAC发出的重 定向呼叫、代理服务器发起呼叫。本文主要针对应用 最广的直接呼叫进行分层建模。 3 SIP协议TCPN分层建模 本文应用CPN Tools[4]进行INVITE事务的分层 建模，并在不同的抽象层次上描述协议行为细化模型。 这种方法在一个层次中描述协议细节，有利于优化或 局部完善协议模型，也能有效把握模型规模，便于确 认模型与分析协议性质。 SIP协议的TCPN分层模型中的10个模型页分别 处于不同的层次，每页所描述的是对应抽象级别上的 协议功能，低级别页作为高级别页的替代变迁子页。 各层次模型页功能描述如下表1。各层内部模块细化 是依据UAS与UAC在INVITE事务执行过程中具备 的不同状态进行的，因在terminated状态下协议无行 为，而仅表示终止事务，故没有单独描述此状态。 3.1总体流程建模 SIP协议分层TCPN模型的top page （顶级页）如 下图1所示，它总体描述了协议运行的网络拓扑，其 中使用了 2个替代变迁对NET、UAS和UAC在协议 运行过程中的交互行为进行描述。UAC通过NET向 UAS 发送 REQUEST 型数据，UAS 将 RESPONSES 型数据通过NET回传给UACo Client页用以描述UAC的行为，下图2所示为其 页模型。图中的3个替代变迁对应的子页能够更加细 致地描述处于不同状态的UAC端行为。库所Scene 用以描述UAC的行为，变迁TransErr可以模拟协议 在不同条件下出现传输层错误时所采取的处理方式。 3.2网络层建模 下图3所示为NET页模型，描述的是由UAC到 UAS的网络传输建模。库所Schannel_Em记录的是有 多少个消息被成功地传送到了 UAS端，其初值为0。 库所CollectorCTS用以收集不可靠链路丢失的消息。 变迁RCTS与CTOS用以模拟不可靠链路。不可靠链 路的具体建模方式如表2所示。 通过上述时间类型、弧表达式及防卫表达式的应 用，可模拟存在重复数据包、延迟、丢包的不可靠链 路。若对其某些参数做适当的修改，便可动态调整其 链路的可靠性，以此来真实地模拟不可靠链路。 3.3具体行为建模 本文表 1 中的 Sproceeding Ccalling、Cproceeding 等底层模型页描述UAS和U