本文關(guān)鍵詞： 人工智能 語(yǔ)義Web服務(wù) 服務(wù)組合 模型檢測(cè)　出處：《吉林大學(xué)學(xué)報(bào)(工學(xué)版)》2013年02期 　論文類型：期刊論文

【摘要】：提出一種以O(shè)WL-S和模型檢測(cè)技術(shù)為基礎(chǔ)的Web服務(wù)自動(dòng)組合方法,通過(guò)時(shí)間自動(dòng)機(jī)建立語(yǔ)義Web服務(wù)的模型,能夠刻畫接口和過(guò)程交互的語(yǔ)義信息,并且能夠表達(dá)復(fù)合用戶需求。利用對(duì)應(yīng)的模型檢測(cè)工具,可以實(shí)現(xiàn)高效的自動(dòng)組合。仿真實(shí)驗(yàn)證明,該方法有效地提高了服務(wù)組合的效率及質(zhì)量,同時(shí)在狀態(tài)空間的表示和維持方面具有顯著的優(yōu)勢(shì)。
[Abstract]:An automatic composition method of Web services based on OWL-S and model checking technology is proposed. The model of semantic Web services is built by time automata, which can describe the semantic information of interface and process interaction. And it can express the needs of composite users. Using the corresponding model checking tools, it can realize efficient automatic combination. The simulation results show that this method can effectively improve the efficiency and quality of service composition. At the same time, it has significant advantages in the representation and maintenance of state space.
【作者單位】： 貴州大學(xué)計(jì)算機(jī)科學(xué)與信息學(xué)院;
【基金】：國(guó)家自然科學(xué)基金項(xiàng)目(60863005,61262006) 貴州省科學(xué)技術(shù)基金項(xiàng)目(黔科合J字[2012]2125號(hào)) 貴州大學(xué)引進(jìn)人才科研項(xiàng)目(201114)
【分類號(hào)】：TP393.09

【共引文獻(xiàn)】

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

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

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

1 劉家茂;Web services動(dòng)態(tài)合成及UDDI注冊(cè)/查詢技術(shù)的研究[D];復(fù)旦大學(xué);2005年

2 鄧水光;Web服務(wù)自動(dòng)組合與形式化驗(yàn)證的研究[D];浙江大學(xué);2007年

3 劉勇軍;基于語(yǔ)義Web服務(wù)的供應(yīng)鏈知識(shí)協(xié)同模式研究[D];武漢理工大學(xué);2006年

4 黎英;面向鐵路信息共享的語(yǔ)義web服務(wù)合成技術(shù)及方法研究[D];北京交通大學(xué);2008年

5 周竹榮;基于語(yǔ)義的教學(xué)網(wǎng)格門戶研究[D];西南大學(xué);2008年

【相似文獻(xiàn)】

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

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

2 沈記全,鄭雪峰,涂序彥;基于廣義人工生命的信息網(wǎng)格管理模型研究[J];計(jì)算機(jī)應(yīng)用;2005年12期

3 魯靜;熊思;;Agent技術(shù)在入侵檢測(cè)系統(tǒng)中的應(yīng)用[J];湖北第二師范學(xué)院學(xué)報(bào);2009年02期

4 好人難做;;讓我猜猜你在想什么[J];電腦知識(shí)與技術(shù)(經(jīng)驗(yàn)技巧);2009年12期

5 邢小東;侯飛;李千路;;人工免疫算法在入侵檢測(cè)中的應(yīng)用[J];微計(jì)算機(jī)信息;2010年27期

6 郭學(xué)俊;秦雪杰;杜春;;基于語(yǔ)義Web服務(wù)的業(yè)務(wù)過(guò)程集成的研究及實(shí)現(xiàn)[J];計(jì)算機(jī)技術(shù)與發(fā)展;2006年02期

7 馮名正;;Web服務(wù)組合研究綜述[J];計(jì)算機(jī)應(yīng)用與軟件;2007年02期

8 高巾;姜贏;郭立帆;;語(yǔ)義Web服務(wù)異構(gòu)性解決方法——WSMO中介器深入探討[J];現(xiàn)代圖書(shū)情報(bào)技術(shù);2007年06期

9 馮棟柱;;基于神經(jīng)網(wǎng)絡(luò)的語(yǔ)義Web服務(wù)發(fā)現(xiàn)機(jī)制[J];電腦知識(shí)與技術(shù);2008年36期

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

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

1 張強(qiáng);;以校園網(wǎng)為平臺(tái)充分發(fā)揮計(jì)算機(jī)作為知識(shí)載體的作用[A];教育技術(shù)：信息化階段新發(fā)展的研究[C];2007年

2 龔成清;;基于人工智能的Linux網(wǎng)絡(luò)入侵檢測(cè)系統(tǒng)的設(shè)計(jì)[A];第三屆全國(guó)軟件測(cè)試會(huì)議與移動(dòng)計(jì)算、柵格、智能化高級(jí)論壇論文集[C];2009年

3 蘇金瀧;歐陽(yáng)鐘輝;;大信息平臺(tái)智能入侵檢測(cè)系統(tǒng)應(yīng)用研究[A];中國(guó)信息經(jīng)濟(jì)學(xué)會(huì)2007年學(xué)術(shù)年會(huì)論文集[C];2007年

4 鄧蔚;秦志光;;基于Kolmogorov復(fù)雜性的垃圾信息過(guò)濾研究綜述[A];中國(guó)電子學(xué)會(huì)第十七屆信息論學(xué)術(shù)年會(huì)論文集[C];2010年

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

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

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

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

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

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

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

1 ;人工智能分辨垃圾郵件[N];網(wǎng)絡(luò)世界;2003年

2 本報(bào)記者 于揚(yáng);賦“交換機(jī)”予“人工智能”[N];網(wǎng)絡(luò)世界;2002年

3 ;港灣“人工智能”網(wǎng)絡(luò)[N];網(wǎng)絡(luò)世界;2002年

4 記者 蕭陽(yáng);郵件丟信頻發(fā)生 郵箱服務(wù)商出招應(yīng)對(duì)[N];計(jì)算機(jī)世界;2007年

5 內(nèi)蒙古建設(shè)銀行包頭分行 薛志強(qiáng);體會(huì)寬度優(yōu)先搜索[N];網(wǎng)絡(luò)世界;2002年

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

7 李瀛寰;安全更需要智能[N];中國(guó)計(jì)算機(jī)報(bào);2007年

8 王偉 張征 潘麗 趙麗麗;入侵檢測(cè)的智能應(yīng)用[N];計(jì)算機(jī)世界;2006年

9 港灣網(wǎng)絡(luò)公司供稿;構(gòu)建智慧型網(wǎng)絡(luò)[N];計(jì)算機(jī)世界;2002年

10 彭巖 鄢琦;網(wǎng)絡(luò)信息“推送”技術(shù)[N];計(jì)算機(jī)世界;2001年

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

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

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

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

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

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

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

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

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

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

10 劉棟;上下文感知計(jì)算技術(shù)研究及其在語(yǔ)義Web服務(wù)中的應(yīng)用[D];北京郵電大學(xué);2009年

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

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

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

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

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

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

6 路陽(yáng);信息Agent適應(yīng)性實(shí)現(xiàn)技術(shù)研究[D];大慶石油學(xué)院;2005年

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

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

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

10 姚書(shū)懷;語(yǔ)義Web服務(wù)發(fā)現(xiàn)機(jī)制的研究[D];西華大學(xué);2006年

，

本文編號(hào)：1554391