基于层次CPN的OpenFlow建模研究  

Research on OpenFlow Modeling Based on Hierarchical CPN

作　　者：李华[1,2] 贺楠[1] 董路路[1] 吕亮亮[1] 

机构地区：[1]内蒙古大学计算机学院,呼和浩特010020 [2]内蒙古大学网络中心,呼和浩特010020

出　　处：《计算机科学》2014年第7期114-118,共5页Computer Science

基　　金：国家自然基金项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011);内蒙古自然基金项目:面向网络关键软件的可信属性的形式化建模及测试方法研究(2011MS0912)资助

摘　　要：CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制。在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程。通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性。最后给出了下一步的研究工作。CPN is a formal method which has been adopted in a wide range of research and application especially appli- cations of the network protocols and the industrial systems. OpenFlow is a new network transfer model, containing OpenFlow switch and controller. This paper first introduced the OpenFlow protocol and the CPN （Coloured Petri Nets）, atld then gave and introduced in detail the hierarchical CPN models of OpenFlow switch, controller, and its Open- Flow protocol. The working mechanism of OpenFlow was reflected fully. The selections of token and variable definitions were in consideration in detail in the process of modeling. The OpenFlow dynamic work process was described by execu- tion of CPN model. There was a simple analysis to properties of the model by CPN Tools for its liveness and bounded- ness. Finally, the research work in the future was considered.

关 键 词：CPN 建模 OpenFlow 

分 类 号：TP393.06[自动化与计算机技术—计算机应用技术]