語(yǔ)義Web服務(wù)自動(dòng)組合及驗(yàn)證的研究.pdf

1、面向服務(wù)體系架構(gòu)(Service-Oriented Architecture,SOA)和面向服務(wù)計(jì)算(Service-Oriented Computing,SOC)的出現(xiàn),為分布式應(yīng)用和企業(yè)信息系統(tǒng)集成提供了一種靈活的解決方案。由于單個(gè)Web服務(wù)功能的有限性,如何組合多個(gè)Web服務(wù)來共同完成一項(xiàng)任務(wù)已經(jīng)成為工業(yè)界和學(xué)術(shù)界廣泛關(guān)注的焦點(diǎn)問題。同時(shí),通過將Web服務(wù)技術(shù)和語(yǔ)義Web技術(shù)相結(jié)合,產(chǎn)生了多種語(yǔ)義Web服務(wù)描述框架,使Web服務(wù)自

2、動(dòng)發(fā)現(xiàn)、組合、驗(yàn)證及執(zhí)行的實(shí)現(xiàn)成為了可能。
　　 本文結(jié)合國(guó)家863課題“面向解決方案的服務(wù)架構(gòu)及支撐環(huán)境”,對(duì)語(yǔ)義Web服務(wù)組合的關(guān)鍵技術(shù),包括Web服務(wù)發(fā)現(xiàn)、Web服務(wù)自動(dòng)組合以及Web服務(wù)流程驗(yàn)證的方法進(jìn)行了深入的研究,主要研究成果包含以下幾個(gè)方面:
　　 (1)研究了Web服務(wù)之間的關(guān)系,完善了服務(wù)網(wǎng)絡(luò)的概念。結(jié)合語(yǔ)義Web服務(wù)的相關(guān)技術(shù),從服務(wù)功能的角度,提出了抽象服務(wù)和具體服務(wù)的概念,以及按照參數(shù)、操作、具體

3、服務(wù)和抽象服務(wù)四個(gè)層次分析、定義了Web服務(wù)在不同粒度間潛在的關(guān)系,并在此基礎(chǔ)上給出了服務(wù)網(wǎng)絡(luò)的概念框架和系統(tǒng)結(jié)構(gòu)。
　　 (2)研究了信息類語(yǔ)義Web服務(wù)組合問題,提出了基于GraphPlan的啟發(fā)式服務(wù)組合算法。該算法根據(jù)信息類Web服務(wù)的特點(diǎn),將服務(wù)組合劃分為規(guī)劃圖構(gòu)造和組合方案搜索兩大模塊,能夠在多項(xiàng)式時(shí)間內(nèi)判斷服務(wù)組合的可滿足性。在規(guī)劃圖的構(gòu)造過程中充分考慮了服務(wù)網(wǎng)絡(luò)中豐富的關(guān)系信息,并且在組合方案搜索模塊中,使用了一

4、種啟發(fā)式服務(wù)選擇策略。
　　 (3)研究了同時(shí)包含信息類和狀態(tài)改變類Web服務(wù)的混合類服務(wù)組合問題,設(shè)計(jì)并實(shí)現(xiàn)了基于抽象模板的服務(wù)自動(dòng)組合系統(tǒng)。該系統(tǒng)面向服務(wù)網(wǎng)絡(luò)中的抽象服務(wù)層,其主要工作是根據(jù)用戶的功能性需求,通過充分復(fù)用過去解決用戶需求問題的經(jīng)驗(yàn),并配合模板的預(yù)處理和啟發(fā)式自動(dòng)調(diào)整算法,完成一個(gè)抽象服務(wù)組合流程的構(gòu)建工作。實(shí)驗(yàn)表明,在相同的外部環(huán)境下,該系統(tǒng)能在較短時(shí)間內(nèi)實(shí)現(xiàn)服務(wù)的自動(dòng)組合,并且隨著服務(wù)數(shù)量的增加,能夠表現(xiàn)出