基于层次CPN的OpenFlow建模研究

发布时间：2018-03-07 06:39

  本文选题：CPN　切入点：建模　出处：《计算机科学》2014年07期 　论文类型：期刊论文

【摘要】：CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制。在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程。通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性。最后给出了下一步的研究工作。
[Abstract]:As a formal method, CPN has been widely studied and applied, especially in network protocols and industrial systems. OpenFlow is a new network switching model. This paper first introduces the OpenFlow protocol and CPN(Coloured Petri network, and then models the OpenFlow network based on hierarchical CPN. The model of each layer is described in detail, which fully reflects the working mechanism of OpenFlow. The selection of token and the definition of variables in the model are considered in detail, so that the execution of the CPN model can describe the dynamic working process of OpenFlow. The properties of the model are simply analyzed by the state space generated by the CPN tool, and its activity is proved. Finally, the further research work is given.
【作者单位】： 内蒙古大学计算机学院;内蒙古大学网络中心;
【基金】：国家自然基金项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011) 内蒙古自然基金项目:面向网络关键软件的可信属性的形式化建模及测试方法研究(2011MS0912)资助
【分类号】：TP301.1;TP393.04

【共引文献】

相关期刊论文 前10条

1 汪红兵;徐安军;姚琳;田乃媛;;基于CPN炼钢连铸制造流程的建模与最优调度求解[J];北京科技大学学报;2010年07期

2 张常有;曹元大;胡晶晶;靳军;于炯;;基于Petri网的Web服务组合分析方法[J];北京理工大学学报;2009年07期

3 张常有;张昱;曹元大;李桂红;段淑凤;;基于Petri网的对等资源访问控制协议仿真[J];北京理工大学学报;2010年08期

4 王凯;刘毅;李文正;;协同工作模式下飞机总体布置设计过程建模[J];重庆大学学报;2012年02期

5 杨晓松;武小悦;;航天测控系统任务可靠性分析的EOOPN模型[J];国防科技大学学报;2013年05期

6 胡涛;杨春辉;杨建军;;基于CPN的复杂装备系统维修任务建模仿真研究[J];海军工程大学学报;2008年06期

7 杨年华;虞慧群;;基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证[J];华东理工大学学报(自然科学版);2010年03期

8 高江林;吴晓燕;;基于UML的任务空间概念模型动态行为验证研究[J];航天控制;2012年01期

9 孙涛;叶新铭;刘靖;杨蒙;;一种基于CPN的协议测试序列生成方法[J];解放军理工大学学报(自然科学版);2012年02期

10 刘陶;何炎祥;熊琦;;一种基于Q学习的LDoS攻击实时防御机制及其CPN实现[J];计算机研究与发展;2011年03期

相关博士学位论文 前10条

1 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年

2 彭荣群;基于语义的NGN自适应业务提供关键技术研究[D];南京邮电大学;2012年

3 王飞杰;城轨CBTC智能调度指挥系统关键技术的研究[D];北京邮电大学;2011年

4 杨春辉;基于CPN的面向任务指挥控制组织建模、仿真及优化方法研究[D];国防科学技术大学;2008年

5 王焱;服务元网络体系结构及其关键技术研究[D];电子科技大学;2008年

6 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年

7 王永翔;TCN底层协议建模与实现[D];北京交通大学;2009年

8 贾文峥;大型铁路客运站的进路分配问题及缓冲时间研究[D];北京交通大学;2010年

9 王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;2012年

10 冯晓静;面向服务的异构多核片上系统的关键技术研究及实现[D];中国科学技术大学;2013年

相关硕士学位论文 前10条

1 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年

2 刘云;数字家庭无线射频协议的形式化分析与研究[D];华东理工大学;2011年

3 修桂生;CTCS-3级列车载设备测试平台—列车运行仿真器的建模与实现[D];北京交通大学;2011年

4 陈润芝;可编程图形环境下自动制造系统分析与控制[D];西安电子科技大学;2011年

5 杨淳清;基于OO-TDPN的IRFPA非均匀性校正系统建模研究[D];西华大学;2011年

6 马豹;基于OOTCPN模型的嵌入式系统设计方法研究[D];西华大学;2011年

7 周霞;基于面向对象Petri网的Web服务组合研究[D];曲阜师范大学;2011年

8 白红英;基于CPN和TTCN-3的HMIPv6协议一致性测试研究[D];内蒙古大学;2011年

9 康智辉;基于属性的层次移动IPv6（HMIPv6）协议的验证[D];内蒙古大学;2011年

10 张宇琼;基于高级Petri网的自适应OFDMA系统接纳控制CPN建模[D];郑州大学;2011年

【相似文献】

相关硕士学位论文 前3条

1 冯靖君;基于OpenFlow网络的Qos集中管理系统的研究与实现[D];北京邮电大学;2012年

2 孙梦;IPv6下基于OpenFlow技术的QoS管理系统的设计[D];大连理工大学;2011年

3 杨明;大型网络试验平台的资源管理与状态轮询系统设计与实现[D];北京邮电大学;2012年

，

本文编号：1578362