支持業(yè)務(wù)級(jí)、大粒度服務(wù)組合的知識(shí)管理與主動(dòng)推薦.pdf

1、面向服務(wù)的計(jì)算技術(shù)所支持的標(biāo)準(zhǔn)化、松耦合的集成方式為實(shí)現(xiàn)最終業(yè)務(wù)用戶主動(dòng)參與應(yīng)用構(gòu)造提供了可能。然而在動(dòng)態(tài)、開(kāi)放的計(jì)算環(huán)境下，服務(wù)資源具有高度的自治性和不可預(yù)知性，使得構(gòu)造、部署和使用面向服務(wù)的應(yīng)用并非想象中那么容易。如何能讓最終用戶像組裝硬件一樣自行組裝出面向服務(wù)的應(yīng)用，從而更好地適應(yīng)業(yè)務(wù)與需求的變化等問(wèn)題倍受關(guān)注。在業(yè)務(wù)端編程思想和面向最終用戶編程的VINCA語(yǔ)言已有工作的基礎(chǔ)上，從支持最終用戶編程、對(duì)組合知識(shí)復(fù)用的角度出發(fā)，提出了

2、面向業(yè)務(wù)用戶的基于服務(wù)組合模板的大粒度業(yè)務(wù)級(jí)組合知識(shí)的管理與主動(dòng)推薦方法——TryBest，通過(guò)對(duì)服務(wù)組合中組合知識(shí)的抽取、管理和復(fù)用，為最終業(yè)務(wù)用戶主動(dòng)參與面向服務(wù)的應(yīng)用構(gòu)造提供支持。主要工作和貢獻(xiàn)如下： 提出了一種支持復(fù)用的服務(wù)組合知識(shí)管理和主動(dòng)推薦方法——TryBest。 從支持業(yè)務(wù)用戶“編程”的角度出發(fā)，充分利用領(lǐng)域?qū)I(yè)人員的知識(shí)和經(jīng)驗(yàn)，將其引入到組合知識(shí)的抽取和使用中，采用基于案例推理的技術(shù)，利用已有的VINC

3、A流程，提出了一種基于VINCA服務(wù)組合的知識(shí)抽取方法，利用給定的知識(shí)抽取方法，并基于組合邏輯定義了一種使用模式、服務(wù)質(zhì)量和服務(wù)資源均可靈活配置、具有行為多態(tài)特征的服務(wù)組合知識(shí)模板，給出了其性質(zhì)分析和實(shí)例化方法。最終業(yè)務(wù)用戶可根據(jù)自己的個(gè)性化需求，通過(guò)對(duì)組合模板的參數(shù)配置來(lái)輔助進(jìn)行應(yīng)用構(gòu)造，并通過(guò)運(yùn)行時(shí)的主動(dòng)推薦，實(shí)現(xiàn)服務(wù)的優(yōu)化選取。 將領(lǐng)域本體與服務(wù)組合模板相結(jié)合，提出了基于領(lǐng)域本體的模板檢索算法和基于內(nèi)容的服務(wù)推薦算法。

4、 將領(lǐng)域本體引入到服務(wù)組合模板的定義中，利用領(lǐng)域業(yè)務(wù)本體為服務(wù)組合模板提供語(yǔ)義描述，方便了組合模板的管理，在此基礎(chǔ)上提出了基于領(lǐng)域業(yè)務(wù)本體的組合模板檢索算法，彌補(bǔ)了傳統(tǒng)的基于關(guān)鍵字的檢索算法由于存在語(yǔ)義落差，無(wú)法檢索到合適模板的不足。此外，在模板檢索的基礎(chǔ)上提出了基于內(nèi)容的模板推薦算法，通過(guò)用戶需求與已有模板中業(yè)務(wù)服務(wù)覆蓋度與冗余度的比較為用戶推薦模板，該算法對(duì)用戶屏蔽了模板的內(nèi)部實(shí)現(xiàn)，用戶無(wú)需指定服務(wù)間的關(guān)系，易于用戶使用。

5、 對(duì)服務(wù)組合模板提供QoS支持，給出了組合模板的QoS描述模型以及基于組合模板QoS約束的服務(wù)推薦算法。 已有的過(guò)程模板或工作流模板都是從業(yè)務(wù)過(guò)程的功能角度出發(fā)進(jìn)行的研究，沒(méi)有涉及到非功能屬性(QoS)的研究。本文將QoS概念引入的組合模板的描述中，給出了組合模板的QoS描述模型。該模型不僅針對(duì)單個(gè)服務(wù)的QoS屬性進(jìn)行描述，而且針對(duì)整個(gè)組合模板QoS進(jìn)行描述，給出了組合模板QoS的計(jì)算和表示方法，解決了VINCA流程

6、中用戶無(wú)法基于整個(gè)流程表達(dá)QoS約束的問(wèn)題。再此基礎(chǔ)上，給出了基于流程QoS約束的服務(wù)推薦算法，彌補(bǔ)了用戶無(wú)法基于流程QoS約束選取服務(wù)的不足，并通過(guò)引入服務(wù)關(guān)聯(lián)關(guān)系提高了推薦的準(zhǔn)確性。提出了基于圖歸約的組合模板邏輯結(jié)構(gòu)的正確性驗(yàn)證算法。為確保基于組合模板構(gòu)造的應(yīng)用能正確執(zhí)行，給出了組合模板的靜態(tài)特性和動(dòng)態(tài)特性正確性定義，針對(duì)靜態(tài)特性的驗(yàn)證給出了驗(yàn)證算法，針對(duì)動(dòng)態(tài)特性，給出了由組合模板邏輯結(jié)構(gòu)到有向圖的轉(zhuǎn)換規(guī)則和基于有向圖的歸約規(guī)則，給

7、出了基于圖歸約的模板動(dòng)態(tài)特性正確性驗(yàn)證算法。通過(guò)這些算法可以消除組合模板中隱含的結(jié)構(gòu)沖突。此外，我們?cè)O(shè)計(jì)實(shí)現(xiàn)了支持組合知識(shí)抽取、管理和復(fù)用的模板管理工具，并將其在公眾信息服務(wù)和科技信息平臺(tái)建設(shè)項(xiàng)目中進(jìn)行了嘗試應(yīng)用，初步解決了最終業(yè)務(wù)用戶參與應(yīng)用構(gòu)造困難、效率低和應(yīng)用運(yùn)行時(shí)無(wú)法基于流程QoS約束進(jìn)行動(dòng)態(tài)選取服務(wù)等問(wèn)題。通過(guò)實(shí)例驗(yàn)證以及與相關(guān)工作的比較，證明了基于TryBest方法進(jìn)行大粒度服務(wù)組合對(duì)于提高面向服務(wù)的應(yīng)用構(gòu)造效率以及實(shí)現(xiàn)服務(wù)