本文選題：Web服務(wù) + 一致性檢測��； 參考：《計算機工程與科學(xué)》2013年01期

【摘要】：在復(fù)雜多變且不可預(yù)知的因特網(wǎng)環(huán)境中,Web組合服務(wù)的實際交互行為和它本身定義的規(guī)約之間的一致性是難以確保的。為了解決這個問題,提出了一種將服務(wù)組合實例的服務(wù)交互行為Petri網(wǎng)模型應(yīng)用于交互行為一致性檢測的方法。首先,提出了一個Web服務(wù)交互行為的運行時監(jiān)控框架,從行為抽象和提取方法、服務(wù)交互行為的捕獲機制以及交互行為一致性運行時檢測方法三方面進(jìn)行了詳細(xì)介紹。還詳細(xì)描述了基于服務(wù)交互行為Petri網(wǎng)模型的一致性檢測機制。最后,對一致性檢測方法的負(fù)載和性能進(jìn)行了充分的評估。
[Abstract]:In a complex and unpredictable Internet environment, it is difficult to ensure the consistency between the actual interaction behavior of Web composition services and its defined specifications. In order to solve this problem, a service interaction behavior Petri net model based on service composition instances is proposed. Firstly, a runtime monitoring framework for Web service interaction behavior is proposed, which is introduced in detail from three aspects: behavior abstraction and extraction, capture mechanism of service interaction behavior, and runtime detection method of interaction behavior consistency. The consistency checking mechanism based on service interactive behavior Petri net model is also described in detail. Finally, the load and performance of the conformance detection method are fully evaluated.
【作者單位】： 國防科學(xué)技術(shù)大學(xué)計算機學(xué)院;中國電子設(shè)備系統(tǒng)工程公司;
【基金】：國家自然科學(xué)基金資助項目(90818028) 國家863計劃資助項目(2007AA010301) “核高基”重大專項資助項目(2009ZX01043-002-004)
【分類號】：TP393.09;TP301.1

【相似文獻(xiàn)】

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

1 羅國偉;郭信江;丘潔飛;邱韜奮;;基于SOA的遠(yuǎn)程教育系統(tǒng)的研究與實現(xiàn)[J];中國教育信息化;2011年07期

2 張津銘;;基于Web服務(wù)和PMML的數(shù)據(jù)挖掘系統(tǒng)的設(shè)計[J];濰坊學(xué)院學(xué)報;2011年02期

3 葉小樂;;Web Services在數(shù)字圖書館中的應(yīng)用[J];現(xiàn)代計算機;2011年08期

4 鄭馥丹;;基于SOA的采購系統(tǒng)的設(shè)計與實現(xiàn)[J];電腦知識與技術(shù);2011年13期

5 江兆銀;劉瑤;李斌;朱迎華;;基于SOA的信息挖掘應(yīng)用研究[J];計算機與數(shù)字工程;2011年06期

6 李瑞旭;李揚;;數(shù)據(jù)倉庫元數(shù)據(jù)集成技術(shù)研究與應(yīng)用[J];計算機技術(shù)與發(fā)展;2011年09期

7 侯麗娟;李蜀瑜;;基于模糊概念格的語義Web服務(wù)匹配[J];計算機應(yīng)用與軟件;2011年08期

8 凌衛(wèi)青;王堅;;基于工作流的發(fā)電設(shè)備行業(yè)工程計算管理[J];計算機集成制造系統(tǒng);2011年08期

9 李海剛;;一種基于SOA架構(gòu)和網(wǎng)格計算的協(xié)同商務(wù)平臺框架研究[J];微型電腦應(yīng)用;2011年05期

10 姚堯;歐建強;;基于Web服務(wù)的電子商務(wù)平臺的設(shè)計[J];信息與電腦(理論版);2011年08期

相關(guān)會議論文 前10條

1 許國艷;李曉芳;;J2EE平臺上基于Web服務(wù)的動態(tài)電子商務(wù)架構(gòu)研究[A];2006年全國開放式分布與并行計算機學(xué)術(shù)會議論文集（三）[C];2006年

2 田紹亮;左明;;基于Web服務(wù)的醫(yī)學(xué)影像共享[A];第一屆全國Web信息系統(tǒng)及其應(yīng)用會議（WISA2004）論文集[C];2004年

3 彭麗芳;劉兵;;基于Web服務(wù)的移動電子交易市場的應(yīng)用[A];第10屆計算機模擬與信息技術(shù)會議論文集[C];2005年

4 馮沖;陳肇雄;黃河燕;關(guān)真珍;;基于Web服務(wù)的機助翻譯系統(tǒng)體系結(jié)構(gòu)研究[A];第二屆全國學(xué)生計算語言學(xué)研討會論文集[C];2004年

5 馮玉強;劉春杰;;基于Web服務(wù)的敏捷供應(yīng)鏈集成研究[A];全國第九屆企業(yè)信息化與工業(yè)工程學(xué)術(shù)會議論文集[C];2005年

