本文關(guān)鍵詞：基于動(dòng)態(tài)描述邏輯的Web自動(dòng)化服務(wù)組合

  更多相關(guān)文章： Web服務(wù)組合 語義Web 描述邏輯 動(dòng)態(tài)描述邏輯(DDL)

【摘要】：研究了動(dòng)態(tài)描述邏輯(DDL)在Web服務(wù)組合中的應(yīng)用�；谀繕�(biāo)規(guī)劃以及動(dòng)態(tài)描述邏輯給出了Web服務(wù)組合算法。該算法考慮了客戶的個(gè)人偏好,擴(kuò)大了Web服務(wù)的應(yīng)用范圍。它使用DDL進(jìn)行Web服務(wù)組合刻畫,因?yàn)镈DL將具有相似功能的服務(wù)劃為一個(gè)動(dòng)作集合,因而能夠?qū)崿F(xiàn)對(duì)語義Web中的動(dòng)態(tài)知識(shí)和靜態(tài)知識(shí)的統(tǒng)一描述,克服描述邏輯缺乏對(duì)動(dòng)態(tài)知識(shí)描述的不足。該算法能夠利用目標(biāo)規(guī)劃給出主體的動(dòng)作執(zhí)行序列,以有效實(shí)現(xiàn)Web服務(wù)的自動(dòng)組合。最后通過具體實(shí)例驗(yàn)證了該算法的可行性。
【作者單位】： 中國科學(xué)院計(jì)算技術(shù)研究所智能信息重點(diǎn)實(shí)驗(yàn)室;中國科學(xué)院大學(xué);中國礦業(yè)大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：973計(jì)劃(2013CB329502) 國家自然科學(xué)基金(61035003,60933004,61202212,61072085) 863計(jì)劃(2012AA011003) 國家科技支撐計(jì)劃(2012BA107B02) 中國信息安全測(cè)評(píng)中心(CNITSEC-KY-2012-006/1)資助項(xiàng)目
【分類號(hào)】：TP393.09
【正文快照】： ,^ 智能規(guī)劃的方法。范貴生等[5]采用Petri網(wǎng)對(duì)Weh^ 服務(wù)組合的過程進(jìn)行描述,其優(yōu)點(diǎn)是較為直觀,但是隨著Web服務(wù)類型、數(shù)量的爆炸式增長,Weh 隨著服務(wù)組合規(guī)模的增大,容易引起狀態(tài)空苘爆炸服務(wù)從局部發(fā)展到了全球,從集中式發(fā)展到分布式, 問題。肖芳雄籌[6]提出了一種時(shí)間概率

【參考文獻(xiàn)】

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

1 邱爽;王亞東;劉永壯;;基于語義Web服務(wù)內(nèi)部流程接口匹配的服務(wù)組合算法[J];高技術(shù)通訊;2012年06期

2 肖芳雄;李燕;黃志球;曹子寧;陳哲;范大娟;;基于時(shí)間概率代價(jià)進(jìn)程代數(shù)的Web服務(wù)組合建模和分析[J];計(jì)算機(jī)學(xué)報(bào);2012年05期

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

4 范貴生;虞慧群;陳麗瓊;劉冬梅;;基于Petri網(wǎng)的服務(wù)組合故障診斷與處理[J];軟件學(xué)報(bào);2010年02期

5 王杰生;李舟軍;李夢(mèng)君;;用描述邏輯進(jìn)行語義Web服務(wù)組合[J];軟件學(xué)報(bào);2008年04期

6 邱莉榕;史忠植;林芬;常亮;;基于主體的語義Web服務(wù)自動(dòng)組合研究[J];計(jì)算機(jī)研究與發(fā)展;2007年04期

7 史忠植,董明楷,蔣運(yùn)承,張�？�;語義Web的邏輯基礎(chǔ)[J];中國科學(xué)E輯:信息科學(xué);2004年10期

【共引文獻(xiàn)】

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

1 賈靜蘭;董才林;喻瑩;王靜;張麗芬;;基于回溯樹的語義Web服務(wù)自動(dòng)組合優(yōu)化方法[J];計(jì)算機(jī)工程;2016年04期

2 楊波;李穎芳;傅錦偉;;基于Petri網(wǎng)的語義Web服務(wù)組合建模研究[J];紅河學(xué)院學(xué)報(bào);2016年02期

3 呂大鈞;;計(jì)算機(jī)體系結(jié)構(gòu)軟件模擬技術(shù)分析[J];電子技術(shù)與軟件工程;2016年04期

