基于場(chǎng)景的服務(wù)組合與驗(yàn)證.pdf

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

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

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

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