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

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

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

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

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

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