4 肖芳雄;許波;夏國恩;李國祥;閔華清;;面向組合式軟件功能正確性和非功能滿足性的統(tǒng)一建模方法[J];計(jì)算機(jī)科學(xué);2015年12期

5 李玲;劉敏;成國慶;;一種基于FAHP的多維QoS局部最優(yōu)服務(wù)選擇模型[J];計(jì)算機(jī)學(xué)報(bào);2015年10期

6 劉冰月;張永;;基于松弛函數(shù)擴(kuò)展的二分圖匹配服務(wù)發(fā)現(xiàn)算法[J];計(jì)算機(jī)工程與設(shè)計(jì);2015年09期

7 孫彬;;計(jì)算機(jī)物流服務(wù)的約簡(jiǎn)與優(yōu)勢(shì)發(fā)現(xiàn)[J];物流技術(shù);2015年13期

8 楊煜俊;陶宇;吳少練;畢輝;;基于Web Services和MMS的機(jī)器人制造單元異構(gòu)設(shè)備通訊研究[J];現(xiàn)代制造工程;2015年05期

9 王娜娜;黃運(yùn)有;唐素勤;王石;曹存根;;基于OMKast的術(shù)語關(guān)系獲取和驗(yàn)證[J];計(jì)算機(jī)應(yīng)用研究;2015年11期

10 魏彩娟;;基于Web3.0概念的個(gè)人信息保護(hù)研究[J];電腦知識(shí)與技術(shù);2015年11期

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

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

1 胡建強(qiáng);李涓子;廖桂平;;一種基于多維服務(wù)質(zhì)量的局部最優(yōu)服務(wù)選擇模型[J];計(jì)算機(jī)學(xué)報(bào);2010年03期

2 范小芹;蔣昌俊;王俊麗;龐善臣;;隨機(jī)QoS感知的可靠Web服務(wù)組合[J];軟件學(xué)報(bào);2009年03期

3 史忠植;常亮;;基于動(dòng)態(tài)描述邏輯的語義Web服務(wù)推理[J];計(jì)算機(jī)學(xué)報(bào);2008年09期

4 鄧水光;尹建偉;李瑩;吳健;吳朝暉;;基于二分圖匹配的語義Web服務(wù)發(fā)現(xiàn)方法[J];計(jì)算機(jī)學(xué)報(bào);2008年08期

5 范貴生;劉冬梅;陳麗瓊;虞慧群;;可靠服務(wù)組合的協(xié)調(diào)策略與分析[J];計(jì)算機(jī)學(xué)報(bào);2008年08期

6 王杰生;李舟軍;李夢(mèng)君;;用描述邏輯進(jìn)行語義Web服務(wù)組合[J];軟件學(xué)報(bào);2008年04期

7 鄧水光;吳健;李瑩;吳朝暉;;基于回溯樹的Web服務(wù)自動(dòng)組合[J];軟件學(xué)報(bào);2007年08期

8 王杰生;李舟軍;李夢(mèng)君;;語義Web服務(wù)的自動(dòng)化組合方法:研究綜述[J];計(jì)算機(jī)科學(xué);2007年06期

9 呂建;馬曉星;陶先平;徐鋒;胡昊;;網(wǎng)構(gòu)軟件的研究與進(jìn)展[J];中國科學(xué)E輯:信息科學(xué);2006年10期

10 梅宏;申峻嶸;;軟件體系結(jié)構(gòu)研究進(jìn)展[J];軟件學(xué)報(bào);2006年06期

【相似文獻(xiàn)】

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

1 王駒;蔣運(yùn)承;唐素勤;;一種模糊動(dòng)態(tài)描述邏輯[J];計(jì)算機(jī)科學(xué)與探索;2007年02期

2 王歲花;趙愛玲;魏濤;;描述邏輯的粗糙擴(kuò)展研究[J];計(jì)算機(jī)工程與科學(xué);2011年02期

3 李言輝,徐寶文,陸建江,汪鵬,周晶晶;一種擴(kuò)展的模糊描述邏輯[J];東南大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年05期

4 陸建江;李言輝;張亞非;周波;康達(dá)周;;限制數(shù)量約束的擴(kuò)展模糊描述邏輯的推理復(fù)雜性(英文)[J];Journal of Southeast University;2007年02期

5 李宗壽;;基于描述邏輯的知識(shí)建模語言[J];懷化學(xué)院學(xué)報(bào)(自然科學(xué));2007年02期

6 彭暉;陳立民;常亮;史忠植;;基于動(dòng)態(tài)描述邏輯的語義Web服務(wù)匹配研究[J];計(jì)算機(jī)研究與發(fā)展;2008年12期

