本文關(guān)鍵詞：語義Web服務(wù)自動(dòng)組合定義、方法及驗(yàn)證調(diào)查

  更多相關(guān)文章： 語義Web服務(wù) 形式化定義 組合框架 組合方法 正確性檢驗(yàn)

【摘要】：針對(duì)近幾年在語義Web服務(wù)自動(dòng)組合上的研究成果,深入歸納和總結(jié)了語義Web服務(wù)組合的定義、組合方法以及正確性驗(yàn)證技術(shù),對(duì)語義Web服務(wù)組合問題進(jìn)行分類和形式化定義,并歸納出一個(gè)語義Web服務(wù)自動(dòng)組合框架。按照不同問題分析和比較相關(guān)的組合方法,同時(shí)總結(jié)了組合方案正確性驗(yàn)證技術(shù)。最后,根據(jù)前面的分析和總結(jié),提出了語義Web服務(wù)自動(dòng)組合當(dāng)前面臨的問題和挑戰(zhàn)。
【作者單位】： 山東建筑大學(xué)計(jì)算機(jī)學(xué)院;天津大學(xué)計(jì)算機(jī)學(xué)院;
【關(guān)鍵詞】： 語義Web服務(wù) 形式化定義 組合框架 組合方法 正確性檢驗(yàn)
【基金】：山東省高等學(xué)校優(yōu)秀青年教師國內(nèi)訪問學(xué)者資助項(xiàng)目(2013) 國家自然科學(xué)基金資助項(xiàng)目(61173155,61070202) 山東省軟件工程重點(diǎn)實(shí)驗(yàn)室開放項(xiàng)目(2011SE001)
【分類號(hào)】：TP393.09
【正文快照】： 0引言Web服務(wù)是由服務(wù)提供商發(fā)布到互聯(lián)網(wǎng)上的可編程模塊,由于Web服務(wù)的接口描述(WSDL[1])同服務(wù)的實(shí)現(xiàn)細(xì)節(jié)完全解耦,并通過標(biāo)準(zhǔn)通信協(xié)議(SOAP,HTTP)進(jìn)行存取,因此跨語言、跨平臺(tái)實(shí)現(xiàn)的Web服務(wù)間進(jìn)行互操作是很方便的。Web服務(wù)也因此成為實(shí)現(xiàn)SOA[2]架構(gòu)的首選,廣泛應(yīng)用于企業(yè)

【參考文獻(xiàn)】

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

1 胡佳;語義Web服務(wù)自動(dòng)組合及驗(yàn)證的研究[D];天津大學(xué);2010年

【共引文獻(xiàn)】

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

1 魏海濤;杜云艷;何亞文;周成虎;張鐳;;基于語義的GP服務(wù)多層次發(fā)現(xiàn)算法[J];地球信息科學(xué)學(xué)報(bào);2014年01期

2 高俊;沈才梁;陳暄;;一種面向服務(wù)體系結(jié)構(gòu)的服務(wù)組合方案求解方法[J];計(jì)算機(jī)應(yīng)用研究;2011年11期

3 曹洪江;聶規(guī)劃;陳冬林;;基于語義標(biāo)注的Web服務(wù)發(fā)現(xiàn)組合策略[J];制造業(yè)自動(dòng)化;2010年10期

4 陳昊;蔡廣軍;郭亮;;面向環(huán)境層的服務(wù)組合方法[J];河南科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年06期

5 敬石開;姜浩;許文婷;周競(jìng)濤;;考慮執(zhí)行可靠性的云制造服務(wù)組合算法[J];計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào);2014年03期

6 張亞紅;張琳琳;趙楷;陳佳麗;馮在文;;一種基于運(yùn)行時(shí)驗(yàn)證的Web服務(wù)選擇方法[J];計(jì)算機(jī)科學(xué);2014年01期

7 郭蘭蘭;王輝;陳翔濤;;基于NEI的免疫自學(xué)習(xí)Web服務(wù)突現(xiàn)方法研究[J];計(jì)算機(jī)工程與科學(xué);2014年04期

8 邊小凡;代艷紅;馬兵會(huì);;基于ESB的企業(yè)內(nèi)部構(gòu)件與Web服務(wù)的集成[J];計(jì)算機(jī)工程與設(shè)計(jì);2009年04期

