基于形式化的Web服務(wù)描述與動態(tài)替換.pdf

1、隨著互聯(lián)網(wǎng)技術(shù)和電子商務(wù)的飛速發(fā)展，各類企業(yè)都紛紛采用因特網(wǎng)和Web技術(shù)，將它們的主要服務(wù)搬到互聯(lián)網(wǎng)上，以得到更強的自動性、更迅速的交易和更廣闊的視野。SaaS(Software as a Service)這一概念被廣泛接受，被認(rèn)為是軟件應(yīng)用發(fā)展的下一個重要趨勢，它也將進一步推動Web服務(wù)的發(fā)展。Web服務(wù)在商務(wù)活動和企業(yè)交流中扮演了越來越重要的角色，它的穩(wěn)定性也就成為了人們關(guān)注的焦點，于是Web Service容錯技術(shù)成為研究熱點。？

2、傳統(tǒng)的Web Service容錯主要從服務(wù)提供者和服務(wù)注冊中心出發(fā)，采用擴展標(biāo)準(zhǔn)協(xié)議或服務(wù)注冊中心的辦法，建立服務(wù)冗余機制來進行容錯。但是這樣的容錯機制往往對服務(wù)請求者是透明的，無法充分使用網(wǎng)絡(luò)上各式各樣的服務(wù)資源，缺乏靈活性。本文站在服務(wù)請求者的立場，從服務(wù)流程控制的角度出發(fā)，提出了一個服務(wù)容錯框架。該框架采用多版本冗余的容錯策略，通過服務(wù)匹配的方式動態(tài)的在網(wǎng)絡(luò)上查找符合功能匹配的服務(wù)作為備份服務(wù)。當(dāng)服務(wù)流程中的某個服務(wù)失效后，容錯框

3、架自動檢測出失效，并使用備份服務(wù)替換掉失效服務(wù)，保證流程繼續(xù)運行。？本文主要完成的工作有：？一、分析借鑒傳統(tǒng)的服務(wù)容錯技術(shù)，設(shè)計了一個基于多版本冗余容錯策略的服務(wù)容錯框架。該框架針對Fail-Stop類型的服務(wù)失效，利用輪詢的方式檢測失效后定位到失效服務(wù)，使用事先通過服務(wù)匹配方式查找到的備份服務(wù)替換失效服務(wù)以保證流程繼續(xù)執(zhí)行。？二、分析容錯框架的信息構(gòu)建問題，即分析服務(wù)的功能描述問題，指出服務(wù)功能主要由輸入輸出參數(shù)和內(nèi)部邏輯流程來描述，

4、提出使用領(lǐng)域概念本體語義地描述服務(wù)的輸入輸出，使用領(lǐng)域過程本體語義地描述服務(wù)內(nèi)部邏輯流程，并最終給出SOFL結(jié)合領(lǐng)域本體描述服務(wù)的具體形式，為多版本冗余策略的核心匹配算法提供信息基礎(chǔ)。？三、基于服務(wù)形式化語義描述，提出三級匹配思想，以服務(wù)需求為基準(zhǔn)，對服務(wù)池中的服務(wù)依次進行領(lǐng)域本體匹配，輸入輸出匹配和過程匹配，最終得到精準(zhǔn)的匹配結(jié)果。領(lǐng)域本體匹配基于相同功能的服務(wù)必引用相同的領(lǐng)域本體的思想篩選服務(wù)，是匹配服務(wù)和待匹配服務(wù)完成相同功能的基

5、本保障；輸入輸出匹配從語義上比較匹配服務(wù)和待匹配服務(wù)的輸入輸出參數(shù)，要求匹配服務(wù)在輸入輸出參數(shù)上語義的包含待匹配服務(wù)；過程匹配把用服務(wù)過程本體元素標(biāo)注過的CDFD按照一定規(guī)則轉(zhuǎn)化為服務(wù)事件串集合，采用類似于求字符串編輯距離的方式求服務(wù)事件串的距離，在此基礎(chǔ)上計算出服務(wù)事件串集合距離，并用服務(wù)事件串集合的距離表示對應(yīng)的服務(wù)過程匹配度。？四、實現(xiàn)一套原型系統(tǒng)，并在一個典型實例場景下，驗證系統(tǒng)框架的可行和有效，主要對服務(wù)匹配算法進行驗證，說明