文献类型：期刊文章

作　　者：李元平[1,2] 李华[1,3] 赵俊岚[2]

Li Yuanping;Li Hua;Zhao Junlan(College of Computer ScienceInformation,Inner Mongolia University,Hohhot 010020,China;Centre of Network and Information,Inner Mongolia University,Hohhot 010020,China;Centre of Network and Information,Inner Mongolia University of Finance and Economics,Hohhot 010070,China)

机构地区：[1]内蒙古大学计算机学院,内蒙古呼和浩特010020 [2]内蒙古财经大学网络中心,内蒙古呼和浩特010070 [3]内蒙古大学网络中心,内蒙古呼和浩特010020

出　　处：《华中科技大学学报（自然科学版）》

基　　金：赛尔网络下一代互联网技术创新项目(NG112015112)

年　　份：2016

卷　　号：44

期　　号：S1

起止页码：35-42

语　　种：中文

收录情况：AJ、BDHX、BDHX2014、CAS、CSCD、CSCD2015_2016、EI(收录号：20164603015838)、IC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成.

关 键 词：时间着色Petri网  OpenFlow协议  建模  验证  测试  

分 类 号：TP393.0] TP301.1[计算机类]