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

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

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

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