發(fā)布時(shí)間：2017-07-17 02:02

  本文關(guān)鍵詞：基于模型檢測(cè)的服務(wù)規(guī)則路由正確性驗(yàn)證方法

  更多相關(guān)文章： 正確性驗(yàn)證 企業(yè)服務(wù)總線 消息路由 模型檢測(cè) 規(guī)則引擎

【摘要】：基于模型檢測(cè)技術(shù),提出了一種適用于集成了規(guī)則引擎的企業(yè)服務(wù)總線中的消息規(guī)則路由的正確性驗(yàn)證方法。首先將基于規(guī)則的消息路由轉(zhuǎn)換為服務(wù)模型六元組,然后再將服務(wù)模型六元組轉(zhuǎn)換為NuSMV輸入程序,最后通過(guò)NuSMV工具實(shí)現(xiàn)自動(dòng)化驗(yàn)證。給出了一個(gè)貸款審批業(yè)務(wù)的服務(wù)規(guī)則。路由的正確性驗(yàn)證實(shí)例證明了該方法的可行性。
【作者單位】： 杭州電子科技大學(xué)計(jì)算機(jī)學(xué)院;浙江省網(wǎng)絡(luò)系統(tǒng)及信息安全重點(diǎn)實(shí)驗(yàn)室;
【關(guān)鍵詞】： 正確性驗(yàn)證 企業(yè)服務(wù)總線 消息路由 模型檢測(cè) 規(guī)則引擎
【基金】：國(guó)家自然科學(xué)基金(61100043) 浙江省自然科學(xué)基金(LY12F02003) 浙江省重大科技計(jì)劃(2008C11099-1) 浙江省網(wǎng)絡(luò)系統(tǒng)及信息安全重點(diǎn)實(shí)驗(yàn)室基金
【分類(lèi)號(hào)】：TP393.09
【正文快照】： 企業(yè)服務(wù)總線(enterprise service bus,ESB)作為SOA(service oriented architecture)架構(gòu)主要的基礎(chǔ)設(shè)施,已經(jīng)應(yīng)用在電信、金融等多個(gè)領(lǐng)域。當(dāng)使用ESB集成應(yīng)用系統(tǒng)時(shí),各個(gè)應(yīng)用將自己的業(yè)務(wù)功能封裝為服務(wù)部署在總線上,不同應(yīng)用之間的交互通過(guò)服務(wù)的組合和交互完成,具體的傳輸

【參考文獻(xiàn)】

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

1 張廣泉;戎玫;朱雪陽(yáng);何亞麗;石慧娟;;基于XYZ/ADL的Web服務(wù)組合描述與驗(yàn)證[J];電子學(xué)報(bào);2011年S1期

2 王雷;陳歸;金茂忠;;基于約束分析與模型檢測(cè)的代碼安全漏洞檢測(cè)方法研究[J];計(jì)算機(jī)研究與發(fā)展;2011年09期

3 楊娟;曹健;;基于規(guī)則的服務(wù)流程配置模型與系統(tǒng)[J];計(jì)算機(jī)集成制造系統(tǒng);2009年08期

4 張陽(yáng);程亮;;一種基于指針邏輯的代碼安全屬性分析方法[J];計(jì)算機(jī)學(xué)報(bào);2009年06期

5 駱翔宇;譚征;蘇開(kāi)樂(lè);吳立軍;;一種基于認(rèn)知模型檢測(cè)的Web服務(wù)組合驗(yàn)證方法[J];計(jì)算機(jī)學(xué)報(bào);2011年06期

6 周從華;;一種基于滿足性判定的并發(fā)軟件驗(yàn)證策略(英文)[J];軟件學(xué)報(bào);2009年06期

7 桂盛霖;羅蕾;李允;于淼;徐建華;;基于自動(dòng)機(jī)理論的分布式實(shí)時(shí)調(diào)度分析工具[J];軟件學(xué)報(bào);2011年06期

【共引文獻(xiàn)】

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

1 徐猛;崔立真;李慶忠;;基于擴(kuò)展圖規(guī)劃的Top-K服務(wù)組合方法研究[J];電子學(xué)報(bào);2012年07期

2 徐丙鳳;黃志球;胡軍;魏歐;肖芳雄;;一種狀態(tài)事件故障樹(shù)的定量分析方法[J];電子學(xué)報(bào);2013年08期

3 周亮;曹健;陳姣娟;;軟件即服務(wù)流程模型的自動(dòng)演化[J];計(jì)算機(jī)集成制造系統(tǒng);2011年08期

