【摘要】：應(yīng)用合適的形式系統(tǒng)對語義Web服務(wù)建模是實(shí)現(xiàn)語義Web服務(wù)自動(dòng)組合的前提;形式系統(tǒng)的表達(dá)能力和計(jì)算性能決定了語義Web服務(wù)組合的準(zhǔn)確度和求解效率.動(dòng)態(tài)描述邏輯DDL(X)將動(dòng)態(tài)邏輯、描述邏輯以及構(gòu)建在描述邏輯之上的動(dòng)作理論有機(jī)地結(jié)合,為語義Web服務(wù)的建模提供了新的工具.提出了一種基于DDL(X)的語義Web服務(wù)自動(dòng)組合方法.首先,在將OWL-S表示的語義Web服務(wù)建模為動(dòng)作的基礎(chǔ)上,將語義Web服務(wù)組合問題建模為基于DDL(X)的規(guī)劃問題,其中規(guī)劃問題的規(guī)劃解可以由DDL(X)中的任一動(dòng)作構(gòu)成,從而可以支持OWL-S中不含有Split和Split+Join的各種Web服務(wù)組合方案.針對建模后得到的任一規(guī)劃問題,給出了用來判斷是否存在規(guī)劃解的判定算法,證明了算法的可終止性、可靠性和完備性.最后,當(dāng)規(guī)劃解存在時(shí),可以根據(jù)判定過程將其解析出來.文中的方法充分發(fā)揮了DDL(X)在表達(dá)能力和計(jì)算性能等方面的優(yōu)勢,為語義Web服務(wù)自動(dòng)組合提供了一套有效的理論工具.
[Abstract]:The modeling of semantic Web services using appropriate formal systems is the prerequisite for automatic composition of semantic Web services, and the expressive ability and computational performance of formal systems determine the accuracy and efficiency of semantic Web services composition. Dynamic description logic (DDL (X) combines dynamic logic, description logic and action theory based on description logic, which provides a new tool for modeling semantic Web services. This paper presents an automatic composition method of semantic Web services based on DDL (X). Firstly, on the basis of modeling the semantic Web service represented by OWL-S as an action, the semantic Web service composition problem is modeled as a DDL (X) based planning problem, where the planning solution of the planning problem can be composed of any action in DDL (X). Thus, it can support various Web service composition schemes without Split and Split Join in OWL-S. For any programming problem after modeling, an algorithm for judging the existence of programming solution is presented, and the terminability, reliability and completeness of the algorithm are proved. Finally, when the programming solution exists, it can be analyzed according to the decision process. The method in this paper gives full play to the advantages of DDL (X) in terms of expression ability and computational performance, and provides a set of effective theoretical tools for automatic composition of semantic Web services.
【作者單位】： 武漢大學(xué)軟件工程國家重點(diǎn)實(shí)驗(yàn)室;桂林電子科技大學(xué)廣西可信軟件重點(diǎn)實(shí)驗(yàn)室;中國科學(xué)院計(jì)算技術(shù)研究所智能信息處理重點(diǎn)實(shí)驗(yàn)室;
【基金】：國家自然科學(xué)基金(61363030,61262030,61035003,61070013,61163041) 國家“九七三”重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃項(xiàng)目基金(2007CB311004) 武漢大學(xué)軟件工程國家重點(diǎn)實(shí)驗(yàn)室開放基金(SKLSE2010-08-02) 廣西自然科學(xué)基金(2012GXNSFBA053169) 廣西可信軟件重點(diǎn)實(shí)驗(yàn)室研究課題(KX201109)資助~~
【分類號(hào)】：TP18;TP393.09

【參考文獻(xiàn)】

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

1 ;A logical foundation for the semantic Web[J];Science in China(Series F:Information Sciences);2005年02期

2 常亮;史忠植;邱莉榕;林芬;;動(dòng)態(tài)描述邏輯的Tableau判定算法[J];計(jì)算機(jī)學(xué)報(bào);2008年06期

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

4 宋巍;馬曉星;呂建;;Web服務(wù)組合動(dòng)態(tài)演化的實(shí)例可遷移性[J];計(jì)算機(jī)學(xué)報(bào);2009年09期

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

6 湯憲飛;蔣昌俊;丁志軍;王成;;基于Petri網(wǎng)的語義Web服務(wù)自動(dòng)組合方法[J];軟件學(xué)報(bào);2007年12期

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

【共引文獻(xiàn)】

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

1 夏亞梅;蘇森;;面向本體實(shí)例生成的有限漢語語法學(xué)習(xí)系統(tǒng)[J];北京郵電大學(xué)學(xué)報(bào);2010年05期

2 萬長林;韓旭;牛溫佳;王文杰;史忠植;;基于動(dòng)態(tài)描述邏輯的服務(wù)組合及質(zhì)量模型[J];電子學(xué)報(bào);2010年08期

3 張大鵬;王文杰;史忠植;;一種基于主體的可信網(wǎng)構(gòu)軟件設(shè)計(jì)方法[J];電子學(xué)報(bào);2010年11期

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

5 朱玲玲;;動(dòng)態(tài)ABoxes的描述邏輯推理[J];福建電腦;2009年01期

6 常亮;;基于邏輯的行動(dòng)理論綜述[J];桂林電子科技大學(xué)學(xué)報(bào);2010年05期

7 李德波;古天龍;常亮;高西;;基于OBDD的描述邏輯SHOIQ判定算法研究與實(shí)現(xiàn)[J];桂林電子科技大學(xué)學(xué)報(bào);2011年02期

8 黃聰;古天龍;常亮;;基于OBDD的描述邏輯ALC判定算法[J];桂林電子科技大學(xué)學(xué)報(bào);2012年03期

9 常亮;高申;李德波;古天龍;;基于OBDD的描述邏輯ALCIO判定算法[J];廣西科學(xué)院學(xué)報(bào);2010年04期

10 周相兵;;本體應(yīng)用綜述[J];廣西科學(xué)院學(xué)報(bào);2010年04期

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

1 趙會(huì)群;孫晶;魏瑩;王文文;;服務(wù)體系結(jié)構(gòu)的動(dòng)態(tài)演化方法研究[A];CCF NCSC 2011——第二屆中國計(jì)算機(jī)學(xué)會(huì)服務(wù)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2011年

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

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

1 宋巍;Web服務(wù)組合動(dòng)態(tài)演化技術(shù)研究[D];南京大學(xué);2010年

2 鄺礫;基于接口和行為語義的Web服務(wù)發(fā)現(xiàn)與適配研究[D];浙江大學(xué);2009年

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

4 宋雅娟;Web服務(wù)組合方法研究[D];吉林大學(xué);2011年

5 蕭毅鴻;基于本體的復(fù)雜決策任務(wù)表示方法與求解技術(shù)研究[D];南京大學(xué);2011年

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

7 張龍昌;面向復(fù)雜上下文的組合服務(wù)決策方法研究[D];北京郵電大學(xué);2011年

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

9 楊瑞龍;基于短語特征的Web文檔聚類方法研究[D];重慶大學(xué);2010年

10 童亮;數(shù)控機(jī)床網(wǎng)絡(luò)化集成運(yùn)行模式及關(guān)鍵集成技術(shù)研究[D];重慶大學(xué);2011年

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

1 張福新;工作流動(dòng)態(tài)構(gòu)建技術(shù)研究及應(yīng)用[D];山東科技大學(xué);2010年

2 宋超臣;基于推薦網(wǎng)絡(luò)的服務(wù)搜索技術(shù)研究[D];哈爾濱工程大學(xué);2010年

3 杜娟;基于語義網(wǎng)格的知識(shí)地圖資源組織研究與應(yīng)用[D];哈爾濱工程大學(xué);2010年

4 朱利君;基于茶學(xué)領(lǐng)域本體的智能檢索研究[D];安徽農(nóng)業(yè)大學(xué);2010年

5 王志兵;軟件行為運(yùn)行時(shí)驗(yàn)證研究[D];湖南工業(yè)大學(xué);2010年

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

7 劉云;數(shù)字家庭無線射頻協(xié)議的形式化分析與研究[D];華東理工大學(xué);2011年

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

9 李延紅;基于Pi演算的Web服務(wù)組合技術(shù)研究[D];山東經(jīng)濟(jì)學(xué)院;2011年

10 李平平;用OWL-S分析構(gòu)建商業(yè)銀行卡系統(tǒng)的SOA架構(gòu)[D];太原理工大學(xué);2011年

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

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

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

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

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

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

5 馬曉星 ,余萍 ,陶先平 ,呂建;一種面向服務(wù)的動(dòng)態(tài)協(xié)同架構(gòu)及其支撐平臺(tái)[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

6 李曼,王大治,杜小勇,王珊;基于領(lǐng)域本體的Web服務(wù)動(dòng)態(tài)組合[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

7 趙俊峰,謝冰,張路,楊芙清;一種支持領(lǐng)域特性的Web服務(wù)組裝方法[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

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ù)組合算法[J];安慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年04期

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

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

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

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

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

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

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

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

10 周相兵;楊小平;謝成錦;楊興江;;面向本體的服務(wù)組合差分進(jìn)化策略[J];計(jì)算機(jī)工程;2009年11期

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

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

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

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

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

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

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

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

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

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

10 趙蕓;司華友;;基于OWL-S需求驅(qū)動(dòng)的WEB服務(wù)組合研究[A];全國第19屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊）[C];2008年

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

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

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

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

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

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

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

1 向峰;云制造系統(tǒng)中基于能耗的服務(wù)組合關(guān)鍵技術(shù)研究[D];武漢理工大學(xué);2013年

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

3 劉波;云制造環(huán)境中面向多任務(wù)的服務(wù)組合與優(yōu)化技術(shù)研究[D];重慶大學(xué);2012年

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

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

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

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

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

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

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

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

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

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

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

4 陳楠;語義Web服務(wù)組合相關(guān)技術(shù)研究[D];中南大學(xué);2010年

5 吳亮;基于模糊Petri網(wǎng)的語義Web服務(wù)組合建模與驗(yàn)證[D];合肥工業(yè)大學(xué);2009年

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

7 趙偉偉;基于冗余的可靠Web服務(wù)組合方法研究[D];燕山大學(xué);2010年

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

9 譚征;一種Web服務(wù)組合的自動(dòng)化模型檢測方法[D];桂林電子科技大學(xué);2010年

10 王劍平;基于本體和規(guī)則的語義web服務(wù)的研究與實(shí)現(xiàn)[D];浙江工業(yè)大學(xué);2009年

，

本文編號(hào)：2283173