|
|||||
|
|
| BitTorrent协议的Petri网建模方法研究 | |
| 引用本文： | 刘靖,叶新铭,李军.BitTorrent协议的Petri网建模方法研究[J].系统仿真学报,2011,23(11):2312-2320. |
| 作者姓名： | 刘靖 叶新铭 李军 |
| 作者单位： | 1. 中国科学院计算技术研究所,北京100190／中国科学院研究生院,北京100039 2. 内蒙古大学计算机学院,呼和浩特,010021 3. 中国科学院计算技术研究所,北京,100190 |
| 基金项目： | 国家自然科学基金(60863015,60873242); 内蒙古自然科学基金重点项目(20080404ZD20); 教育部春晖计划(Z2007-1-01042) |
| 摘 要： | BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用，但其交互行为复杂且并发度高，难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法，给出协议的着色Petn网层次模型，集戍模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析。确认协议模型有效性，并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明，而且便于协议行为模拟和协议属性分析，有效缓解大规模系统建模分析过程中存在的状态爆炸问题。 |
| 关 键 词： | BitTorrent协议 着色Petri网 层次建模 模型确认 模型检验 |
Towards Formal Modeling Methodology of BitTorrent Based on Petri Nets |
|
| LIU Jing,YE Xin-ming,LI Jun.Towards Formal Modeling Methodology of BitTorrent Based on Petri Nets[J].Journal of System Simulation,2011,23(11):2312-2320. | |
| Authors: | LIU Jing YE Xin-ming LI Jun |
| Institution: | LIU Jing1,3,YE Xin-ming2,LI Jun1(1.Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China,2.College of Computer Science,Inner Mongolia University,Hohhot 010021,3.Graduate University of Chinese Academy of Sciences,Beijing 100039,China) |
| Abstract: | BitTorrent is widely adopted in P2P applications,such as large-scale file sharing and video streaming.However,due to its intricate communication and concurrency,it is difficult to construct a formal model with modest size to support the practical and efficient analysis of protocol functional behaviors.A colored Petri Nets based hierarchical modeling architecture was proposed,and detailed model instances were constructed.Then towards different model abstract levels,simulation,state spaces analysis and model ... |
| Keywords: | BitTorrent colored Petri nets hierarchical modeling model validation model checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |