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

• 作者: 张玉荣 李华 邢熠
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: CPN 符号执行 token选择 OpenStack 单一平面网络
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 2015第十五届全国Petri网理论与应用学术会议
• 页码范围: 66-70,106
• 页数: 6页
• 分类号: TP393.1
• 字数: 6328字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.11.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华	内蒙古大学计算机学院	70	183	7.0	9.0
5	邢熠	内蒙古大学计算机学院	6	4	1.0	2.0
6	张玉荣	内蒙古大学计算机学院	2	0	0.0	0.0