【摘要】：隨著互聯(lián)網(wǎng)中包含多個(gè)交互的復(fù)雜服務(wù)的大量出現(xiàn),如何有效檢測(cè)服務(wù)之間的匹配性至關(guān)重要.與傳統(tǒng)的業(yè)務(wù)流程互操作匹配性驗(yàn)證不同,在互聯(lián)網(wǎng)環(huán)境下匹配性檢測(cè),一方面要面臨如何實(shí)現(xiàn)快速檢測(cè)的挑戰(zhàn),另一方面要解決如何準(zhǔn)確地檢測(cè)完整且精確的不匹配原因以便及時(shí)修正.為此,文中提出了一種基于交互沖突的服務(wù)互操作性檢測(cè)方法,該方法利用局部交互之間的行為約束關(guān)系檢測(cè)復(fù)雜服務(wù)互操作的匹配性,并形式化證明了該方法能夠獲得與經(jīng)典的互操作匹配性檢測(cè)方法一致的檢測(cè)結(jié)果.與經(jīng)典的互操作匹配性檢測(cè)方法相比,該文方法時(shí)間復(fù)雜度低且檢測(cè)結(jié)果可以確切地給出完整、精確的互操作不匹配的原因.

【參考文獻(xiàn)】

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

1 畢敬;朱志良;范玉順;;Web服務(wù)組合中行為兼容性分析與優(yōu)化控制策略[J];電子學(xué)報(bào);2011年12期

2 公帥;熊錦華;劉志勇;;最終用戶編程中的業(yè)務(wù)流程相似度計(jì)算[J];計(jì)算機(jī)集成制造系統(tǒng);2011年08期

3 李喜彤;范玉順;;Web服務(wù)流程相容性和相似性分析[J];計(jì)算機(jī)學(xué)報(bào);2009年12期

4 公帥;熊錦華;劉志勇;;面向最終用戶的組合服務(wù)推薦[J];計(jì)算機(jī)集成制造系統(tǒng);2013年08期

5 鄧水光;李瑩;吳健;鄺礫;吳朝暉;;Web服務(wù)行為兼容性的判定與計(jì)算[J];軟件學(xué)報(bào);2007年12期

【共引文獻(xiàn)】

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

1 劉瑩;張斌;劉國(guó)奇;汪德帥;;基于行為效果的服務(wù)匹配算法[J];東北大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年06期

2 殷昱煜;李瑩;鄧水光;尹建偉;;Web服務(wù)行為一致性與相容性判定[J];電子學(xué)報(bào);2009年03期

3 張廣泉;戎玫;王f;;時(shí)間感知Web服務(wù)交互行為建模與失配檢測(cè)方法研究[J];電子學(xué)報(bào);2011年11期

4 趙娟;;基于Petri網(wǎng)的語(yǔ)義Web服務(wù)過(guò)程模型匹配算法研究[J];河南科學(xué);2009年02期

5 戎玫;陳圣標(biāo);張廣泉;;基于限界模型檢查的Web服務(wù)行為失配檢測(cè)[J];計(jì)算機(jī)科學(xué);2012年06期

6 鄧水光;黃龍濤;尹建偉;李瑩;吳健;;Web服務(wù)組合技術(shù)框架及其研究進(jìn)展[J];計(jì)算機(jī)集成制造系統(tǒng);2011年02期

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

8 鄭劍;江建慧;;基于標(biāo)簽轉(zhuǎn)換系統(tǒng)的Web服務(wù)行為失配類型的判定方法[J];計(jì)算機(jī)集成制造系統(tǒng);2011年12期

9 胡強(qiáng);杜玉越;;Web服務(wù)業(yè)務(wù)流程執(zhí)行語(yǔ)言交互兼容性判定[J];計(jì)算機(jī)集成制造系統(tǒng);2012年06期

10 李喜彤;范玉順;;Web服務(wù)流程相容性和相似性分析[J];計(jì)算機(jī)學(xué)報(bào);2009年12期

相關(guān)會(huì)議論文 前1條

1 李昌志;付曉東;田強(qiáng);王威;夏永瀅;;一種費(fèi)用最小化的Veb服務(wù)組合可靠性優(yōu)化分配方法[A];第25屆中國(guó)控制與決策會(huì)議論文集[C];2013年

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

