基于TCPN的TCP协议形式化描述

摘要：

提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法.采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际运行规程.通过CPN Tools对模型进行动态模拟,仿真结果证明了该模型的正确性.

关键词：TCP协议、赋时着色Petri网、形式化描述、有界性、活性

所属期刊栏目：37

分类号：TP393(计算技术、计算机技术)

资助基金：国家“863”计划基金资助项目2009AA01Z207

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：77-80