服務(wù)組合的合規(guī)性度量與分析.pdf

1、在開放、動態(tài)、多變的互聯(lián)網(wǎng)環(huán)境下，隨著服務(wù)計算和云計算技術(shù)的發(fā)展，軟件即服務(wù)已成為21世紀(jì)開始興起的創(chuàng)新的軟件應(yīng)用模式。作為實現(xiàn)軟件服務(wù)的主流技術(shù)體系，Web服務(wù)為業(yè)務(wù)過程的集成提供了一個通用機制。服務(wù)組合技術(shù)按一定的應(yīng)用邏輯和組合策略，編排已有的、相對簡單的Web服務(wù)，以此提供增值服務(wù)，滿足用戶日益復(fù)雜的業(yè)務(wù)需求。然而，Web服務(wù)過程的實際執(zhí)行通常會偏離它原先的定義。為保證實例能夠提供預(yù)期的服務(wù)，如何合理地度量服務(wù)組合的合規(guī)性已成為一

2、個重要研究內(nèi)容。
　　現(xiàn)有的方法一方面只關(guān)注服務(wù)組合的控制流，對數(shù)據(jù)流的偏離并不敏感，無法辨別業(yè)務(wù)過程數(shù)據(jù)流改變引起的合規(guī)性程度下降。另一方面，此類方法合規(guī)性度量標(biāo)準(zhǔn)較為嚴(yán)格，過于強調(diào)活動間的執(zhí)行順序，導(dǎo)致得到的合規(guī)性程度值往往低于用戶真實體驗。針對上述問題，本文提出一種新的度量機制和相關(guān)分析方法，通過實驗驗證了該方法的有效性和合理性。本文主要工作如下:
　　1.基于活動間本質(zhì)關(guān)系，提出了一種寬松的路徑等價概念。通過量化路徑

3、等價的概念，進一步定義了對齊路徑間的一致性程度。
　　2.為了度量服務(wù)組合的合規(guī)性，需要找到“最符合”過程實例活動執(zhí)行序列的參考路徑，即把合規(guī)性度量問題轉(zhuǎn)化為路徑一致性分析問題。參考路徑的搜索可以被證明為NP-hard問題，因此通過基于過程分解和軌跡重現(xiàn)的啟發(fā)式規(guī)則來搜索參考路徑。
　　3.為驗證所提方法的準(zhǔn)確性和有效性，本文設(shè)計并實現(xiàn)了服務(wù)組合的合規(guī)性度量與分析的原型工具ProM-C，不僅能定量化地給出服務(wù)組合的合規(guī)性程度