基于場景的服務(wù)組合與驗證.pdf

1、SOA通過把軟件分解成為一個個服務(wù)以達到解耦合和重用性的做法得到了廣泛應用,與之結(jié)合的服務(wù)組合的方法也因此被廣泛的研究。但是隨著可用的服務(wù)數(shù)量的不斷增加以及不同組織之間相互協(xié)作性的增強，傳統(tǒng)的服務(wù)組合方法依然存在很多的挑戰(zhàn)。
　　1）對于一個企業(yè)（組織）而言，在處理相似的開發(fā)需求時，開發(fā)人員需要重復地進行服務(wù)查找，服務(wù)匹配，服務(wù)組合的工作，缺乏效率。
　　2）在相似服務(wù)增多的情況下（功能類似），進行服務(wù)選擇以及處理不同來源服

2、務(wù)時，對復雜的應用場景進行分析變得十分繁瑣。
　　針對以上提出的挑戰(zhàn)，本文結(jié)合現(xiàn)有的語義網(wǎng)技術(shù)和服務(wù)組合相關(guān)研究提出了基于場景進行服務(wù)組合與驗證的方案。首先提出抽象場景模板，并在此基礎(chǔ)上依據(jù)服務(wù)上下文的表述來盡可能的復用遺留系統(tǒng)。對于無法通過復用滿足的需求，結(jié)合語義網(wǎng)和服務(wù)上下文來尋找和選擇對應的服務(wù)，通過線性邏輯證明的方式來進行服務(wù)組合。同時本文研究了需求上下文和線性邏輯轉(zhuǎn)化為通信順序進程的方法，為組合好的服務(wù)進行仿真驗證。

3、r>　　本文的研究工作有以下幾點：
　　1.利用抽象場景模板來表述需求
　　抽象場景模板是對一類實際應用場景進行歸納抽象，具體的說就是抽離出一個實際應用場景可能會經(jīng)歷哪些階段，每個階段至少會有哪些功能而這些功能應該會涉及到哪些服務(wù)。而服務(wù)上下文是針對一次實際的需求在抽象模板的基礎(chǔ)上添加對應的內(nèi)容。
　　2.利用線性邏輯進行服務(wù)組合
　　研究了服務(wù)的線性邏輯表示，把對應的服務(wù)轉(zhuǎn)換成Classic linear lo

4、gic（CLL）描述，同樣的把我們的需求表述成 CLL描述并把它看成是一個猜想。這樣就把服務(wù)組合的問題轉(zhuǎn)化為一個證明的問題，如果這個證明成功了就說明我們得到了這個服務(wù)組合。
　　3.利用語義信息來解決來源不同服務(wù)的接口匹配問題
　　因為服務(wù)來源不同，所以在服務(wù)組合的過程中會出現(xiàn)接口異構(gòu)的情況。對此進行了異構(gòu)情況的總結(jié)分類，并對每一類異構(gòu)提出相應的解決辦法，同時指出了復雜的異構(gòu)情況可以分解成多個單一的異構(gòu)情況通過多步來解決。<