9 雷彬;張洪偉;汪怔江;;基于SOA的企業(yè)分布式系統(tǒng)的研究與應(yīng)用[J];現(xiàn)代計(jì)算機(jī)(專業(yè)版);2007年09期

10 高巖;張少鑫;張斌;那俊;張文斌;;基于SOA架構(gòu)的Web服務(wù)組合系統(tǒng)[J];小型微型計(jì)算機(jī)系統(tǒng);2007年04期

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

1 蔡慶;;兩棲作戰(zhàn)敏捷化指揮控制系統(tǒng)構(gòu)建技術(shù)分析[A];2013第一屆中國指揮控制大會(huì)論文集[C];2013年

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

1 陶春華;QoS感知的Web服務(wù)發(fā)現(xiàn)與組合研究[D];天津大學(xué);2010年

2 唐攀;基于HTN規(guī)劃的應(yīng)急行動(dòng)方案制定方法及技術(shù)[D];華中科技大學(xué);2011年

3 陳志勇;面向模糊請(qǐng)求的服務(wù)組合關(guān)鍵問題研究[D];山東大學(xué);2011年

4 張程;面向服務(wù)環(huán)境中服務(wù)的個(gè)性化推薦[D];中國科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2006年

5 彭艷斌;基于準(zhǔn)則和策略的自治式多agent服務(wù)協(xié)同體系研究[D];浙江大學(xué);2008年

6 何豐;語義Web服務(wù)組合若干關(guān)鍵技術(shù)研究[D];東華大學(xué);2008年

7 童紅霞;基于Agent的Web服務(wù)組合技術(shù)研究[D];上海交通大學(xué);2009年

8 宋玲;語義相似度計(jì)算及其應(yīng)用研究[D];山東大學(xué);2009年

9 黃沈權(quán);制造云服務(wù)按需供應(yīng)模式、關(guān)鍵技術(shù)及應(yīng)用研究[D];浙江大學(xué);2013年

10 劉陽;云計(jì)算中服務(wù)組合與選擇技術(shù)研究[D];北京郵電大學(xué);2013年

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

1 李輝利;BPEL技術(shù)研究及在防災(zāi)減災(zāi)系統(tǒng)中的應(yīng)用[D];太原理工大學(xué);2011年

2 肖璽;StarMCC：一種基于代理的移動(dòng)云計(jì)算中間件的研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2011年

3 郭憶;面向組合的服務(wù)語義關(guān)系研究[D];天津大學(xué);2012年

4 張青;面向服務(wù)的遺留系統(tǒng)集成方法研究[D];哈爾濱工程大學(xué);2011年

5 張江龍;異構(gòu)數(shù)據(jù)源集成技術(shù)研究[D];中國石油大學(xué);2007年

6 馬扶廣;基于LDAP的異構(gòu)數(shù)據(jù)源集成技術(shù)的分析與設(shè)計(jì)[D];武漢理工大學(xué);2009年

7 朱沅海;基于Web Services的CA系統(tǒng)研究與實(shí)現(xiàn)[D];長沙理工大學(xué);2009年

8 彭小輝;基于Spring和Hibernate框架的Jini技術(shù)Web開發(fā)研究及實(shí)現(xiàn)[D];武漢理工大學(xué);2009年

9 張波;一種基于組合距離的Web服務(wù)組合方法[D];北京郵電大學(xué);2012年

10 劉士?jī)x;語義Web服務(wù)組合的形式化研究[D];蘭州理工大學(xué);2013年

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

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

1 康輝;苑森淼;浦潔;劉勇;;基于Pi演算的Web服務(wù)建模與WSDL轉(zhuǎn)換[J];北京工業(yè)大學(xué)學(xué)報(bào);2008年11期

2 劉家茂,顧寧,施伯樂;基于Mediator的Web Services無回溯反向鏈動(dòng)態(tài)合成[J];計(jì)算機(jī)研究與發(fā)展;2005年07期

3 付燕寧;劉磊;張長海;;流程模板驅(qū)動(dòng)的Web服務(wù)組合方法[J];吉林大學(xué)學(xué)報(bào)(工學(xué)版);2008年S2期

