本文選題：OWL-S + 服務(wù)自動組合�。� 參考：《沈陽理工大學(xué)》2014年碩士論文

【摘要】：語義Web服務(wù)（Semantic Web Services，SWS）是用語義Web標記語言來描述服務(wù)的技術(shù)，它使Web服務(wù)成為計算機可以理解的實體，從而支持服務(wù)的自動發(fā)現(xiàn)、執(zhí)行和組合等。本文研究的是基于協(xié)同的服務(wù)組合與驗證，主要目標是在Agent系統(tǒng)上實現(xiàn)Web服務(wù)的協(xié)同工作，，完成自動組合，生成相應(yīng)的組合序列。本文主要成果有以下四個方面： （1）深入研究了語義Web本體語言O(shè)WL及語義Web服務(wù)描述語言O(shè)WL-S，并通過本體開發(fā)工具Protégé來開發(fā)本體，運用OWL-S Editor插件同Protégé開發(fā)工具來開發(fā)OWL-S，并通過購書服務(wù)的實例實現(xiàn)了OWL本體的開發(fā)和實現(xiàn)了OWL-S的服務(wù)描述。 （2）采用將OWL-S模型和狀態(tài)演算相結(jié)合的一種服務(wù)自動組合方法，用狀態(tài)演算描述語言Golog語言描述OWL-S服務(wù)，以電子商務(wù)中購書為例進行分析，分析出所涉及的原子服務(wù)，然后根據(jù)原子服務(wù)的協(xié)同交互運用Golog語言進行描述組合，并生成了相應(yīng)的序列。 （3）設(shè)計了一種基于多Agent系統(tǒng)平臺的Web服務(wù)組合模型，并進行了實例研究分析模擬。通過電子商務(wù)購書實例的演示系統(tǒng)初步驗證了基于協(xié)同的服務(wù)組合的可行性。 （4）采用Pi演算算法對服務(wù)組合方法及產(chǎn)生的序列進行進一步驗證，并運用Pi演算算法對Web服務(wù)可能的行為動作進行描述，驗證出了上述服務(wù)所產(chǎn)生的服務(wù)序列是兼容的。
[Abstract]:Semantic Web Services (Web) is a technique that uses semantic Web markup language to describe services. It makes Web services become an entity that can be understood by computers, thus supporting the automatic discovery, execution and composition of services. This paper focuses on collaborative service composition and verification. The main goal of this paper is to realize the collaborative work of Web services on Agent system, to complete the automatic composition and to generate the corresponding composition sequence. The main achievements of this paper are as follows: (1) the semantic Web ontology language (OWL) and semantic Web Services description language (OWL-S) are deeply studied, and the ontology is developed through the ontology development tool Prot 茅 g 茅. Using OWL-S Editor plug-in and Prot 茅 g 茅 development tool to develop OWL-S. the OWL ontology development and OWL-S service description are realized by the example of book purchase service. In this paper, an automatic service composition method which combines OWL-S model with state calculus is used to describe OWL-S service by state calculus description language (Golog), and the atomic services involved are analyzed by taking the purchase of books in electronic commerce as an example. Then the Golog language is used to describe the composition according to the cooperative interaction of atomic services, and the corresponding sequences are generated. A Web service composition model based on multiple Agent system platform is designed, and an example is given to analyze and simulate the model. The feasibility of service composition based on collaboration is preliminarily verified by the demonstration system of e-commerce book purchase. The Pi calculus algorithm is used to further verify the service composition method and the generated sequence, and the Pi calculus algorithm is used to describe the possible behavior of the Web service. It is verified that the service sequence generated by the above services is compatible.
【學(xué)位授予單位】：沈陽理工大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號】：TP393.09

【相似文獻】

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

1 王曉玲,郭志懋,周傲英;Web服務(wù)組合的基于文法的消息處理[J];計算機學(xué)報;2005年04期

2 王勇;張煜;尹瑞;;Web服務(wù)組合中商業(yè)事務(wù)處理的研究[J];小型微型計算機系統(tǒng);2006年01期

3 郭玉彬;杜玉越;奚建清;;Web服務(wù)組合的有色網(wǎng)模型及運算性質(zhì)[J];計算機學(xué)報;2006年07期

4 蔣運承;湯庸;;服務(wù)組合的質(zhì)量估計模型[J];小型微型計算機系統(tǒng);2006年08期

5 劉必欣;周斌;賈焰;;Web服務(wù)組合支撐平臺StarService Flow的研究與實現(xiàn)[J];計算機工程與科學(xué);2006年12期

6 陳紅;;基于參考網(wǎng)的Web服務(wù)組合模型[J];計算機應(yīng)用;2006年12期

7 單保華;韓燕波;李厚福;胡海濤;;一種驗證業(yè)務(wù)級服務(wù)組合可執(zhí)行能力的方法[J];計算機科學(xué);2006年03期

