Computer Science ›› 2016, Vol. 43 ›› Issue (11): 66-70.doi: 10.11896/j.issn.1002-137X.2016.11.012

Previous Articles     Next Articles

Modeling OpenStack Single Plane Network Based on Token Selection

LI Hua, XING Yi and ZHANG Yu-rong   

  • Online:2018-12-01 Published:2018-12-01

Abstract: CPN suits for modelling the hardware and the software systems,which contain a large number behaviors of concurrencies,communication,synchronous sharing,and analyzing system function and performance.In CPN modelling,the traditional exhaustive method of selecting token is adopted,and the large number of token could cause that the generated state space is quite huge so as to bring reachability state explosion.On account of the above problem,this paper combined symbolic execution with CPN modelling,used selection method during the execution of the CPN model,and then obtained the reachability state space of the CPN model.Furthermore,a single plane network created by an OpenStack cloud platform was used as an example to be modeled,and the state space and reachability state generated by the traditional method and the new method were compared.The results show that the proposed method is effective.

Key words: CPN,Symbolic execution,Token selection,OpenStack,Single plane network

[1] Peterson J L.Petri net theory and the modeling of systems[M].Prentice-Hall PTR,1981
[2] Samanta B,Sarkar B.Application of Petri nets for systems mo-deling and analysis[J].OPSEARCH,2012,49(4):334-347
[3] Jensen K.Coloured Petri nets:basic concepts,analysis methods and practical use[M].Springer Science & Business Media,1997
[4] http://cpntools.org
[5] Aalst W M P V D.Petri-net-based workflow management software[C]∥Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems.IEEE Computer Society,1996:114-118
[6] http://www.openstack.org
[7] http://www.ibm.com/developerworks/cn/cloud/ library/1402_chenhy_openstacknetwork
[8] Li Jing-xia,Hou Zi-feng.Application of Colored Petri Net inModel for Web Service Composition[J].Application Research of Computers,2006(1):22-27(in Chinese) 李景霞,侯紫峰.基于颜色Petri网的Web服务组合建模及应用[J].计算机应用研究,2006(1):22-27
[9] Ning Liang,Zhang Zhi-hong.Modeling and analysis of SPINprotocol based on colored Petri net[J].Computer Engineering and Design,2007,28(14):3391-3393(in Chinese) 宁亮,张志鸿.基于有色Petri网的SPIN协议建模与分析[J].计算机工程与设计,2007,28(14):3391-3393
[10] Xiao Bing,Qu Tan.Applying Colored Petri Net in System Mo-deling and Simulation[J].Computer Engineering,2001,27(1):30-32(in Chinese) 肖兵,瞿坦.着色Petri网及其在系统建模与仿真中的应用[J].计算机工程,2001,27(1):30-32
[11] Chen Yong,Hu Xiao-hui,Dang Jian-wu.Research on SPN2 Software Modeling Method Based on Stochastic Petri Nets[J].Computer Engineering,2010,36(17):230-233(in Chinese) 陈永,胡晓辉,党建武.基于随机Petri网的SPN2软件建模方法研究[J].计算机工程,2010,36(17):230-233
[12] Boukredera D,Maamri R,Aknine S.Modeling and Analysis ofReliable Contract Net Protocol Using Timed Colored Petri Nets[C]∥2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence(WI) and Intelligent Agent Technologies(IAT).IEEE,2013,2:17-24
[13] Sun Tao,Ye Xin-ming,Liu Jing,et al.CPN based protocol testing sequence generating method[J].Journal of PLA University of Science and Technology(Natural Science Edition),2012,13(2):165-170(in Chinese) 孙涛,叶新铭,刘靖,等.一种基于CPN的协议测试序列生成方法[J].解放军理工大学学报(自然科学版),2012,13(2):165-170
[14] Billington J,Yuan C.On modelling and analysing the dynamicMANET on-demand(DYMO) routing protocol[M].Springer Berlin Heidelberg,2009
[15] 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
[16] Billington J,Gupta A K.Effectiveness of coloured Petri nets for modelling and analysing the contract net protocol[M]∥Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.2007
[17] Yue Jing-yuan.Property Based CPN Modelling and Testing of Micro-Kernel System Call[D].Inner Mongolia University,2012(in Chinese) 岳婧媛.基于属性的微内核系统调用CPN建模和测试[D].内蒙古大学,2012
[18] Sun Tao.Research on Testing Method for Parallel SoftwareBased on Colored Petri Nets[D].Inner Mongolia University,2012(in Chinese) 孙涛.基于CP-nets模型的并行软件测试方法的研究[D].内蒙古大学,2012
[19] He Nan.OpenFlow Modeling and Interaction Properties Testing Based on CPN[D].Inner Mongolia University,2013(in Chinese) 贺楠.基于CPN的OpenFlow建模及交互属性测试[D].内蒙古大学,2013
[20] Zhao Hui-juan,Sun Wen-hui.Research and Application of Symbolic Execution Based Unit Testing[J].Computer Applications and Software,2012,29(6):182-185(in Chinese) 赵慧娟,孙文辉.基于符号执行的单元测试研究与应用[J].计算机应用与软件,2012,29(6):182-185
[21] Samanta B,Sarkar B.Application of Petri nets for systems mo-deling and analysis[J].Opsearch,2012,49(4):334-347
[22] Dong Lu-lu.Research on the Extension Property Modelling of OpenFlow Protocol and ITS Test Cases Generation[D].Inner Mongolia University,2014(in Chinese) 董路路.OpenFlow协议可扩展性建模方法研究及测试例生成[D].内蒙古大学,2014

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!