基于时间着色 Petri 网的 OpenFlow 协议建模研究OA北大核心CSCDCSTPCD
The modeling research about OpenFlow protocol based TCPN
介绍了 Hierarchy CPN的相关定义，然后对OpenFlow协议进行了基于时间着色CPN建模。在建模过程中，详细考虑了Token Colour的选取与相关变量的定义，并考虑了时间属性，针对建模的性能进行了分析。执行上述模型并进行验证分析，得出变迁发生次数与所需时间基本符合稳态分布这一事实，满足预期的要求。对所构建模型进行自定义查询分析，依据模型活性、死锁、可达性等特性构建相应的抽象路径，用于指导抽象测试例的生成。
The definition of Hierarchy CPN (coloured Petri net ) was introduced firstly ,and then a formal model about OpenFlow protocol was made .In the modelling process ,the choice of token color and the definition of relevant variables detailed was considered .The time factor was also considered , and made analysis about performance .By executing these model ,making verification and analysis ,the fact that the frequency of the transition and the time match no…查看全部>>
李元平;李华;赵俊岚
内蒙古大学 计算机学院，内蒙古呼和浩特010020 内蒙古财经大学网络中心，内蒙古呼和浩特010070内蒙古大学 计算机学院，内蒙古呼和浩特010020
信息技术与安全科学
时间着色Petri网OpenFlow协议建模验证测试
time coloured Petri netOpenFlowmodelverificationtest
《华中科技大学学报（自然科学版）》 2016 (z1)
35-42,8
赛尔网络下一代互联网技术创新项目（NG112015112）．
评论