發(fā)布時(shí)間：2019-07-06 19:58

【摘要】：近年來(lái),基于語(yǔ)義的Web服務(wù)組合,尤其是Web服務(wù)的自動(dòng)組合方法已成為服務(wù)計(jì)算領(lǐng)域的一個(gè)研究熱點(diǎn).實(shí)現(xiàn)了從一個(gè)OWL-S過(guò)程模型到流演算概念的映射,并給出了相應(yīng)的轉(zhuǎn)換算法.在此基礎(chǔ)上,提出了一個(gè)新穎的、基于流演算形式化體系的Web服務(wù)自動(dòng)組合方法.該方法采用前推推理機(jī)制對(duì)狀態(tài)和動(dòng)作進(jìn)行推理,有效地克服了以傳統(tǒng)的情景演算為代表的人工智能規(guī)劃算法執(zhí)行效率較低的問(wèn)題.設(shè)計(jì)實(shí)現(xiàn)了一個(gè)實(shí)驗(yàn)性的原型系統(tǒng),結(jié)合一個(gè)旅游行程規(guī)劃的實(shí)例說(shuō)明了本文提出的方法的有效性.對(duì)提出的BCABFC(Backward-Chaining Algorithm Based On Fluent Calculus)算法與基于情景演算的同類(lèi)算法進(jìn)行性能比較,實(shí)驗(yàn)結(jié)果表明該算法具有較好的性能.
文內(nèi)圖片：
圖片說(shuō)明：回歸推理機(jī)制Fig．1Aregression-basedinferenceschema
[Abstract]:In recent years, semantic-based Web service composition, especially the automatic composition method of Web services, has become a research focus in the field of service computing. The mapping from a OWL-S process model to the concept of flow calculus is realized, and the corresponding conversion algorithm is given. On this basis, a novel automatic composition method of Web services based on the formal architecture of flow calculus is proposed. In this method, the forward reasoning mechanism is used to reason the state and action, which effectively overcome the problem of low execution efficiency of the artificial intelligence planning algorithm represented by the traditional situational calculus. An experimental prototype system is designed and implemented, and the effectiveness of the method proposed in this paper is illustrated by an example of tourism itinerary planning. The performance of the proposed BCABFC (Backward-Chaining Algorithm Based On Fluent Calculus) algorithm is compared with that of the same kind of algorithm based on situational calculus. The experimental results show that the algorithm has better performance.
【作者單位】： 山東大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;人力資源和社會(huì)保障部信息中心;威海職業(yè)學(xué)院工業(yè)技術(shù)系;
【基金】：國(guó)家科技支撐計(jì)劃項(xiàng)目(2009BAH44B01)資助 國(guó)家自然科學(xué)基金項(xiàng)目(90818001,61003253)資助 山東省自然科學(xué)基金項(xiàng)目(ZR2010FQ010,ZR2010FM031)資助 山東大學(xué)自主創(chuàng)新基金項(xiàng)目(2009TS030)資助
【分類(lèi)號(hào)】：TP393.09

【相似文獻(xiàn)】

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

1 趙娟;李延香;;OWL-S在語(yǔ)義Web服務(wù)發(fā)現(xiàn)中的應(yīng)用[J];咸陽(yáng)師范學(xué)院學(xué)報(bào);2008年06期

2 陳楠;李建華;劉賢;;基于參數(shù)關(guān)聯(lián)矩陣的服務(wù)組合研究[J];計(jì)算機(jī)工程;2010年20期

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

4 朱正東;胡亞紅;伍衛(wèi)國(guó);王勇;李增智;;內(nèi)容尋址網(wǎng)絡(luò)的P2P語(yǔ)義Web服務(wù)組合系統(tǒng)架構(gòu)[J];西安交通大學(xué)學(xué)報(bào);2010年02期

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

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

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

8 蔣運(yùn)承;史忠植;;OWL-S的形式語(yǔ)義[J];計(jì)算機(jī)科學(xué);2005年07期

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

10 郭立帆;蘇志軍;;語(yǔ)義Web服務(wù)概念及主流框架研究[J];江西圖書(shū)館學(xué)刊;2008年01期

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

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

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

