Computer Science ›› 2014, Vol. 41 ›› Issue (7): 114-118.doi: 10.11896/j.issn.1002-137X.2014.07.023

Previous Articles     Next Articles

Research on OpenFlow Modeling Based on Hierarchical CPN

LI Hua,HE Nan,DONG Lu-lu and LV Liang-liang   

  • Online:2018-11-14 Published:2018-11-14

Abstract: CPN is a formal method which has been adopted in a wide range of research and application especially applications 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),and then gave and introduced in detail the hierarchical CPN models of OpenFlow switch,controller,and its OpenFlow 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 execution of CPN model.There was a simple analysis to properties of the model by CPN Tools for its liveness and boundedness.Finally,the research work in the future was considered.

Key words: CPN,Modeling,OpenFlow

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[2] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[3] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[4] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[5] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[6] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[7] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[8] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[9] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .
[10] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99, 116 .