4 劉榮勝;黃邵;高春鳴;;基于類型化Pi-演算的Web服務(wù)組合相容性檢測(cè)[J];計(jì)算機(jī)工程與應(yīng)用;2007年07期

5 韓永國;孫世新;;動(dòng)態(tài)服務(wù)組合構(gòu)造與最優(yōu)組合服務(wù)算法研究[J];計(jì)算機(jī)科學(xué);2005年12期

6 辜希武;盧正鼎;;基于Pi-演算的BPEL4 WS Web服務(wù)組合形式化模型[J];計(jì)算機(jī)科學(xué);2007年03期

7 史忠植,蔣運(yùn)承,張海俊,董明楷;基于描述邏輯的主體服務(wù)匹配[J];計(jì)算機(jī)學(xué)報(bào);2004年05期

8 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務(wù)組合的描述和驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

9 胡海濤,李剛,韓燕波;一種面向業(yè)務(wù)用戶的大粒度服務(wù)組合方法[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

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

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

1 張成文;基于遺傳算法的具有全局QoS限制的Web服務(wù)選擇[D];北京郵電大學(xué);2007年

【相似文獻(xiàn)】

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

1 崔華;應(yīng)時(shí);袁文杰;胡羅凱;;語義Web服務(wù)組合綜述[J];計(jì)算機(jī)科學(xué);2010年05期

2 吳善明;沈建京;韓強(qiáng);;基于領(lǐng)域本體和OWL-S的Web服務(wù)組合方法[J];計(jì)算機(jī)工程;2009年21期

3 柯鋒;李瑞軒;宋偉;於光燦;;一種P2P環(huán)境中基于語義的Web服務(wù)組合方法[J];計(jì)算機(jī)工程與科學(xué);2007年08期

4 盧錦運(yùn);張為群;;一種基于與或圖的語義Web服務(wù)自動(dòng)組合方法研究[J];計(jì)算機(jī)科學(xué);2010年03期

5 李瑞寧;周竹榮;;基于完備回溯樹的語義Web服務(wù)自動(dòng)組合[J];計(jì)算機(jī)應(yīng)用;2008年06期

6 張以文;;一種支持用戶偏好的語義Web服務(wù)組合算法[J];安慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年04期

7 葉恒舟;羅曉娟;牛秦洲;;基于歸約圖的語義Web服務(wù)自動(dòng)組合[J];桂林理工大學(xué)學(xué)報(bào);2010年03期

8 羅楠;嚴(yán)雋薇;劉敏;;語義Web服務(wù)自動(dòng)組合的有色網(wǎng)驗(yàn)證模型(英文)[J];系統(tǒng)仿真學(xué)報(bào);2008年11期

9 周相兵;馬洪江;楊興江;;一種基于云計(jì)算的語義Web服務(wù)組合模型研究[J];微電子學(xué)與計(jì)算機(jī);2009年08期

10 劉思培;劉大有;齊紅;關(guān)菁華;;基于描述邏輯規(guī)則的語義Web服務(wù)組合[J];計(jì)算機(jī)研究與發(fā)展;2011年05期

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

1 周相兵;馬洪江;楊興江;;一種基于云計(jì)算的語義Web服務(wù)組合模型研究[A];2009年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集(上冊(cè))[C];2009年

2 張峰;陳欣;劉淑霞;;一種以用戶為中心、人可參與的服務(wù)組合方法[A];CCF NCSC 2011——第二屆中國計(jì)算機(jī)學(xué)會(huì)服務(wù)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2011年

3 閆志剛;胡海濤;;基于語義的Web服務(wù)動(dòng)態(tài)組合框架的研究[A];2010年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集[C];2010年

4 藍(lán)乾藝;覃海生;;語義網(wǎng)格在技術(shù)滲透和融合中發(fā)展[A];廣西計(jì)算機(jī)學(xué)會(huì)2006年年會(huì)論文集[C];2006年

5 夏虹;李增智;陳彥萍;;基于概念格的語義Web服務(wù)匹配研究[A];2006年全國通信軟件學(xué)術(shù)會(huì)議論文集[C];2006年

6 黃勝;彭敦陸;王曉玲;周傲英;;基于與或樹搜索的快速Web服務(wù)組合方法[A];第二十二屆中國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（研究報(bào)告篇）[C];2005年

7 許鵬波;魚濱;;基于P2P環(huán)境的語義Web服務(wù)發(fā)現(xiàn)模型[A];2006年全國開放式分布與并行計(jì)算學(xué)術(shù)會(huì)議論文集（一）[C];2006年

8 宋庭新;熊健民;劉幺和;;基于語義Web服務(wù)的供應(yīng)鏈協(xié)同與集成技術(shù)研究[A];2006年湖北省博士論壇——先進(jìn)制造技術(shù)與制造裝備論文集[C];2006年

9 項(xiàng)高友;黃志球;;基于SAT的語義Web服務(wù)發(fā)現(xiàn)[A];2008通信理論與技術(shù)新發(fā)展——第十三屆全國青年通信學(xué)術(shù)會(huì)議論文集（下）[C];2008年

10 陳彥萍;李增智;夏虹;朱海萍;;服務(wù)質(zhì)量驅(qū)動(dòng)的Web服務(wù)組合框架的設(shè)計(jì)與實(shí)現(xiàn)[A];2006年全國通信軟件學(xué)術(shù)會(huì)議論文集[C];2006年

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

1 于守健;基于Web服務(wù)組合的業(yè)務(wù)流程集成關(guān)鍵技術(shù)研究[D];東華大學(xué);2005年

2 徐萌;基于服務(wù)關(guān)系的服務(wù)組合相關(guān)技術(shù)研究[D];北京郵電大學(xué);2007年

3 何豐;語義Web服務(wù)組合若干關(guān)鍵技術(shù)研究[D];東華大學(xué);2008年

4 葉力;Semantic Web Services的自動(dòng)化組合技術(shù)[D];北京郵電大學(xué);2008年

5 李勇;分布式Web服務(wù)發(fā)現(xiàn)機(jī)制研究[D];北京郵電大學(xué);2008年

6 陳丁劍;基于語義的Web服務(wù)發(fā)現(xiàn)和組合技術(shù)研究[D];西北工業(yè)大學(xué);2007年

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

8 李禎;混合QoS模型感知的語義Web服務(wù)組合決策算法研究[D];北京郵電大學(xué);2008年

9 廖淵;普適計(jì)算環(huán)境下一種基于QoS的服務(wù)構(gòu)件組合方法[D];中國科學(xué)院研究生院（軟件研究所）;2005年

10 秦學(xué);智慧政務(wù)業(yè)務(wù)協(xié)同關(guān)鍵技術(shù)研究[D];武漢大學(xué);2013年

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

1 高志升;基于多Agent的語義Web服務(wù)自動(dòng)組合方法的研究[D];西華大學(xué);2006年

2 牟欣濤;基于語義的WEB服務(wù)組合框架的研究[D];中國海洋大學(xué);2008年

3 李玉鑫;基于本體的動(dòng)態(tài)Web服務(wù)組合的研究與應(yīng)用[D];大連理工大學(xué);2009年

4 何智華;語義Web服務(wù)自動(dòng)組合技術(shù)的研究[D];同濟(jì)大學(xué);2006年

5 許廣宇;Web服務(wù)組合研究與實(shí)現(xiàn)[D];北京郵電大學(xué);2009年

6 秦雪杰;基于語義Web服務(wù)的業(yè)務(wù)過程集成研究與應(yīng)用[D];河海大學(xué);2006年

7 錢斌;語義Web服務(wù)的自動(dòng)調(diào)用[D];山東大學(xué);2005年

8 陳偉;語義Web服務(wù)的關(guān)鍵技術(shù)研究[D];西北工業(yè)大學(xué);2006年

9 趙娟;本體在Web服務(wù)發(fā)現(xiàn)中的應(yīng)用[D];西北大學(xué);2006年

10 嚴(yán)娜;基于上下文的語義Web服務(wù)發(fā)現(xiàn)框架及其應(yīng)用[D];大連海事大學(xué);2009年

，

本文編號(hào)：574468