基于結(jié)構(gòu)化工作流網(wǎng)的隱含任務(wù)挖掘方法(編輯修改稿)
2025-07-21 01:08 本頁面
【文章內(nèi)容簡介】 w是n的一個(gè)日志，即w∈t*，ａ，ｂ∈ｔ，則有：－ａ＞ｗｂ 當(dāng)且僅當(dāng)?堝σ＝ｔ１ｔ２…ｔｎ，ｉ∈｛１，…，ｎ－１｝：σ∈w∧ti=a∧ti+1=b；－aδwb 當(dāng)且僅當(dāng)?堝σ＝t1t2…tn，i∈｛1，…，ｎ－２｝：σ∈w∧ti=ti+2a=a∧ti+1=b；；－a◇wb 當(dāng)且僅當(dāng)aδwb∨bδwa；－a→wb 當(dāng)且僅當(dāng)aｗｂ∧（ｂ≯ｗａ∨ａ◇ｗｂ）；－awb 當(dāng)且僅當(dāng)aw≯b∧b≮wa；根據(jù)次序關(guān)系，就可以針對(duì)各類隱含任務(wù)的不同特點(diǎn)，分別找出它們的發(fā)現(xiàn)方法。因?yàn)棣?＃算法中已經(jīng)給出了起始／結(jié)束型和隱含路徑型的隱含任務(wù)的檢測方法，因此本文只討論結(jié)構(gòu)轉(zhuǎn)換點(diǎn)型和子分支點(diǎn)型隱含任務(wù)的發(fā)現(xiàn)方法。３．１ 結(jié)構(gòu)轉(zhuǎn)換點(diǎn)型隱含任務(wù)的發(fā)現(xiàn)結(jié)構(gòu)化工作流網(wǎng)中的結(jié)構(gòu)轉(zhuǎn)換點(diǎn)型隱含任務(wù)可以根據(jù)下面的定理發(fā)現(xiàn)：定理１ 已知結(jié)構(gòu)化工作流網(wǎng)ｎ＝（ｐ，ｔ，ｆ，ｉ，ｏ），w是其滿足→w和δw關(guān)系完備性的日志。則n中存在結(jié)構(gòu)轉(zhuǎn)換點(diǎn)型隱含任務(wù)，當(dāng)且僅當(dāng)下列條件之一被滿足：（１）?堝ａ，ｂ，ｃ，ｄ∈ｔ，ａ＃ｗ ｂ，ｄ｜｜ｗ ｃ，ａ→ｗ ｃ，ａ→ｗ ｄ，ｂ→ｗ ｃ，ａ→ｗ ｄ；（２）?堝ａ，ｂ，ｃ，ｄ∈ｔ，ａ＃ｗ ｂ，ｄ｜｜ｗ ｃ，ａ→ｗ ｃ，ａ→ｗ ｄ，ｂ→ｗ ｃ，ａ→ｗ ｄ；（３）?堝ａ，ｂ，ｃ，ｄ∈ｔ，ａ＃ｗ ｂ，ｄ｜｜ｗ ｃ，ａ→ｗ ｃ，ａ→ｗ ｄ，ｂ→ｗ ｃ，ａ→ｗ ｄ。根據(jù)結(jié)構(gòu)化工作流網(wǎng)的定義和圖５，很容易證明該定理的正確性。詳細(xì)證明從略。３．２ 子分支點(diǎn)型隱含任務(wù)的發(fā)現(xiàn)結(jié)構(gòu)化工作流網(wǎng)中的子分支點(diǎn)型隱含任務(wù)可以根據(jù)下面的定理發(fā)現(xiàn)：定理２ 已知結(jié)構(gòu)化工作流網(wǎng)ｎ＝（ｐ，ｔ，ｆ，ｉ，ｏ），w是其滿足→ｗ 和δｗ 關(guān)系完備性的日志。則n中存在子分支點(diǎn)型隱含任務(wù)，當(dāng)且僅當(dāng)下列條件之一被滿足：（１）?堝ａ，ｂ，ｃ，ｄ∈ｔ，ａ→ｗ ｂ，ａ→ｗ ｃ，ａ→ｗ ｂ，ｂ＃ｗ ｄ，ｃ＃ｗ ｄ，ｂ｜｜ｗｃ；（2）?堝ａ，ｂ，ｃ，ｄ∈ｔ，ａ→ｗ ｄ，ｂ→ｗ ｄ，ｃ→ｗ ｄ，ａ＃ｗ ｃ，ｂ＃ｗ ｃ，ａ｜｜ｗ b。根據(jù)結(jié)構(gòu)化工作流網(wǎng)的定義和圖６，很容易證明該定理的正確性。詳細(xì)證明從略。３．３ 隱含任務(wù)的檢測順序由于過程可能同時(shí)存在多種類型的隱含任務(wù)，一種隱含任務(wù)的存在可能會(huì)對(duì)另一種隱含的發(fā)現(xiàn)造成影響。因此各隱含任務(wù)的檢測必須符合一定的順序。由于起始／結(jié)束點(diǎn)型隱含任務(wù)存在于模型的兩端，其他類型隱含任務(wù)的發(fā)現(xiàn)可能會(huì)依賴于它的正確發(fā)現(xiàn)，因此應(yīng)該先進(jìn)行起始／結(jié)束點(diǎn)型隱含任務(wù)的檢測。結(jié)構(gòu)轉(zhuǎn)換點(diǎn)型的隱含任務(wù)本身是選擇結(jié)構(gòu)或者并行結(jié)構(gòu)的起始點(diǎn)或者結(jié)束點(diǎn)，而子分支點(diǎn)型隱含任務(wù)的檢測依賴于選擇結(jié)構(gòu)的起始點(diǎn)或結(jié)束點(diǎn)的存在。因此，結(jié)構(gòu)轉(zhuǎn)換點(diǎn)型隱含任務(wù)的檢測必須先于子分支點(diǎn)型隱含任務(wù)。隱含路徑型隱含任務(wù)的正確檢測依賴于選擇結(jié)構(gòu)或者并行結(jié)構(gòu)的正確結(jié)束，因此應(yīng)該最后進(jìn)行。４ 基于結(jié)構(gòu)化工作流網(wǎng)的挖掘算法４．１ 子分支點(diǎn)型隱含任務(wù)發(fā)現(xiàn)算法根據(jù)前面的討論，子分支點(diǎn)型隱含任務(wù)的發(fā)現(xiàn)算法ｆｉｎｄ ｓｕｂ ｂｒａｎｃｈ ｉｔ如下：定義９（ｆｉｎｄ ｓｕｂ ｂｒａｎｃｈ ｉｔ算法） 已知結(jié)構(gòu)化工作流網(wǎng)ｎ＝（ｐ，ｔ，ｆ，ｉ，ｏ），w是其滿足→w和δw關(guān)系完備性的日志，rw是從w得到的所有次序關(guān)系集合。則子分支點(diǎn)型隱含任務(wù)的發(fā)現(xiàn)算法是：（１）ｔｗ＝｛ｔ｜?堝σ∈ｗ，ｔ∈σ｝（２）ｘ１＝｛（｛ａ｝，ｂ）|a∈ｔｗ∧b?奐tw∧（?坌b∈b∶a→ｗｂ）∧（?坌ｂ１，ｂ２∈ｂ∶ｂ１｜｜ｗ ｂ２）∧（?堝ｃ∈ｔｗ∶ａ→ｗｃ∧（?坌ｂ∈ｂ∶ｃ＃ｗｂ））｝（３）ｘ2＝｛（ａ，｛b｝|a?奐tw∧b∈tw∧（?坌a∈a∶ ｃ＃ｗa）∧（?坌a1，a2∈a∶a1||w a2）∧（?堝ｃ∈ｔｗ∶c→ｗb∧（?坌a∈a∶ ｃ＃ｗa））｝（４）x=x1∪x2（６）ty=｛ty|?堝y∈y｝（７）r1=｛a→wty|?堝ｙ∈ｙ，ｙ＝（ａ，ｂ），ａ∈ａ｝（８）r2=｛ty→wb|?堝ｙ∈ｙ，ｙ＝（ａ，ｂ），b∈b｝（９）ry=r1∪r2（１０）tw=tw∪ty（１１）rw=rw∪ry４．２ 結(jié)構(gòu)轉(zhuǎn)換點(diǎn)型隱含任務(wù)發(fā)現(xiàn)算法
電大資料相關(guān)推薦
鄂ICP備17016276號(hào)-1