發(fā)布時間：2018-03-07 06:39

  本文選題：CPN　切入點：建模　出處：《計算機科學(xué)》2014年07期 　論文類型：期刊論文

【摘要】：CPN作為一種形式化方法,得到了廣泛的研究與應(yīng)用,其在網(wǎng)絡(luò)協(xié)議上和工業(yè)系統(tǒng)中的應(yīng)用尤為突出。OpenFlow是一種新的網(wǎng)絡(luò)交換模型,包含OpenFlow交換機和控制器。文中首先介紹了OpenFlow協(xié)議及CPN(Coloured Petri Nets),然后基于層次CPN對OpenFlow網(wǎng)絡(luò)進(jìn)行了建模,對每一層的模型都做了詳細(xì)的說明,充分體現(xiàn)OpenFlow的工作機制。在建模的過程中,詳細(xì)地考慮了模型中token的選取和變量的定義,使得CPN模型的執(zhí)行可以描述OpenFlow的動態(tài)工作過程。通過CPN工具生成的狀態(tài)空間對模型的性質(zhì)進(jìn)行了簡單的分析,證明了它的活性、有界性。最后給出了下一步的研究工作。
[Abstract]:As a formal method, CPN has been widely studied and applied, especially in network protocols and industrial systems. OpenFlow is a new network switching model. This paper first introduces the OpenFlow protocol and CPN(Coloured Petri network, and then models the OpenFlow network based on hierarchical CPN. The model of each layer is described in detail, which fully reflects the working mechanism of OpenFlow. The selection of token and the definition of variables in the model are considered in detail, so that the execution of the CPN model can describe the dynamic working process of OpenFlow. The properties of the model are simply analyzed by the state space generated by the CPN tool, and its activity is proved. Finally, the further research work is given.
【作者單位】： 內(nèi)蒙古大學(xué)計算機學(xué)院;內(nèi)蒙古大學(xué)網(wǎng)絡(luò)中心;
【基金】：國家自然基金項目:面向?qū)傩缘腃PN建模及On the Fly輔助的測試生成方法研究(61163011) 內(nèi)蒙古自然基金項目:面向網(wǎng)絡(luò)關(guān)鍵軟件的可信屬性的形式化建模及測試方法研究(2011MS0912)資助
【分類號】：TP301.1;TP393.04

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 汪紅兵;徐安軍;姚琳;田乃媛;;基于CPN煉鋼連鑄制造流程的建模與最優(yōu)調(diào)度求解[J];北京科技大學(xué)學(xué)報;2010年07期

2 張常有;曹元大;胡晶晶;靳軍;于炯;;基于Petri網(wǎng)的Web服務(wù)組合分析方法[J];北京理工大學(xué)學(xué)報;2009年07期

3 張常有;張昱;曹元大;李桂紅;段淑鳳;;基于Petri網(wǎng)的對等資源訪問控制協(xié)議仿真[J];北京理工大學(xué)學(xué)報;2010年08期

4 王凱;劉毅;李文正;;協(xié)同工作模式下飛機總體布置設(shè)計過程建模[J];重慶大學(xué)學(xué)報;2012年02期

5 楊曉松;武小悅;;航天測控系統(tǒng)任務(wù)可靠性分析的EOOPN模型[J];國防科技大學(xué)學(xué)報;2013年05期

6 胡濤;楊春輝;楊建軍;;基于CPN的復(fù)雜裝備系統(tǒng)維修任務(wù)建模仿真研究[J];海軍工程大學(xué)學(xué)報;2008年06期

7 楊年華;虞慧群;;基于帶抑制弧的時延著色Petri網(wǎng)的嵌入式系統(tǒng)建模與驗證[J];華東理工大學(xué)學(xué)報(自然科學(xué)版);2010年03期

8 高江林;吳曉燕;;基于UML的任務(wù)空間概念模型動態(tài)行為驗證研究[J];航天控制;2012年01期

9 孫濤;葉新銘;劉靖;楊蒙;;一種基于CPN的協(xié)議測試序列生成方法[J];解放軍理工大學(xué)學(xué)報(自然科學(xué)版);2012年02期

