基于重寫技術(shù)的語義Web服務(wù)研究.pdf

1、隨著對Web服務(wù)的不斷深入研究和應(yīng)用,出于各種服務(wù)自動化任務(wù)的需要,Web服務(wù)計算逐漸成為學(xué)術(shù)界的研究熱點,并且在服務(wù)研究各方面取得了許多顯著的成果。但是由于目前Web上廣泛存在的信息格式的異構(gòu)性、信息語義的多重性以及信息關(guān)系的匱乏和非統(tǒng)一等原因,使得許多研究成果只能在特定的同構(gòu)環(huán)境中發(fā)揮著有限的作用。而語義Web技術(shù)的引入,為Web服務(wù)引入本體,消除了Web服務(wù)格式和語義的異構(gòu)性,同時借助于語義Web技術(shù)中的描述能力和推理能力,使得服

2、務(wù)計算任務(wù)能更加準確的有效的滿足需求。因而如何為Web服務(wù)提供更加豐富的語義以及如何利用這些語義進行推理從而更加智能的完成任務(wù)將是未來幾年語義Web服務(wù)領(lǐng)域的研究趨勢?？梢钥闯瞿壳暗倪@些研究大都只支持單個服務(wù)級別的語義,但對于服務(wù)之間的語義卻很少有所研究。我們認為在Web服務(wù)領(lǐng)域中服務(wù)之間本身可存在著緊密的語義關(guān)系,例如等價性,可組合性,可替換性等。建立這些服務(wù)間的語義關(guān)系在服務(wù)替換,服務(wù)優(yōu)化以及服務(wù)組合等自動化任務(wù)中顯得尤為重要。本文

3、提出Web服務(wù)的組合服務(wù)模型,將重寫系統(tǒng)理論引入Web服務(wù),把服務(wù)間的語義關(guān)系描述為計算機可以理解的服務(wù)項之間的規(guī)則語義,通過為Web服務(wù)添加這些規(guī)則語義提供語義支持。同時利用重寫技術(shù)中的推理機制,實現(xiàn)對Web服務(wù)的分析和推理。結(jié)合組合服務(wù)模型,本文分別從服務(wù)提供者和服務(wù)請求者的角度為服務(wù)提供規(guī)則語義,進而解決相應(yīng)的實際問題。首先結(jié)合當前的服務(wù)描述語言WSDL,讓服務(wù)提供者可以加入操作之間的語義關(guān)系,為組合服務(wù)優(yōu)化,服務(wù)組合等服務(wù)計算任