7 叢曉青;曹存根;眭躍飛;;帶函數(shù)的描述邏輯[J];計(jì)算機(jī)工程與應(yīng)用;2008年22期

8 王靜;賈成偉;張健沛;楊靜;;基于可拓理論的描述邏輯擴(kuò)展[J];計(jì)算機(jī)應(yīng)用;2008年08期

9 史忠植;常亮;;基于動(dòng)態(tài)描述邏輯的語義Web服務(wù)推理[J];計(jì)算機(jī)學(xué)報(bào);2008年09期

10 吳修國;曾廣周;許崇敬;;基于描述邏輯的目標(biāo)推理研究[J];計(jì)算機(jī)科學(xué);2008年07期

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

1 文斌;甘健侯;夏幼明;徐天任;;基于ALC的擴(kuò)展描述邏輯ALC~+[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

2 曹發(fā)生;;描述邏輯系統(tǒng)UEVN中概念的包含算法[A];“回顧與前瞻：中國邏輯史研究30年”全國學(xué)術(shù)研討會(huì)論文集[C];2010年

3 文斌;甘健侯;夏幼明;徐天偉;;框架表示法到擴(kuò)展描述邏輯ALC+的轉(zhuǎn)換初探[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2008年

4 吳凌坤;湯庸;湯娜;;一種基于時(shí)態(tài)描述邏輯的工資智能決策支持系統(tǒng)的實(shí)現(xiàn)[A];第二十三屆中國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（研究報(bào)告篇）[C];2006年

5 康達(dá)周;徐寶文;陸建江;李言輝;;支持語義web模糊本體的描述邏輯(英文)[A];全國語域web與本體能研討會(huì)論文集[C];2006年

6 李敏靜;郭佳宏;;基于描述邏輯的概念表示[A];2012·學(xué)術(shù)前沿論叢——科學(xué)發(fā)展：深化改革與改善民生（上）[C];2012年

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

1 中國科學(xué)院計(jì)算技術(shù)研究所 常亮邋史忠植;語義Web的邏輯基礎(chǔ)[N];計(jì)算機(jī)世界;2007年

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

1 王靜;基于可拓集的描述邏輯研究[D];哈爾濱工程大學(xué);2009年

2 鄒婷婷;描述邏輯中若干問題的研究[D];吉林大學(xué);2013年

3 張小旺;超協(xié)調(diào)描述邏輯[D];北京大學(xué);2011年

4 紀(jì)祥;二維描述邏輯的元建模及其應(yīng)用[D];吉林大學(xué);2013年

5 孫小林;2-型模糊描述邏輯及其在本體進(jìn)化中的應(yīng)用研究[D];華中科技大學(xué);2007年

6 沈國華;基于描述邏輯的語義Web服務(wù)建模及推理研究[D];南京航空航天大學(xué);2009年

7 古華茂;描述邏輯概念可滿足性推理研究[D];浙江大學(xué);2009年

8 方流;描述邏輯推理優(yōu)化技術(shù)研究[D];浙江大學(xué);2008年

9 王海龍;支持模糊數(shù)據(jù)類型表示的模糊描述邏輯研究[D];東北大學(xué);2009年

10 唐素勤;面向語義Web的描述邏輯本體構(gòu)建[D];中南大學(xué);2011年

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

1 張娜;基于DL-Lite的動(dòng)態(tài)描述邏輯研究[D];桂林電子科技大學(xué);2015年

2 李瑩;基于描述邏輯的教育突發(fā)事件語義描述及知識(shí)推理方法研究[D];云南師范大學(xué);2015年

3 于云;基于本體和描述邏輯的交通事件語義表現(xiàn)方法研究[D];山東理工大學(xué);2015年

4 唐英英;基于擴(kuò)展描述邏輯的事件實(shí)例推理研究[D];上海大學(xué);2014年

5 文斌;基于描述邏輯的語義Web知識(shí)推理研究[D];云南師范大學(xué);2005年

6 甘曉麗;基于描述邏輯的概念建模研究[D];廣西師范大學(xué);2006年

7 領(lǐng)吉;描述邏輯與規(guī)則整合研究[D];吉林大學(xué);2010年

8 李國媛;模糊描述邏輯擴(kuò)展模糊軟集的研究[D];東北師范大學(xué);2012年

9 張瑞霞;基于描述邏輯的定性空間推理研究[D];重慶大學(xué);2010年

10 袁佳樂;描述邏輯歸結(jié)推理的研究[D];華東交通大學(xué);2009年

，

本文編號(hào)：1144182