1 殷昱煜;面向服務(wù)的軟件動(dòng)態(tài)配置技術(shù)研究[D];浙江大學(xué);2010年

2 曹虹華;語(yǔ)義編程語(yǔ)言SPROGLE及其實(shí)現(xiàn)機(jī)制研究[D];武漢大學(xué);2009年

3 劉林源;Web服務(wù)組合隱私分析與驗(yàn)證研究[D];南京航空航天大學(xué);2011年

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

5 劉鐵江;組合Web服務(wù)選擇、部署與執(zhí)行的關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2011年

6 楊勇;SOA等級(jí)化服務(wù)替換理論與機(jī)制[D];復(fù)旦大學(xué);2011年

7 江志雄;基于動(dòng)態(tài)語(yǔ)義的Web服務(wù)描述[D];復(fù)旦大學(xué);2008年

8 林寶平;Web服務(wù)接口的相容性與調(diào)解研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2009年

9 包力;Web服務(wù)組合形式化建模與驗(yàn)證研究[D];大連海事大學(xué);2009年

10 鄧娜;BPEL流程生命周期中若干關(guān)鍵問(wèn)題研究[D];北京郵電大學(xué);2011年

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

1 張祥濤;基于語(yǔ)義Web服務(wù)的多層次匹配模型的研究與實(shí)現(xiàn)[D];華南理工大學(xué);2010年

2 宋仲凱;大粒度服務(wù)組合驗(yàn)證工具的設(shè)計(jì)與實(shí)現(xiàn)[D];浙江大學(xué);2011年

3 周梁偉;基于SOA的網(wǎng)構(gòu)軟件動(dòng)態(tài)配置系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];浙江大學(xué);2011年

4 易學(xué)武;基于ASP.Net的在線圖書銷售系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2010年

5 魏濤;基于.NET的高校科研管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];南京理工大學(xué);2011年

6 江陽(yáng);Web服務(wù)組合與驗(yàn)證相關(guān)技術(shù)研究[D];中南大學(xué);2011年

7 劉靜;WEB組合服務(wù)框架優(yōu)化模型的研究及其系統(tǒng)實(shí)現(xiàn)[D];中南大學(xué);2011年

8 常斌;基于Pi-演算的Web服務(wù)組合的描述和驗(yàn)證[D];南京郵電大學(xué);2011年

9 牟如玲;基于行為屬性距離的軟件行為可信評(píng)價(jià)[D];河北大學(xué);2011年

10 陳圣標(biāo);基于BMC的Web服務(wù)失配檢測(cè)方法研究[D];蘇州大學(xué);2011年

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

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

1 龔洪泉,趙文耘,徐如志,錢樂秋;基于Pi演算的構(gòu)件演化研究[J];電子學(xué)報(bào);2004年S1期

2 殷昱煜;李瑩;鄧水光;尹建偉;;Web服務(wù)行為一致性與相容性判定[J];電子學(xué)報(bào);2009年03期

3 王勇;代桂平;侯亞榮;方娟;任興田;;基于并發(fā)事務(wù)邏輯的Web服務(wù)編制驗(yàn)證[J];電子學(xué)報(bào);2009年10期

4 韓燕波;王洪翠;王建武;閆淑英;張程;;一種支持最終用戶探索式組合服務(wù)的方法[J];計(jì)算機(jī)研究與發(fā)展;2006年11期

5 李喜彤;范玉順;;Web服務(wù)過(guò)程建模及其邏輯正確性驗(yàn)證[J];計(jì)算機(jī)集成制造系統(tǒng);2008年04期

6 公帥;熊錦華;劉志勇;;最終用戶編程中的業(yè)務(wù)流程相似度計(jì)算[J];計(jì)算機(jī)集成制造系統(tǒng);2011年08期

