基于Petri網(wǎng)模型合并的可配置業(yè)務(wù)流程變化域分析.pdf

1、目前，業(yè)務(wù)流程管理已被廣泛提出并被應(yīng)用到企業(yè)流程管理及系統(tǒng)分析設(shè)計等智能化管理領(lǐng)域。其主要是對流程模型進行相關(guān)性分析，即它們的相互影響程度進行分析，從而得知它們對彼此行為的影響，再從中找出變化區(qū)域。但是由于大部分實際模型都有龐大復雜而冗余的體系，人們無法通過經(jīng)驗分析得到正確的答案，而如果用以往的求變化域的方法對大型復雜系統(tǒng)進行分析，不僅工作量大的驚人，而且無法對具有復雜對應(yīng)的模型系統(tǒng)進行分析比較。由于移動互聯(lián)環(huán)境下的電子商務(wù)流程需要滿足

2、多個用戶的不同需求，需要根據(jù)實際需要選擇性的對流程中的活動進行不同配置。配置流程模型已經(jīng)被廣泛提出并用來描述這一類型的流程模型。此外，由于大部分業(yè)務(wù)流程模型都是基于描述模型交互的初衷來建立的，對流程模型的配置也需要考慮到模型交互行為間的約束關(guān)系。
　　針對具有復雜對應(yīng)關(guān)系的模型系統(tǒng)變化域的分析問題，本文采用抽象的手段對具有復雜匹配關(guān)系的模型進行預(yù)處理，再對經(jīng)過處理后模型進行合并。然后提取合并模型的摘要，并通過分析模型摘要與原模型的

3、行為輪廓間的差異找出了原模型交互發(fā)生變化的區(qū)域。這樣可以根據(jù)變化區(qū)域的行為語義分析了出現(xiàn)交互不兼容的原因。而且，本文通過用配置約束形式化地描述了交互的配置模型間的約束行為，提出了一個基于配置約束合并流程模型的方法，通過該方法可以得到一個帶配置約束的合并模型，最后根據(jù)文中所給出的算法將該模型作為流程配置的參照模型用于尋找流程模型的變化域，這樣排除了配置實例中不滿足預(yù)設(shè)的配置約束情況的發(fā)生。通過將交互模型間的行為約束轉(zhuǎn)化成可配置的流程模型配

4、置上的約束，可以得到一個配置的合成體，合并模型通過分離配置的方式對不可行的配置方式做了限制，使之不能同時發(fā)生，這樣有利于配置的正確性。通過該方法得出的帶配置約束的合并模型可作為流程配置的參照模型用于尋找?guī)Ъs束的配置流程的變化域。該方法解決了以下問題:(1)將交互模型中不具有匹配關(guān)系的活動對間隱含的依賴關(guān)系通過配置約束的方式表示出來;(2)并通過合并配置模型的方法來保證配置滿足這種約束;(3)通過比較合并模型的配置路徑和配置實例的配置路徑