4 王偉然;范玉順;;業(yè)務(wù)服務(wù)配置模型與運(yùn)行機(jī)制[J];計(jì)算機(jī)集成制造系統(tǒng);2011年12期

5 王環(huán)環(huán);詹永照;陳錦富;;可信軟件分析與測(cè)試研究進(jìn)展[J];計(jì)算機(jī)應(yīng)用研究;2011年07期

6 岳昆;楊彥超;田凱琳;;基于歷史調(diào)用日志分析的Web服務(wù)間語(yǔ)義相關(guān)性發(fā)現(xiàn)[J];計(jì)算機(jī)應(yīng)用與軟件;2012年06期

7 金仙力;楊庚;;一種基于ODE的服務(wù)組合自動(dòng)化部署方案[J];計(jì)算機(jī)與數(shù)字工程;2012年10期

8 李允;桂盛霖;陳更;羅蕾;;嵌入式實(shí)時(shí)軟件模型開(kāi)發(fā)環(huán)境研究[J];計(jì)算機(jī)科學(xué);2012年S3期

9 曹帥;王淑營(yíng);劉述雅;;面向產(chǎn)業(yè)鏈協(xié)同SaaS平臺(tái)的業(yè)務(wù)流程定制技術(shù)[J];計(jì)算機(jī)應(yīng)用;2013年05期

10 趙利民;趙玉祥;;C指針安全性的分析檢測(cè)[J];天水師范學(xué)院學(xué)報(bào);2011年02期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前5條

1 覃健誠(chéng);網(wǎng)絡(luò)多層縱深防御體系的關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2011年

2 梁曉兵;面向二進(jìn)制程序漏洞挖掘的相關(guān)技術(shù)研究[D];北京郵電大學(xué);2012年

3 呂國(guó)斌;云計(jì)算環(huán)境下的科學(xué)工作流關(guān)鍵技術(shù)研究[D];中國(guó)地質(zhì)大學(xué);2012年

4 田偉;模型驅(qū)動(dòng)的web應(yīng)用SQL注入安全漏洞滲透測(cè)試研究[D];南開(kāi)大學(xué);2012年

5 林躍東;語(yǔ)義Web服務(wù)組合關(guān)鍵技術(shù)研究及其在物聯(lián)網(wǎng)中的應(yīng)用[D];華南理工大學(xué);2013年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 趙馨智;基于知識(shí)管理的流程設(shè)計(jì)與優(yōu)化方法研究[D];山東大學(xué);2011年

2 胡勇;通機(jī)產(chǎn)品售后質(zhì)量反饋信息網(wǎng)絡(luò)化協(xié)同處理支持系統(tǒng)[D];重慶大學(xué);2011年

3 周亮;基于規(guī)則的SaaS業(yè)務(wù)流程定制和挖掘[D];上海交通大學(xué);2012年

4 龔河超;基于SCA松耦合應(yīng)用研究[D];遼寧科技大學(xué);2012年

5 譚宇思;支持快速設(shè)計(jì)的注塑機(jī)產(chǎn)品設(shè)計(jì)平臺(tái)的設(shè)計(jì)、開(kāi)發(fā)和應(yīng)用[D];浙江大學(xué);2012年

6 李曉聰;基于模型檢測(cè)的空間訪問(wèn)控制系統(tǒng)規(guī)則驗(yàn)證[D];江蘇大學(xué);2010年

7 牟小玲;基于擴(kuò)展著色Petri網(wǎng)的服務(wù)組合測(cè)試研究[D];西南大學(xué);2012年

8 狄浩軍;數(shù)據(jù)和時(shí)間感知的Web服務(wù)組合形式化建模與驗(yàn)證研究[D];蘇州大學(xué);2012年

9 謝雨;Web服務(wù)合作關(guān)系模型研究[D];中南大學(xué);2012年

10 石慧娟;異步Web服務(wù)組合分析與驗(yàn)證方法研究[D];蘇州大學(xué);2012年

【二級(jí)參考文獻(xiàn)】

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

1 林惠民,張文輝;模型檢測(cè):理論、方法與應(yīng)用[J];電子學(xué)報(bào);2002年S1期

2 蒲飛;張文輝;;結(jié)合搜索空間劃分和抽象進(jìn)行LTL模型檢測(cè)[J];中國(guó)科學(xué)(E輯:信息科學(xué));2007年12期

3 曹健,張申生,黃鶴遠(yuǎn),張曉光;基于ECA規(guī)則的適應(yīng)性工作流技術(shù)研究[J];計(jì)算機(jī)集成制造系統(tǒng)-CIMS;2002年09期

4 朱雪陽(yáng),唐稚松;基于時(shí)序邏輯的軟件體系結(jié)構(gòu)描述語(yǔ)言XYZ/ADL[J];軟件學(xué)報(bào);2003年04期

