| 基于层次CPN的OpenFlow建模研究 |
| |
| 引用本文： | 李华,贺楠,董路路,吕亮亮.基于层次CPN的OpenFlow建模研究[J].计算机科学,2014,41(7):114-118. |
| |
| 作者姓名： | 李华 贺楠 董路路 吕亮亮 |
| |
| 作者单位： | 内蒙古大学计算机学院 呼和浩特010020;内蒙古大学网络中心 呼和浩特010020;内蒙古大学计算机学院 呼和浩特010020;内蒙古大学计算机学院 呼和浩特010020;内蒙古大学计算机学院 呼和浩特010020 |
| |
| 基金项目： | 本文受国家自然基金项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011),内蒙古自然基金项目:面向网络关键软件的可信属性的形式化建模及测试方法研究(2011MS0912)资助 |
| |
| 摘 要： | CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制。在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程。通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性。最后给出了下一步的研究工作。
|
| 关 键 词： | CPN 建模 OpenFlow |
| 收稿时间： | 2013/4/30 0:00:00 |
| 修稿时间： | 2013/5/29 0:00:00 |
Research on OpenFlow Modeling Based on Hierarchical CPN |
| |
| LI Hu,HE Nan,DONG Lu-lu and LV Liang-liang.Research on OpenFlow Modeling Based on Hierarchical CPN[J].Computer Science,2014,41(7):114-118. |
| |
| Authors: | LI Hu HE Nan DONG Lu-lu and LV Liang-liang |
| |
| Affiliation: | College of Computer Science,Inner Mongolia University,Hohhot 010020,China;Centre of Network and Information,Inner Mongolia University,Hohhot 010020,China;College of Computer Science,Inner Mongolia University,Hohhot 010020,China;College of Computer Science,Inner Mongolia University,Hohhot 010020,China;College of Computer Science,Inner Mongolia University,Hohhot 010020,China |
| |
| Abstract: | |
| |
| Keywords: | CPN Modeling OpenFlow |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
