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

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

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

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

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