5 楊鑫;陳俊亮;;WSC/ADL:Web Services組合系統(tǒng)體系結(jié)構(gòu)描述語(yǔ)言[J];軟件學(xué)報(bào);2006年05期

6 文艷軍;王戟;齊治昌;;并發(fā)反應(yīng)式系統(tǒng)的組合模型檢驗(yàn)與組合精化檢驗(yàn)[J];軟件學(xué)報(bào);2007年06期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 駱翔宇;多智能體系統(tǒng)的符號(hào)模型檢測(cè)[D];中山大學(xué);2006年

【相似文獻(xiàn)】

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

1 劉瑩;蔡萬(wàn)景;;Portal個(gè)性化定制的研究[J];電腦知識(shí)與技術(shù);2009年21期

2 董率;廉東本;劉鵬;;基于SEDA的企業(yè)服務(wù)總線的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2010年09期

3 高昀;;信息系統(tǒng)的可生存性建模與分析研究[J];甘肅科技;2010年21期

4 林璇;;模型檢測(cè)方法在入侵檢測(cè)中的應(yīng)用研究[J];現(xiàn)代計(jì)算機(jī)(專(zhuān)業(yè)版);2009年02期

5 徐有福;文偉平;萬(wàn)正蘇;;基于漏洞模型檢測(cè)的安全漏洞挖掘方法研究[J];信息網(wǎng)絡(luò)安全;2011年08期

6 吉猛;胡克瑾;;基于模型檢測(cè)的電子商務(wù)鑒證技術(shù)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2006年04期

7 李忠慧;張廣泉;;基于UPPAAL的NS密碼協(xié)議模型檢測(cè)分析[J];重慶師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年04期

8 楊晉吉,蘇開(kāi)樂(lè);電子商務(wù)中安全協(xié)議的驗(yàn)證方法[J];計(jì)算機(jī)工程與應(yīng)用;2003年19期

9 龐偉正,金瑞琪,王成武;一種規(guī)則引擎的實(shí)現(xiàn)方法[J];哈爾濱工程大學(xué)學(xué)報(bào);2005年03期

10 尤俊欣;饒若楠;詹曉峰;;基于規(guī)則引擎的Web框架[J];計(jì)算機(jī)應(yīng)用與軟件;2007年02期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 鐘響;劉麗芳;;基于ESB的數(shù)字校園集成解決方案[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2008年

2 劉芳;魏昭;董榮勝;;基于SPIN的協(xié)議分析技術(shù)研究[A];廣西計(jì)算機(jī)學(xué)會(huì)2008年年會(huì)論文集[C];2008年

3 肖美華;鄧宸芳;馬小薏;薛錦云;江耘;;網(wǎng)絡(luò)安全認(rèn)證協(xié)議形式化分析[A];第二十次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2005年

4 郭威;李金艷;周維;;基于SOA構(gòu)架的物流業(yè)務(wù)平臺(tái)軟件中ServiceMix的研究與開(kāi)發(fā)[A];2010通信理論與技術(shù)新發(fā)展——第十五屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2010年

5 伍科松;劉連忠;廖佳;;一種用戶角色映射方法的應(yīng)用研究[A];2006中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];2006年

6 孫守卿;李廉;章超;李彩虹;;基于模型檢測(cè)工具SPIN的安全協(xié)議形式化分析[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

7 周洲;黃永峰;李星;;P2P網(wǎng)絡(luò)的節(jié)點(diǎn)安全認(rèn)證[A];第七屆全國(guó)信息隱藏暨多媒體信息安全學(xué)術(shù)大會(huì)論文集[C];2007年

8 謝鴻波;周明天;;安全協(xié)議的形式化技術(shù):述評(píng)[A];’2004計(jì)算機(jī)應(yīng)用技術(shù)交流會(huì)議論文集[C];2004年

9 唐新來(lái);張愛(ài)科;邱志宏;;基于網(wǎng)絡(luò)拓?fù)涞姆植际娇蓴U(kuò)展對(duì)等網(wǎng)模型設(shè)計(jì)[A];2009年全國(guó)開(kāi)放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集(上冊(cè))[C];2009年

10 余興超;馬爭(zhēng)先;王玉斌;董榮勝;;基于UPPAAL的簡(jiǎn)單網(wǎng)絡(luò)支付協(xié)議形式化驗(yàn)證[A];廣西計(jì)算機(jī)學(xué)會(huì)2010年學(xué)術(shù)年會(huì)論文集[C];2010年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 程文宇;提供端到端解決方案 服務(wù)全程全網(wǎng)[N];人民郵電;2005年

