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

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

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

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

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

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