6 朱海萍;李增智;楊懷洲;;基于面向服務(wù)體系結(jié)構(gòu)SOA的業(yè)務(wù)管理研究[A];2004年全國通信軟件學(xué)術(shù)會議論文集[C];2004年

7 衛(wèi)朝陽;;采用WEB服務(wù)實現(xiàn)C／S結(jié)構(gòu)客戶端的自動升級[A];第二十屆中國（天津）'2006IT、網(wǎng)絡(luò)、信息技術(shù)、電子、儀器儀表創(chuàng)新學(xué)術(shù)會議論文集[C];2006年

8 彭春輝;王長林;;基于Web服務(wù)的移動應(yīng)用程序在電子商務(wù)中的應(yīng)用[A];四川省通信學(xué)會2005年學(xué)術(shù)年會論文集[C];2005年

9 衛(wèi)朝陽;;采用WEB服務(wù)實現(xiàn)C/S結(jié)構(gòu)客戶端的自動升級[A];第二十屆中國（天津）’2006IT、網(wǎng)絡(luò)、信息技術(shù)、電子、儀器儀表創(chuàng)新學(xué)術(shù)會議論文集[C];2006年

10 張常有;秦曉靜;李文清;曹元大;;一種面向?qū)Φ染W(wǎng)絡(luò)的Web服務(wù)快速查找算法[A];2009年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(上冊)[C];2009年

相關(guān)重要報紙文章 前10條

1 ;IBM推出單一跨企業(yè)Web服務(wù)開發(fā)環(huán)境[N];計算機世界;2002年

2 吳寧川;微軟搶灘Web服務(wù)中間件[N];中國計算機報;2004年

3 趙海軍;Web服務(wù) 電子商務(wù)新起點[N];中國計算機報;2002年

4 本報記者 薛斐;EAI——老問題 新機遇[N];計算機世界;2002年

5 ;中間件[N];中國計算機報;2003年

6 中科院軟件所　宋靖宇;當(dāng)“突圍者”遇上“圍城者”[N];計算機世界;2003年

7 韓逸;EAI讓應(yīng)用流動起來[N];網(wǎng)絡(luò)世界;2003年

8 王克宏;基于XML的Web服務(wù)技術(shù)——強強聯(lián)合鑄造未來[N];計算機世界;2003年

9 Stephen Hood;BPEL標(biāo)準(zhǔn)化流程管理[N];網(wǎng)絡(luò)世界;2005年

10 劉紹華;信息技術(shù)與業(yè)務(wù)流程的融合[N];計算機世界;2003年

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

1 溫浩宇;制造網(wǎng)格若干關(guān)鍵技術(shù)研究[D];西安電子科技大學(xué);2005年

2 劉峰;基于網(wǎng)格服務(wù)的地理空間信息共享平臺關(guān)鍵技術(shù)研究[D];山東科技大學(xué);2007年

3 鄭文鋒;面向服務(wù)的空間數(shù)據(jù)共享[D];成都理工大學(xué);2008年

4 周新忠;面向水利地理空間元數(shù)據(jù)研制與應(yīng)用的關(guān)鍵技術(shù)研究[D];武漢大學(xué);2006年

5 邱奇志;基于本體的學(xué)習(xí)對象發(fā)現(xiàn)機制的研究與應(yīng)用[D];武漢理工大學(xué);2009年

6 井浩;網(wǎng)絡(luò)化制造集成平臺若干關(guān)鍵技術(shù)研究與應(yīng)用[D];西安理工大學(xué);2007年

7 鐘讀杭;Web服務(wù)組合的可靠性預(yù)測研究[D];國防科學(xué)技術(shù)大學(xué);2007年

8 楊超;虛擬企業(yè)信息化若干關(guān)鍵技術(shù)研究[D];東華大學(xué);2005年

9 陳冰;基于Web服務(wù)的動態(tài)虛擬企業(yè)（WSDVE）及其關(guān)鍵技術(shù)研究[D];西北工業(yè)大學(xué);2003年

10 隋琪;智能流程模式的研究及其應(yīng)用[D];山東大學(xué);2006年

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

1 張靜;基于.NET下Web服務(wù)的信息查詢系統(tǒng)的研究與設(shè)計[D];合肥工業(yè)大學(xué);2003年

2 趙宏;基于Web服務(wù)的黃頁系統(tǒng)的設(shè)計與實現(xiàn)[D];浙江大學(xué);2006年

3 尹平;基于Web服務(wù)的GIS綜合服務(wù)架構(gòu)及模型服務(wù)的研究[D];清華大學(xué);2005年

4 李媛媛;XML技術(shù)在基于Web的創(chuàng)新軟件中的應(yīng)用[D];河北工業(yè)大學(xué);2006年

5 楊磊;基于WEB服務(wù)的工作流管理系統(tǒng)的研究與實現(xiàn)[D];西安建筑科技大學(xué);2007年

6 朱環(huán)宇;分布式DSS模型管理系統(tǒng)的研究[D];大連理工大學(xué);2007年

7 魯U，

本文編號：1833299