2 樊永梅 編譯;CRM成就自助服務(wù)[N];計(jì)算機(jī)世界;2002年

3 曉晨 編譯;SAML：集中身份管理的秘訣[N];計(jì)算機(jī)世界;2005年

4 貝爾實(shí)驗(yàn)室 王慶文;ISG：引領(lǐng)增值業(yè)務(wù)開(kāi)發(fā)[N];網(wǎng)絡(luò)世界;2004年

5 大唐電信 陳龍;新一代運(yùn)營(yíng)支撐系統(tǒng)解決方案[N];通信產(chǎn)業(yè)報(bào);2003年

6 陳東升;Exchange 2000的新增特性[N];計(jì)算機(jī)世界;2000年

7 易水;醞釀中的WS-Security安全標(biāo)準(zhǔn)[N];計(jì)算機(jī)世界;2003年

8 陳再峰;NGN SIP 域內(nèi)的標(biāo)準(zhǔn)化[N];人民郵電;2004年

9 ;信息資源管理需要專(zhuān)業(yè)工具[N];中國(guó)計(jì)算機(jī)報(bào);2004年

10 河南省組織機(jī)構(gòu)代碼中心 楊華;組織機(jī)構(gòu)代碼：電子商務(wù)標(biāo)準(zhǔn)化的借力點(diǎn)[N];計(jì)算機(jī)世界;2001年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 朱維軍;時(shí)間區(qū)間時(shí)序邏輯模型檢測(cè)：理論、算法及應(yīng)用[D];西安電子科技大學(xué);2011年

2 張玉清;計(jì)算機(jī)通信網(wǎng)安全協(xié)議的分析研究[D];西安電子科技大學(xué);2000年

3 文靜華;電子商務(wù)協(xié)議形式化方法及模型檢測(cè)技術(shù)的研究與應(yīng)用[D];貴州大學(xué);2006年

4 陳靖;帶實(shí)時(shí)的傳值與移動(dòng)系統(tǒng)研究[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2003年

5 門(mén)鵬;基于Petri網(wǎng)的Web服務(wù)組合相關(guān)技術(shù)研究[D];西安電子科技大學(xué);2009年

6 范紅;安全協(xié)議形式化分析理論與方法[D];中國(guó)人民解放軍信息工程大學(xué);2003年

7 張帥;基于服務(wù)組合的跨企業(yè)協(xié)作關(guān)鍵技術(shù)研究[D];浙江大學(xué);2011年

8 王小兵;面向?qū)ο驧SVL語(yǔ)言及其在組合Web服務(wù)驗(yàn)證中的應(yīng)用[D];西安電子科技大學(xué);2009年

9 張一鳴;虛擬計(jì)算環(huán)境中的高效覆蓋網(wǎng)構(gòu)建技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2008年

10 姜義;網(wǎng)絡(luò)敏感的對(duì)等網(wǎng)絡(luò)覆蓋網(wǎng)的若干關(guān)鍵技術(shù)研究[D];上海交通大學(xué);2007年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 高丹丹;無(wú)線認(rèn)證協(xié)議的模型檢測(cè)與分析研究[D];長(zhǎng)春理工大學(xué);2010年

2 李金宇;基于SNMP的網(wǎng)絡(luò)信息采集系統(tǒng)的研究[D];吉林大學(xué);2008年

3 劉學(xué)鋒;安全協(xié)議形式化分析及其應(yīng)用[D];湘潭大學(xué);2004年

4 吳建耀;電子商務(wù)安全協(xié)議的形式化分析技術(shù)研究[D];西安電子科技大學(xué);2005年

5 范俊;基于規(guī)則的Web服務(wù)組合研究[D];北京郵電大學(xué);2007年

6 劉秀英;計(jì)算機(jī)通信網(wǎng)安全協(xié)議形式化分析研究[D];西安電子科技大學(xué);2004年

7 吳瑞龍;一種基于有色Petri網(wǎng)模型的安全協(xié)議檢測(cè)技術(shù)的研究[D];廣西大學(xué);2005年

8 鄧保華;動(dòng)態(tài)Web服務(wù)組合中業(yè)務(wù)流程建模環(huán)境的研究與實(shí)現(xiàn)[D];國(guó)防科學(xué)技術(shù)大學(xué);2005年

9 黃瑛;SET協(xié)議支付過(guò)程分析及模型檢測(cè)[D];貴州大學(xué);2006年

10 阮小黎;基于模型檢測(cè)的C語(yǔ)言安全信息流研究[D];清華大學(xué);2007年

，

本文編號(hào)：551456