3 蔣玉婷;李必信;;基于變異思想測(cè)試OWL-S工作流[A];第六屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2010年

4 江琦;奚宏生;殷保群;;網(wǎng)絡(luò)新媒體服務(wù)系統(tǒng)事件驅(qū)動(dòng)的動(dòng)態(tài)服務(wù)組合[A];第二十九屆中國(guó)控制會(huì)議論文集[C];2010年

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

6 袁兆山;吳亮;;QoS驅(qū)動(dòng)的事務(wù)性WEB服務(wù)組合[A];全國(guó)第20屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議(CACIS·2009)暨全國(guó)第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2009年

7 張玉軍;李心科;;面向自然語(yǔ)言描述的Web服務(wù)組合[A];2011中國(guó)儀器儀表與測(cè)控技術(shù)大會(huì)論文集[C];2011年

8 段友祥;相鵬;;Web服務(wù)組合引擎的研究與實(shí)現(xiàn)[A];第二十三屆中國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（研究報(bào)告篇）[C];2006年

9 張艷梅;;基于Overlay網(wǎng)絡(luò)的服務(wù)組合研究綜述[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（上）[C];2006年

10 亓開(kāi)元;李基梅;;業(yè)務(wù)端編程模式與現(xiàn)行服務(wù)組合模式的對(duì)比分析[A];煤礦自動(dòng)化與信息化——第19屆全國(guó)煤礦自動(dòng)化與信息化學(xué)術(shù)會(huì)議暨中國(guó)礦業(yè)大學(xué)（北京）百年校慶學(xué)術(shù)會(huì)議論文集[C];2009年

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

1 中國(guó)科學(xué)院計(jì)算技術(shù)研究所 萬(wàn)長(zhǎng)林邋史忠植 彭暉;語(yǔ)義Web解決Web服務(wù)難題[N];計(jì)算機(jī)世界;2007年

2 韓燕波;SOA與網(wǎng)格：整合資源新模式[N];計(jì)算機(jī)世界;2006年

3 馬濤;搭建VPN五步驟[N];中國(guó)計(jì)算機(jī)報(bào);2007年

4 劉文熙;靈活性與實(shí)時(shí)性的統(tǒng)一[N];人民郵電;2000年

5 清華大學(xué)計(jì)算機(jī)系 徐劍軍 張釙 李涓子 王克宏;智能化應(yīng)用的基石[N];計(jì)算機(jī)世界;2004年

6 ;諾頓網(wǎng)絡(luò)安全特警2010與Think品牌電腦強(qiáng)強(qiáng)聯(lián)手[N];人民郵電;2009年

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

1 龍軍;基于信任感知與演化的服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

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

3 馬炳先;語(yǔ)義Web服務(wù)自動(dòng)組合的Petri網(wǎng)方法研究[D];中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2006年

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

5 朱銳;可信服務(wù)組合若干關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2009年

6 于曉浩;面向任務(wù)的軍事信息服務(wù)組合方法與關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

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

8 馬林;基于可信評(píng)估的服務(wù)組合方法研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2012年

9 翟巖龍;開(kāi)放網(wǎng)絡(luò)環(huán)境中動(dòng)態(tài)自適應(yīng)服務(wù)組合技術(shù)研究[D];北京理工大學(xué);2009年

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

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

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

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

3 羅艷霞;基于語(yǔ)義的Web服務(wù)發(fā)現(xiàn)研究[D];武漢理工大學(xué);2007年

4 王鵬超;基于規(guī)劃的語(yǔ)義Web服務(wù)組合[D];吉林大學(xué);2005年

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

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

7 楊彥博;基于流演算的上下文感知Web服務(wù)組合研究[D];浙江大學(xué);2011年

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

9 王華剛;基于語(yǔ)義網(wǎng)技術(shù)的Web服務(wù)研究[D];武漢大學(xué);2005年

10 武海峰;基于OWL-S的動(dòng)態(tài)服務(wù)組合的改進(jìn)的研究[D];江南大學(xué);2007年

，

本文編號(hào)：2511287