本文關(guān)鍵詞：基于時(shí)間著色Petri網(wǎng)的OpenFlow協(xié)議建模研究

  更多相關(guān)文章： 時(shí)間著色Petri網(wǎng) OpenFlow協(xié)議 建模 驗(yàn)證 測(cè)試

【摘要】：介紹了Hierarchy CPN的相關(guān)定義,然后對(duì)OpenFlow協(xié)議進(jìn)行了基于時(shí)間著色CPN建模.在建模過(guò)程中,詳細(xì)考慮了Token Colour的選取與相關(guān)變量的定義,并考慮了時(shí)間屬性,針對(duì)建模的性能進(jìn)行了分析.執(zhí)行上述模型并進(jìn)行驗(yàn)證分析,得出變遷發(fā)生次數(shù)與所需時(shí)間基本符合穩(wěn)態(tài)分布這一事實(shí),滿足預(yù)期的要求.對(duì)所構(gòu)建模型進(jìn)行自定義查詢分析,依據(jù)模型活性、死鎖、可達(dá)性等特性構(gòu)建相應(yīng)的抽象路徑,用于指導(dǎo)抽象測(cè)試?yán)纳?
【作者單位】： 內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院;內(nèi)蒙古財(cái)經(jīng)大學(xué)網(wǎng)絡(luò)中心;內(nèi)蒙古大學(xué)網(wǎng)絡(luò)中心;
【關(guān)鍵詞】： 時(shí)間著色Petri網(wǎng) OpenFlow協(xié)議 建模 驗(yàn)證 測(cè)試
【基金】：賽爾網(wǎng)絡(luò)下一代互聯(lián)網(wǎng)技術(shù)創(chuàng)新項(xiàng)目(NG112015112)
【分類號(hào)】：TP393.0;TP301.1
【正文快照】： 形式化建模方法因?yàn)閲?yán)密的數(shù)學(xué)理論支撐與成熟的分析方法,在系統(tǒng)設(shè)計(jì)、分析與驗(yàn)證、測(cè)試?yán)碚摷败浖_(kāi)發(fā)等中扮演著重要的角色.根據(jù)說(shuō)明目標(biāo)軟件系統(tǒng)的方式,形式化方法分為面向模型與面向?qū)傩缘姆椒?不同的形式化方法,如有限狀態(tài)機(jī)FSM(finite state machine)[1]、帶標(biāo)記轉(zhuǎn)換系

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 蔡進(jìn)科;顧華璽;盧冀;余曉杉;;基于Openflow網(wǎng)絡(luò)的高可靠性虛擬網(wǎng)絡(luò)映射算法[J];電子與信息學(xué)報(bào);2014年02期

2 孫英英;李戰(zhàn)懷;李寧;石琳;;基于OpenFlow的虛擬網(wǎng)絡(luò)架構(gòu)的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)與現(xiàn)代化;2014年01期

3 王智輝;;OpenFlow創(chuàng)造網(wǎng)絡(luò)新格局[J];信息系統(tǒng)工程;2013年02期

4 王明昊;;淺談SDN—軟件定義網(wǎng)絡(luò)與OpenFlow技術(shù)[J];數(shù)字技術(shù)與應(yīng)用;2013年03期

5 蔣培成;陳鳴;李兵;;OpenFlow軟交換機(jī)的性能測(cè)量[J];重慶郵電大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年01期

6 周昭;林昭文;;基于OpenFlow的數(shù)據(jù)流管控系統(tǒng)的研究與實(shí)現(xiàn)[J];軟件;2013年12期

7 何\，

本文編號(hào)：1111207