期刊专题

10.11896/j.issn.1002-137X.2014.07.023

基于层次CPN的OpenFlow建模研究

引用
CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出.OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器.文中首先介绍了OpenFlow协议及CPN (Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制.在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程.通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性.最后给出了下一步的研究工作.

CPN、建模、OpenFlow

41

TP393.06(计算技术、计算机技术)

国家自然面向属性的CPN建模及On the Fly辅助的测试生成方法研究61163011;内蒙古自然基金项目:面向网络关键软件的可信属性的形式化建模及测试方法研究2011MS0912

2014-09-16(万方平台首次上网日期,不代表论文的发表时间)

共5页

114-118

暂无封面信息
查看本期封面目录

计算机科学

1002-137X

50-1075/TP

41

2014,41(7)

专业内容知识聚合服务平台

国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”

国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304

©天津万方数据有限公司 津ICP备20003920号-1

信息网络传播视听节目许可证 许可证号:0108284

网络出版服务许可证:(总)网出证(京)字096号

违法和不良信息举报电话:4000115888    举报邮箱:problem@wanfangdata.com.cn

举报专区:https://www.12377.cn/

客服邮箱:op@wanfangdata.com.cn