计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 66-70, 106.doi: 10.11896/j.issn.1002-137X.2016.11.012

• 2015 第十五届全国Petri 网理论与应用学术会议 • 上一篇    下一篇

基于Token选取的OpenStack单一平面网络建模方法

李华,邢熠,张玉荣   

  1. 内蒙古大学计算机学院 呼和浩特010021;内蒙古大学网络信息中心 呼和浩特010021,内蒙古大学计算机学院 呼和浩特010021,内蒙古大学计算机学院 呼和浩特010021
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家自然科学基金项目(61163011,61262082)资助

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

摘要: CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统的CPN建模中,token的选取采用穷举法,由此造成生成的token数量较多、CPN模型生成的状态空间相当庞大甚至状态空间爆炸等问题。针对上述问题,提出将符号执行与CPN建模相结合,并在CPN模型的执行过程中采用一种基于token选取的方法,进而得到CPN模型的状态可达图。通过对OpenStack云平台支持创建的单一平面网络进行CPN建模,针对传统方法和所提方法生成的状态空间,分析了其规模的变化,验证了所提方法的有效性。

关键词: CPN,符号执行,token选择,OpenStack,单一平面网络

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   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75, 88 .
[2] 夏庆勋,庄毅. 一种基于局部性原理的远程验证机制[J]. 计算机科学, 2018, 45(4): 148 -151, 162 .
[3] 厉柏伸,李领治,孙涌,朱艳琴. 基于伪梯度提升决策树的内网防御算法[J]. 计算机科学, 2018, 45(4): 157 -162 .
[4] 王欢,张云峰,张艳. 一种基于CFDs规则的修复序列快速判定方法[J]. 计算机科学, 2018, 45(3): 311 -316 .
[5] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[6] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[7] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[8] 刘琴. 计算机取证过程中基于约束的数据质量问题研究[J]. 计算机科学, 2018, 45(4): 169 -172 .
[9] 钟菲,杨斌. 基于主成分分析网络的车牌检测方法[J]. 计算机科学, 2018, 45(3): 268 -273 .
[10] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99, 116 .