面向綜合型系統(tǒng)的語義Web服務(wù).pdf

1、語義Web服務(wù)和語義Web服務(wù)的自動(dòng)組合是近期一個(gè)熱門的研究課題。目前與語義Web服務(wù)有關(guān)的研究工作大部分針對(duì)語義Web的層次結(jié)構(gòu)，使用OWL-S語言，而本文的研究工作著重于語義Web與知識(shí)工程的結(jié)合。在知識(shí)工程中，用本體描述領(lǐng)域知識(shí)和PSMs(Problem Solving Methods，PSMs)，不但使知識(shí)工程更加科學(xué)化和規(guī)范化，而且通過將知識(shí)工程與語義Web結(jié)合，使PSMs也納入了Web服務(wù)的范疇。 通?；谥R(shí)的系統(tǒng)

2、可分為兩部分：分析型和綜合型。分別對(duì)應(yīng)人類求解問題中的分析問題和解決問題這兩個(gè)階段。其中，綜合型系統(tǒng)一般分為配置、分配、調(diào)度、規(guī)劃等類型，在有些文獻(xiàn)中已經(jīng)給出了一個(gè)總的問題解決框架。本文在此基礎(chǔ)上，針對(duì)實(shí)際領(lǐng)域所具有的知識(shí)的特征，對(duì)傳統(tǒng)的綜合型系統(tǒng)的PSMs進(jìn)行研究，設(shè)計(jì)了新的PSMs。通過抽取PSMs的主要概念，以及分析概念之間的關(guān)系，給出了綜合型系統(tǒng)的語義Web服務(wù)組合架構(gòu)——解決型語義Web服務(wù)。并通過WSMO(web servi

3、ce modeling ontology)平臺(tái)，將綜合型系統(tǒng)的PSMs轉(zhuǎn)換為語義Web服務(wù)組合的描述，實(shí)現(xiàn)了語義Web服務(wù)的組合架構(gòu)，最終可通過IRS(Internet Reasoning Service)進(jìn)行發(fā)布。 本文的主要工作如下： (一)針對(duì)實(shí)際領(lǐng)域所具有的知識(shí)的特征，對(duì)傳統(tǒng)的綜合型系統(tǒng)的PSMs進(jìn)行研究，設(shè)計(jì)了新的PSMs。 (二)基于PSMs設(shè)計(jì)了解決型語義Web服務(wù)，將綜合型系統(tǒng)的求解轉(zhuǎn)為語義Web

4、服務(wù)的組合。解決型語義Web服務(wù)由一系列小粒度的語義Web服務(wù)組合而成，分為知識(shí)級(jí)語義Web服務(wù)和原子級(jí)語義Web服務(wù)兩種類型。為了支持服務(wù)執(zhí)行關(guān)系在架構(gòu)中的正確反映和執(zhí)行控制，使用了在組合架構(gòu)中的執(zhí)行控制算子，為組合服務(wù)轉(zhuǎn)為可執(zhí)行過程提供了基礎(chǔ)。同時(shí)為語義Web服務(wù)的自動(dòng)組合研究提供了良好的基礎(chǔ)。 (三)解決型語義Web服務(wù)的實(shí)現(xiàn)與發(fā)布。基于WSMO平臺(tái)，將綜合型系統(tǒng)的PSMs轉(zhuǎn)換為語義Web服務(wù)組合的描述，并加以實(shí)現(xiàn)，并通過