计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 114-118.doi: 10.11896/j.issn.1002-137X.2014.07.023
李华,贺楠,董路路,吕亮亮
LI Hua,HE Nan,DONG Lu-lu and LV Liang-liang
摘要： CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Co-loured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制。在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程。通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性。最后给出了下一步的研究工作。
| [1] Lee D,Yannakakis M．Principles and methods of testing finite state machines-a survey[J]．Proceedings of the IEEE,1996,4(8):1090-1123 [2] Tretmans J．A Formal Approach to Conformance Testing[D]．Enschede,Netherlands:University of Twente,1992 [3] Tretmans J．Test generation with inputs,outputs and repetitive quiescence[J]．Software:Concepts and Tools,1996,7(3):103-120 [4] Petrenko A,Yevtushenko N,Huo Jia-ke.Testing TransitionSystems with Input and Output Testers[C]∥ Proc.of 15th IFIP Int.Conf.(LNCS 2644).Berlin Heidelberg:Springer,2003:129-145 [5] Peterson J L．Petri net theory and the modeling of systems[M]．Englewood Cliffs,NJ:Prentic-Hall,Inc．1981 [6] Jensen K．Coloured Petri Nets:Basic Concepts,Analysis Methods and Practical Use[M]∥Practical Use,Monographs in Theoretical Computer Science．Springer 1997 [7] Jensen K,Kristensen L M．Colourd Petri Nets Modelling andValidation of Concurrent System[J]．Int J Softw Tools Technol Transfer,2009(Published online) [8] Billington J,Gupta A K．Effectiveness of Coloured Petri nets for Modeling and Analyzing the Contract Net Protocol[C]∥Proc．of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools(CPN Workshop 2007).2007:49-64 [9] Billington J,Yuan C．On Modelling and Analysing the DynamicMANET On-Demand(DYMO) Routing Protocol[C]∥Transactions on Petri Nets and Other Models of Concurrency III.2009:98-126 [10] Chiang T C,Huang A C,Fu L C．Modeling,Scheduling and Performance Evaluation for Wafer Fabrication:A Queueing Colored Petri-Net and GA-Based Approach[J]．IEEE Transactions on Automation Science and Engineering,2006,3(3):330-337 [11] Fernandes J M,Tjell S,Jorgensen J B．Requirements Enginee-ring for Reactive Systems with Coloured Petri Nets:the Gas Pump Controller Example[C]∥Proc．of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools(CPN Workshop 2007).2007:207-222 [12] 岳婧媛．基于属性的微内核系统调用CPN建模和测试[D].呼和浩特:内蒙古大学,2012 [13] Liu J,Ye X M,Sun T．Towards Formal Modeling and Analysis of BitTorrent using Colored Petri Nets[C]∥Proc．of the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools(CPN Workshop 2009).2009:159-178 [14] 孙涛．基于CP-nets模型的并行软件测试方法的研究[D].呼和浩特:内蒙古大学,2013 [15] Bharti V,Kumar S．Modeling A Protocol Using Coloured Petri Nets[C]∥International Journal of Computer Science and Engineering(IJCSE).2012:98-104 [16] OpenFlow Switch Specification Version 1.3.1．September 2012 [17] McKeown N,Anderson T,Balakrishnan H,et al.OpenFlow:Enabling Innovation in Campus Networks[J]．ACM SIGCOMM Computer Communication Review,2008,8(2):69-74 [18] Jarschel M,Oechsner S,Schlosser D,et al．Modeling and Performance Evaluation of an OpenFlow Architecture[C]∥2011ITC Proceedings of the 23rd International Teletraffic Congress．2011:1-7 [19] Rotsos C,Sarrar N,Uhlig S,et al.OFLOPS:An Open Framework for OpenFlow Switch Evaluation[C]∥13th International Conference,PAM 2012．Vienna,Austria,2012:85-95 [20] Canini M,Venzano D,Pereíni P,et al.A NICE way to testopenflow applications[C]∥Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation．2012:10-23 [21] Canini M,Kostic D,Rexford J．Automating the Testing of OpenFlow Applications[C]∥Infoscience.epfl.ch.2011:1-6 [22] Kuzniar M,Peresini P,Canini M．A SOFT Way for OpenFlowSwitch Interoperability Testing[C]∥SIGCOMM ACM Special Interest Group on Data Communication(CoNEXT’12).2012:265-276 [23] Kuzniar M,Canini M,Kostic D．OFTEN Testing OpenFlowNetworks[C]∥2012European Workshop on Software Defined Networking(EWSDN)．2012:54-60 [24] 贺楠．基于CPN的OpenFlow建模及交互属性测试[D].呼和浩特:内蒙古大学,2013 |
| No related articles found! |
|
||
首页