| 基于CPN的RUDP建模与分析 |
| |
| 引用本文： | 赵福奎,卢雷.基于CPN的RUDP建模与分析[J].计算机工程,2012,38(20):290-292. |
| |
| 作者姓名： | 赵福奎 卢雷 |
| |
| 作者单位： | 山东大学计算机科学与技术学院,济南,250101 |
| |
| 摘 要： | 目前可靠用户数据报协议(RUDP)有许多分析方式,但缺少形式化的模型.针对该问题,运用着色Petri网(CPN)对RUDP进行形式化建模,使用CPN Tools对模型进行仿真,通过生成的状态空间报告验证该协议模型的信息一致性、完整性和系统活性等性质.采用3次不同的实验对模型进行性能分析,实验结果显示,该模型的平均重传率为5％,能够模拟RUDP的行为,为研究RUDP提供一种形式化的方法.
|
| 关 键 词： | 可靠用户数据报协议 滑动窗口 着色Petri网 形式化模型 状态空间报告 |
| 收稿时间： | 2011-11-30 |
| 修稿时间： | 2012-01-27 |
Modeling and Analysis of RUDP Based on CPN |
| |
| ZHAO Fu-kui
,
LU Lei.Modeling and Analysis of RUDP Based on CPN[J].Computer Engineering,2012,38(20):290-292. |
| |
| Authors: | ZHAO Fu-kui LU Lei |
| |
| Affiliation: | (School of Computer Science and Technology,Shandong University,Jinan 250101,China) |
| |
| Abstract: | So far,there are many ways used for analyzing Reliable User Datagram Protocol(RUDP),but it lacks a formal model.For this problem,this paper puts forward a formal model for RUDP with Colored Petri Nets(CPN) and using the CPN tools to realize the model and simulate it.The verification of various properties of the protocol model is achieved by means of a state space report produced by the tool.The average retransmission rate is gotten about 5% by three different kinds of tests.The model can basically imitate the behaviors of the RUDP,and gives a formal method to research the RUDP. |
| |
| Keywords: | Reliable User Datagram Protocol(RUDP) sliding window Colored Petri Nets(CPN) formal model state space report |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