10 劉陶;何炎祥;熊琦;;一種基于Q學(xué)習(xí)的LDoS攻擊實時防御機制及其CPN實現(xiàn)[J];計算機研究與發(fā)展;2011年03期

相關(guān)博士學(xué)位論文 前10條

1 楊年華;模型驅(qū)動架構(gòu)中的可信嵌入式軟件建模與分析[D];華東理工大學(xué);2011年

2 彭榮群;基于語義的NGN自適應(yīng)業(yè)務(wù)提供關(guān)鍵技術(shù)研究[D];南京郵電大學(xué);2012年

3 王飛杰;城軌CBTC智能調(diào)度指揮系統(tǒng)關(guān)鍵技術(shù)的研究[D];北京郵電大學(xué);2011年

4 楊春輝;基于CPN的面向任務(wù)指揮控制組織建模、仿真及優(yōu)化方法研究[D];國防科學(xué)技術(shù)大學(xué);2008年

5 王焱;服務(wù)元網(wǎng)絡(luò)體系結(jié)構(gòu)及其關(guān)鍵技術(shù)研究[D];電子科技大學(xué);2008年

6 劉文琦;移動支付系統(tǒng)安全的若干關(guān)鍵問題研究[D];大連理工大學(xué);2008年

7 王永翔;TCN底層協(xié)議建模與實現(xiàn)[D];北京交通大學(xué);2009年

8 賈文崢;大型鐵路客運站的進(jìn)路分配問題及緩沖時間研究[D];北京交通大學(xué);2010年

9 王玉英;基于賦時有色Petri網(wǎng)的Web服務(wù)組合建模驗證與測試技術(shù)研究[D];西安電子科技大學(xué);2012年

10 馮曉靜;面向服務(wù)的異構(gòu)多核片上系統(tǒng)的關(guān)鍵技術(shù)研究及實現(xiàn)[D];中國科學(xué)技術(shù)大學(xué);2013年

相關(guān)碩士學(xué)位論文 前10條

1 李蕾;有色Petri網(wǎng)的動態(tài)性質(zhì)判定及其在組裝生產(chǎn)線中的應(yīng)用[D];山東科技大學(xué);2010年

2 劉云;數(shù)字家庭無線射頻協(xié)議的形式化分析與研究[D];華東理工大學(xué);2011年

3 修桂生;CTCS-3級列車載設(shè)備測試平臺—列車運行仿真器的建模與實現(xiàn)[D];北京交通大學(xué);2011年

4 陳潤芝;可編程圖形環(huán)境下自動制造系統(tǒng)分析與控制[D];西安電子科技大學(xué);2011年

5 楊淳清;基于OO-TDPN的IRFPA非均勻性校正系統(tǒng)建模研究[D];西華大學(xué);2011年

6 馬豹;基于OOTCPN模型的嵌入式系統(tǒng)設(shè)計方法研究[D];西華大學(xué);2011年

7 周霞;基于面向?qū)ο驪etri網(wǎng)的Web服務(wù)組合研究[D];曲阜師范大學(xué);2011年

8 白紅英;基于CPN和TTCN-3的HMIPv6協(xié)議一致性測試研究[D];內(nèi)蒙古大學(xué);2011年

9 康智輝;基于屬性的層次移動IPv6（HMIPv6）協(xié)議的驗證[D];內(nèi)蒙古大學(xué);2011年

10 張宇瓊;基于高級Petri網(wǎng)的自適應(yīng)OFDMA系統(tǒng)接納控制CPN建模[D];鄭州大學(xué);2011年

【相似文獻(xiàn)】

相關(guān)碩士學(xué)位論文 前3條

1 馮靖君;基于OpenFlow網(wǎng)絡(luò)的Qos集中管理系統(tǒng)的研究與實現(xiàn)[D];北京郵電大學(xué);2012年

2 孫夢;IPv6下基于OpenFlow技術(shù)的QoS管理系統(tǒng)的設(shè)計[D];大連理工大學(xué);2011年

3 楊明;大型網(wǎng)絡(luò)試驗平臺的資源管理與狀態(tài)輪詢系統(tǒng)設(shè)計與實現(xiàn)[D];北京郵電大學(xué);2012年

，

本文編號：1578362