基于并發(fā)事務(wù)邏輯的語義Web服務(wù)組合研究.pdf

1、語義Web服務(wù)是傳統(tǒng)的Web服務(wù)在最新的語義Web技術(shù)下的延伸,能夠使網(wǎng)絡(luò)環(huán)境下異構(gòu)Web服務(wù)的組合過程呈現(xiàn)運行時的動態(tài)性、自動化和智能化等特征,具有非常重要和廣泛的應(yīng)用前景,如電子商務(wù)、企業(yè)信息系統(tǒng)等。因此,引起人工智能領(lǐng)域、形式化方法和自動推理領(lǐng)域?qū)W者的高度關(guān)注,提出的語義Web服務(wù)組合方法層出不窮。針對目前以上兩個領(lǐng)域內(nèi)一些主流研究方法尚不支持對Web服務(wù)并發(fā)行為表示和推理的現(xiàn)狀,提出了一種基于并發(fā)事務(wù)邏輯的語義 Web服務(wù)組合方

2、法。同時,為了改善當(dāng)前流行的集中式語義Web服務(wù)組合系統(tǒng)架構(gòu)存在的動態(tài)性差,容錯能力弱等缺陷,基于多Agent理論,構(gòu)建了一種靈活、自適應(yīng)的分布式服務(wù)組合框架。
　　并發(fā)事務(wù)邏輯(CTR)是一種由謂詞邏輯擴展而來的知識表示與推理工具,能夠?qū)ο到y(tǒng)的順序和并發(fā)行為描述與推理。本文在運用并發(fā)事務(wù)邏輯工具推理語義Web服務(wù)組合問題上開展了深入研究,取得了一些成果:建立了OWL-S服務(wù)組合控制結(jié)構(gòu)的 Petri網(wǎng)模型和等價并發(fā)事務(wù)邏輯公式表

3、示,特別是并發(fā)結(jié)構(gòu);運用并發(fā)事務(wù)邏輯的 Horn公式成功刻畫了服務(wù)的流程、交互、約束條件以及輸入輸出等內(nèi)容,并將服務(wù)組合問題轉(zhuǎn)化為 Horn目標(biāo)公式的可滿足性的證明;根據(jù)并發(fā)事務(wù)邏輯推理規(guī)則設(shè)計了一個多項式時間復(fù)雜度的服務(wù)組合算法。這些成果為今后語義Web服務(wù)組合方法的研究提供了有益參考。
　　MAS技術(shù)給復(fù)雜分布式系統(tǒng)的開發(fā)帶來了極大的便利和優(yōu)勢。本文研究了語義Web服務(wù)和MAS的整合問題;構(gòu)建了一種基于多Agent交互和多Ag