基于開放Petri網(wǎng)的帶日志的流程模型的變化域分析.pdf

1、業(yè)務流程作為業(yè)務系統(tǒng)的核心，逐漸成為業(yè)務流程管理的核心內(nèi)容之一。由于用戶需求的多樣化、業(yè)務系統(tǒng)功能的復雜化以及環(huán)境的開放化，對于業(yè)務流程的建模和分析也變得困難?，F(xiàn)如今，越來越多的公司和企業(yè)使用BPM（業(yè)務流程管理）來處理商業(yè)事務，過程挖掘技術(shù)的主要工作就是在流程管理的基礎上挖掘有效數(shù)據(jù)，即根據(jù)日志記錄文件中記錄的相關(guān)信息可以重新構(gòu)建系統(tǒng)模型，進而分析變化域等相關(guān)性質(zhì)。傳統(tǒng)的流程挖掘技術(shù)主要關(guān)注于離線業(yè)務流程的挖掘和分析，然而對于開放性系

2、統(tǒng)而言，以前的一些研究方法可能存在不足，而且對復雜的開放性系統(tǒng)來說，其建模和變化域分析更加困難。因此在開放性系統(tǒng)中借助流程挖掘技術(shù)分析流程模型的構(gòu)建和變化域具有非常重要的意義。
　　已有的研究方法都是在給定參考模型的基礎上，在Petri網(wǎng)的約束下，借助測度、behavioral profile等工具來分析已給模型與參照模型的差異程度，即一致與否。如果出現(xiàn)非一致，則最后就需要定位存在非預期行為區(qū)域，進而尋找對引起這一變化負責的一方。

3、由于開放網(wǎng)系統(tǒng)的復雜性和多變性，而且在實際應用中，參考模型很難給定出來，更多的是給定部分日志，根據(jù)日志來分析相關(guān)性質(zhì)，因此繼續(xù)使用傳統(tǒng)的分析方法無法解決上述問題?；谶@種背景，想要剖析這些問題，并尋找解決方法，本文開展了以下兩方面的研究:
　　(1)流程模型是分析網(wǎng)系統(tǒng)性質(zhì)的重要基礎，因此首先考慮的問題就是如何正確構(gòu)建模型。針對開放性網(wǎng)系統(tǒng)的特殊性和復雜性，本文提出了一種新的建模方法，即利用開放Petri網(wǎng)的相關(guān)知識，將其作為建模

4、工具構(gòu)建模型。最后將這一方法應用到電子商務中的在線充值系統(tǒng)上進行實際演練，通過具體實例，從T-不變量和可達性兩個方面分析相關(guān)性質(zhì)，驗證了這種建模方法的有效性與簡明性。該方法不僅簡化了復雜的開放性網(wǎng)絡系統(tǒng)，還有利于進一步研究模型的一些重要性質(zhì)。
　　(2)變化域的研究是業(yè)務流程管理中的核心問題，分析流程模型的變化域有利于建模者發(fā)現(xiàn)問題，進而改善流程模型，使其滿足建模要求。在開放Petri網(wǎng)的環(huán)境下，通過給定部分執(zhí)行事件日志來確定業(yè)務