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

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

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