8 廖志軍;高春鳴;;基于π演算的異構(gòu)Web服務(wù)組合的互操作[J];中國科技信息;2007年06期

9 周宇;張鵬程;李必信;;一種Web服務(wù)組合的數(shù)學(xué)模型[J];東南大學(xué)學(xué)報(自然科學(xué)版);2007年04期

10 王國法;孫曉亭;王昆;;Web服務(wù)組合中的服務(wù)選擇研究[J];計算機與信息技術(shù);2007年06期

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

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

2 吳亮;袁兆山;;基于模糊Petri網(wǎng)的語義Web服務(wù)組合[A];全國第20屆計算機技術(shù)與應(yīng)用學(xué)術(shù)會議（CACIS·2009）暨全國第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會議論文集（上冊）[C];2009年

3 趙慧杰;;Web服務(wù)的組合計劃與優(yōu)化[A];2007年中國智能自動化會議論文集[C];2007年

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

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

6 付曉東;鄒平;;基于元流程的Web服務(wù)組合例外處理模型[A];第二十六屆中國控制會議論文集[C];2007年

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

8 徐明迪;趙恒;張煥國;;面向可靠性的動態(tài)Web服務(wù)組合選擇策略研究[A];CCF NCSC 2011——第二屆中國計算機學(xué)會服務(wù)計算學(xué)術(shù)會議論文集[C];2011年

9 周獻中;吳奎;蕭毅鴻;;基于蟻群算法的Web服務(wù)自動組合[A];決策科學(xué)與評價——中國系統(tǒng)工程學(xué)會決策科學(xué)專業(yè)委員會第八屆學(xué)術(shù)年會論文集[C];2009年

10 徐其興;余鎮(zhèn)危;;一種基于移動Agent的服務(wù)組合模型[A];2006年全國開放式分布與并行計算學(xué)術(shù)會議論文集（二）[C];2006年

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

1 本報記者 張茜 通訊員 孟慶超;打好服務(wù)組合拳助力民企大發(fā)展[N];萊蕪日報;2014年

2 記者 俞永均 通訊員 方平原 王芬;外經(jīng)貿(mào)部門打出金融服務(wù)組合拳[N];寧波日報;2012年

3 高智 本報記者 王彤;許昌保險業(yè):亮出服務(wù)組合拳[N];中國保險報;2014年

4 沈建苗 編譯;利用現(xiàn)有服務(wù)構(gòu)建SOA應(yīng)用[N];計算機世界;2006年

5 記者 蕭雨林 通訊員 張興漢 郭畢;打好服務(wù)組合拳 提質(zhì)增效站排頭[N];襄陽日報;2014年

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

1 馮名正;Web服務(wù)組合關(guān)鍵技術(shù)研究[D];東南大學(xué);2006年

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

3 周濤;基于策略的服務(wù)組合關(guān)鍵技術(shù)研究及應(yīng)用[D];浙江大學(xué);2012年

4 吳鐘;面向多邊協(xié)同的Web服務(wù)組合市場決策與優(yōu)化管理研究[D];武漢理工大學(xué);2013年

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

6 馬小寧;鐵路信息共享的Web服務(wù)組合關(guān)鍵技術(shù)研究[D];北京交通大學(xué);2010年

7 包力;Web服務(wù)組合形式化建模與驗證研究[D];大連海事大學(xué);2009年

8 劉莉平;動態(tài)Web服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

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

10 張楊;語義Web服務(wù)組合的可信性度量研究[D];重慶大學(xué);2011年

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

1 劉磊;Web服務(wù)組合的性質(zhì)檢驗與實現(xiàn)[D];電子科技大學(xué);2009年

2 史斌;對等模式下個性化Web服務(wù)組合和匹配算法研究[D];山東大學(xué);2009年

3 陳陽;Web服務(wù)組合模型及相關(guān)技術(shù)的研究[D];哈爾濱工程大學(xué);2008年

4 周真建;語義Web服務(wù)組合的挖掘[D];南昌大學(xué);2009年

5 魏守賢;動態(tài)服務(wù)組合在社區(qū)服務(wù)平臺中的研究與應(yīng)用[D];浙江工商大學(xué);2011年

6 朱嘉魯;基于移動Agent的Web服務(wù)組合[D];中國科學(xué)院研究生院（成都計算機應(yīng)用研究所）;2006年

7 褚娟;Web服務(wù)組合的全局約束分析[D];山東大學(xué);2007年

8 宋馳;基于用戶偏好的啟發(fā)式Web服務(wù)組合的研究與實現(xiàn)[D];北京郵電大學(xué);2008年

9 張健;普適環(huán)境下一種分布式可靠服務(wù)組合機制研究[D];上海交通大學(xué);2010年

10 余洋;Web服務(wù)組合的調(diào)解技術(shù)研究與應(yīng)用[D];解放軍信息工程大學(xué);2011年

本文編號：1775498