7 張文濤;彭泳;陳俊亮;;會(huì)話類E-Service的接口兼容和服務(wù)組合分析[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

8 錢柱中;陸桑璐;謝立;;基于Petri網(wǎng)的Web服務(wù)自動(dòng)組合研究[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

9 郭玉彬;杜玉越;奚建清;;Web服務(wù)組合的有色網(wǎng)模型及運(yùn)算性質(zhì)[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

10 劉方方;史玉良;張亮;施伯樂;;基于進(jìn)程代數(shù)的Web服務(wù)合成的替換分析[J];計(jì)算機(jī)學(xué)報(bào);2007年11期

【相似文獻(xiàn)】

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

1 郭雷,方立東,陳天滋;基于Web服務(wù)的數(shù)字城市信息資源共享平臺(tái)[J];計(jì)算機(jī)工程與設(shè)計(jì);2005年03期

2 寧帆,涂金蘭;軟件互操作方法分析及Web Service軟件互操作實(shí)現(xiàn)[J];長(zhǎng)沙鐵道學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2005年02期

3 曹國(guó),姚建初,吳義忠,徐華;支持協(xié)同設(shè)計(jì)的資源庫(kù)的開發(fā)研究[J];計(jì)算機(jī)工程;2003年16期

4 尹毅偉;劉敏;孫斗;趙永望;;Web服務(wù)標(biāo)準(zhǔn)及互操作性分析(六) Web服務(wù)業(yè)務(wù)流程相關(guān)標(biāo)準(zhǔn)的互操作性分析[J];信息技術(shù)與標(biāo)準(zhǔn)化;2009年08期

5 劉高原,劉覺夫;基于Web服務(wù)的網(wǎng)格服務(wù)研究[J];華東交通大學(xué)學(xué)報(bào);2005年04期

6 韓宇星;馬冬梅;李林;;工作流技術(shù)與Web服務(wù)[J];河南教育學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年04期

7 唐淵;金可音;周昆;宋春陽(yáng);;Web服務(wù)失敗分類法[J];湖南工業(yè)大學(xué)學(xué)報(bào);2009年02期

8 楊云;張劍;趙正文;;基于Web Services的應(yīng)用集成的研究[J];計(jì)算機(jī)與信息技術(shù);2011年06期

9 孫軍梅,繆淮扣,劉玲;智能服務(wù)——Web服務(wù)和語(yǔ)義Web集成研究[J];計(jì)算機(jī)工程與應(yīng)用;2004年09期

10 馮錫煒;基于Web Services的分布式異構(gòu)環(huán)境互操作性研究[J];渤海大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年01期

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

1 郭陳陽(yáng);王宏;李強(qiáng);殷泰暉;;基于WSDL的WSDM研究[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展·2007——全國(guó)第18屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集[C];2007年

2 尤軍;;談氣象Web服務(wù)的網(wǎng)絡(luò)安全問(wèn)題[A];網(wǎng)絡(luò)安全技術(shù)的開發(fā)應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2002年

3 劉正濤;毛宇光;應(yīng)毅;;基于Web服務(wù)的分布式Web應(yīng)用框架研究[A];第一屆全國(guó)Web信息系統(tǒng)及其應(yīng)用會(huì)議（WISA2004）論文集[C];2004年

4 任濤;李玉忱;劉乃麗;;面向動(dòng)態(tài)環(huán)境的Web服務(wù)合成系統(tǒng)[A];第一屆全國(guó)Web信息系統(tǒng)及其應(yīng)用會(huì)議（WISA2004）論文集[C];2004年

5 張偉燕;席傳裕;;J2EE中異步Web服務(wù)的研究與應(yīng)用[A];第一屆全國(guó)Web信息系統(tǒng)及其應(yīng)用會(huì)議（WISA2004）論文集[C];2004年

6 蔡子龍;俞集輝;;基于Web服務(wù)的遠(yuǎn)程報(bào)表打印系統(tǒng)的研究[A];電工理論與新技術(shù)2004年學(xué)術(shù)研討會(huì)論文集[C];2004年

7 王洪軍;周斌;賈焰;吳泉源;;Web服務(wù)集成CCM構(gòu)件模型的研究與實(shí)現(xiàn)[A];2006年全國(guó)開放式分布與并行計(jì)算學(xué)術(shù)會(huì)議論文集（二）[C];2006年

8 李濱;劉瑩;;UDDI注冊(cè)中心綜述[A];中國(guó)企業(yè)運(yùn)籌學(xué)[C];2009年

9 唐勇;劉玉芳;孔曉峰;;基于Specification的保護(hù)Web服務(wù)的入侵檢測(cè)技術(shù)研究[A];第一屆全國(guó)Web信息系統(tǒng)及其應(yīng)用會(huì)議（WISA2004）論文集[C];2004年

10 成睿星;蘇森;楊放春;;使用范例推理的服務(wù)組合方法研究[A];2006年全國(guó)通信軟件學(xué)術(shù)會(huì)議論文集[C];2006年

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

1 樸華;SilverStream延伸Web服務(wù)[N];中國(guó)計(jì)算機(jī)報(bào);2002年

2 蔡曉兵;GIS的Web服務(wù)[N];中國(guó)計(jì)算機(jī)報(bào);2003年

3 李浩;Web服務(wù)的陽(yáng)光之旅[N];網(wǎng)絡(luò)世界;2004年

4 本報(bào)記者 薛斐;Web服務(wù)不神秘！[N];計(jì)算機(jī)世界;2002年

5 徐昊;Lotus ND6:強(qiáng)化Web服務(wù)協(xié)作[N];中國(guó)計(jì)算機(jī)報(bào);2002年

6 ;Web服務(wù)世界現(xiàn)在還好嗎？[N];網(wǎng)絡(luò)世界;2003年

7 柴曉路;Web服務(wù)帶來(lái)了新集成[N];中國(guó)計(jì)算機(jī)報(bào);2002年

8 樂天;SOA構(gòu)建要注意什么？[N];計(jì)算機(jī)世界;2004年

9 ;Web服務(wù)實(shí)現(xiàn)（連載7）[N];上�？萍紙�(bào);2002年

10 ;Web服務(wù)推動(dòng)BI演進(jìn)[N];網(wǎng)絡(luò)世界;2003年

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

1 任志宏;Web服務(wù)復(fù)合的若干關(guān)健問(wèn)題研究[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2004年

2 楊文軍;Web服務(wù)組裝關(guān)鍵技術(shù)研究[D];清華大學(xué);2005年

3 吳健;基于Web服務(wù)的網(wǎng)絡(luò)化產(chǎn)品配置技術(shù)研究[D];浙江大學(xué);2004年

4 劉安豐;基于QoS的分布式Web服務(wù)結(jié)構(gòu)模型及其關(guān)鍵技術(shù)研究[D];中南大學(xué);2005年

5 史玉良;Web服務(wù)合成的若干關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2006年

6 盧劉明;基于語(yǔ)義的web服務(wù)發(fā)現(xiàn)與組合關(guān)鍵技術(shù)研究[D];東華大學(xué);2006年

7 龔曉慶;基于Web服務(wù)的分布式工作流管理系統(tǒng)研究[D];西北大學(xué);2004年

8 朱一群;Web服務(wù)訪問(wèn)控制研究[D];上海交通大學(xué);2008年

9 許煒;Web服務(wù)事務(wù)管理關(guān)鍵技術(shù)研究[D];華中科技大學(xué);2008年

10 湯景凡;動(dòng)態(tài)Web服務(wù)組合的關(guān)鍵技術(shù)研究[D];浙江大學(xué);2005年

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

1 王衛(wèi)玲;基于SOA的Web Services集成技術(shù)研究[D];廣西大學(xué);2007年

2 劉強(qiáng);WEB服務(wù)及XML安全[D];四川大學(xué);2005年

3 吳蕾;SOA框架下面向Web服務(wù)的注錯(cuò)測(cè)試工具研究[D];合肥工業(yè)大學(xué);2006年

4 章靜;基于BPEL4WS的業(yè)務(wù)流程測(cè)試研究[D];合肥工業(yè)大學(xué);2006年

5 紀(jì)仁鵬;基于Web服務(wù)的OGSA的網(wǎng)格模型的研究與應(yīng)用—多代理網(wǎng)格服務(wù)模型[D];江南大學(xué);2008年

6 宋振華;基于本體的Web服務(wù)注解與查找研究[D];鄭州大學(xué);2005年

7 合明;多組織工作流消息引擎的設(shè)計(jì)與實(shí)現(xiàn)[D];蘇州大學(xué);2004年

8 廖源;全局XML Web服務(wù)中協(xié)議的研究[D];武漢大學(xué);2004年

9 符生其;基于Web Services的供應(yīng)鏈集成研究[D];汕頭大學(xué);2005年

10 王繼梅;基于跨組織工作流的Web服務(wù)組合技術(shù)的研究[D];浙江大學(xué);2003年

，

本文編號(hào)：2653330