一種基于產(chǎn)生式的流程管理模型分析方法-資料下載頁(yè)
2025-06-19 05:43本頁(yè)面
【正文】 ＝R1+R2→(α+β)T 從這個(gè)例子中可以看出，只需使用簡(jiǎn)單的規(guī)則就可以實(shí)現(xiàn)產(chǎn)生式模型到其他流程表達(dá)模型的變換。在很多需要變換流程表達(dá)方式的場(chǎng)合，可以制定這種簡(jiǎn)單的規(guī)則來(lái)實(shí)現(xiàn)。下文在作流程分析和驗(yàn)證時(shí)，將會(huì)用到這種規(guī)則，將有向圖結(jié)構(gòu)的易于設(shè)計(jì)者理解的流程模型轉(zhuǎn)換為便于流程分析驗(yàn)證的形式化模型。 流程的動(dòng)態(tài)分析通過(guò)產(chǎn)生式的派生和數(shù)據(jù)流依賴關(guān)系分析來(lái)獲得流程的控制流行為特征。 使用與規(guī)則1類似的規(guī)則，可以從傳統(tǒng)的圖結(jié)構(gòu)流程模型自動(dòng)化地轉(zhuǎn)換為形式化的產(chǎn)生式模型。下面討論如何使用產(chǎn)生式模型將一般的流程模型轉(zhuǎn)換為結(jié)構(gòu)良好的流程，并且在這個(gè)過(guò)程中可以看到，流程的一些特性包括結(jié)構(gòu)上的沖突等會(huì)在模型變換過(guò)程中被分析出來(lái)。 首先給出流程產(chǎn)生式模型歸約的規(guī)則： 規(guī)則2 ?。?）（合并）合并左部重復(fù)的產(chǎn)生式，使其符合產(chǎn)生式左部的唯一性。 ?。?）（可達(dá)符號(hào)集）可達(dá)符號(hào)集定義為：開(kāi)始符號(hào)屬于可達(dá)符號(hào)集；出現(xiàn)在可達(dá)符號(hào)集中符號(hào)的產(chǎn)生式右部的非終結(jié)符屬于可達(dá)符號(hào)集。 ?。?）（連通流程）除非產(chǎn)生式組中所有的非終結(jié)符都屬于可達(dá)符號(hào)集；否則，本流程中存在不能被執(zhí)行的部分，流程中各部分不連通。 ?。?）（終結(jié)消元）對(duì)任何產(chǎn)生式S→α，若S不是開(kāi)始符號(hào)，且α中不包含非終結(jié)符，則將這個(gè)產(chǎn)生式代入其他任何右部包含該產(chǎn)生式左部非終結(jié)符的產(chǎn)生式中，消去此非終結(jié)符。重復(fù)執(zhí)行此規(guī)則直到不存在這樣的產(chǎn)生式。將符號(hào)E看做終結(jié)符號(hào)。 ?。?）（選擇表達(dá)式）使用算子運(yùn)算法則中的分配律化簡(jiǎn)剩余產(chǎn)生式的右部為選擇表達(dá)式，即表達(dá)式中所有的選擇算子均在表達(dá)式樹(shù)的第一層，形如S→α|β|γ。 （6）（可終結(jié)符號(hào)集）若非終結(jié)符S的產(chǎn)生式右部的所有選擇分支中存在一個(gè)分支，其中只包含終結(jié)符和已經(jīng)確定為可終結(jié)的符號(hào)，則S稱為可終結(jié)的符號(hào)。所有可終結(jié)的符號(hào)構(gòu)成可終結(jié)符號(hào)集。 ?。?）（無(wú)限流程）若執(zhí)行以上步驟后，產(chǎn)生式組中存在非終結(jié)符S，屬于可達(dá)符號(hào)集但不屬于可終結(jié)符號(hào)集，則本產(chǎn)生式表達(dá)的流程是一個(gè)潛在的不能在有限步歸約后結(jié)束的流程；否則，流程具有有界性。 ?。?）（簡(jiǎn)單流程）整理終結(jié)消元的結(jié)果。如果剩余的非終結(jié)符僅有開(kāi)始符號(hào)，則流程中不存在循環(huán)、遞歸等復(fù)雜流程結(jié)構(gòu)，稱為簡(jiǎn)單流程。 ?。?）（非終結(jié)消元）如果流程不是簡(jiǎn)單流程，設(shè)剩余非終結(jié)符構(gòu)成集合C，若存在非開(kāi)始符號(hào)的非終結(jié)符S屬于C且S不出現(xiàn)在S的產(chǎn)生式的右部，將此產(chǎn)生式代入其他產(chǎn)生式中S出現(xiàn)的地方，消去非終結(jié)符S；重復(fù)執(zhí)行此規(guī)則直到不存在這樣的S。 ?。?0）（遞歸子集）不能被消元的終結(jié)符集合及其產(chǎn)生式構(gòu)成了遞歸子集；更細(xì)致的分析可以定義最小遞歸子集及其階數(shù)、遞歸子集的劃分及其相互依賴關(guān)系。例如一階遞歸子集形如R→f(R)表達(dá)了一階遞歸結(jié)構(gòu)，在首遞歸和尾遞歸的情況下可以退化為循環(huán)結(jié)構(gòu)。 應(yīng)用模型生成規(guī)則，產(chǎn)生對(duì)應(yīng)的產(chǎn)生式組，然后使用上面的流程歸約規(guī)則，即得到了流程的最簡(jiǎn)表達(dá)式（4），并且在規(guī)約過(guò)程中可以確定流程的有界性和結(jié)構(gòu)特性。 下面使用上述規(guī)則來(lái)分析一個(gè)具有結(jié)構(gòu)沖突的流程。 該流程是一個(gè)典型的非結(jié)構(gòu)化流程模型，它試圖通過(guò)將“格式化申請(qǐng)”的任務(wù)與“預(yù)算審核”的任務(wù)并發(fā)執(zhí)行，從而提高流程的執(zhí)行效率。然而，流程圖中“預(yù)算審核”活動(dòng)可能否決申請(qǐng)要求，從而導(dǎo)致重新執(zhí)行“編輯申請(qǐng)”活動(dòng)。這樣，并發(fā)執(zhí)行的多個(gè)“格式化申請(qǐng)”活動(dòng)實(shí)例將使得并發(fā)同步活動(dòng)m的同步語(yǔ)義模糊，出現(xiàn)結(jié)構(gòu)沖突。下面展示如何使用流程的產(chǎn)生式派生規(guī)則分析流程結(jié)構(gòu)沖突的過(guò)程。 首先，使用規(guī)則1生成流程模型對(duì)應(yīng)的產(chǎn)生式組： ProcessP：S→aRR→U1+U2U1→bW U2→cXW→T|VV+X→Y（5） Y→dZT→aRZ→E 然后使用算子運(yùn)算法則按規(guī)則2對(duì)產(chǎn)生式組進(jìn)行歸約。對(duì)流程式（5）使用以上規(guī)則，得到 S→aRR→baR+cX|(b+c)dE 在化簡(jiǎn)過(guò)程執(zhí)行到這一步時(shí)，從化簡(jiǎn)結(jié)果可以看出，由于原流程設(shè)計(jì)上的缺陷，可能出現(xiàn)多個(gè)并發(fā)分支X的同步丟失。并發(fā)分支無(wú)法正確同步，流程存在結(jié)構(gòu)上的沖突即同步丟失。 從上面給出的兩個(gè)實(shí)例可以看出，使用上述規(guī)則在對(duì)業(yè)務(wù)流程模型的生成和歸約過(guò)程中，已經(jīng)能夠刻畫出流程模型的若干特性了，如有界性、結(jié)構(gòu)沖突等。另外，通過(guò)歸約，還可以分析流程的循環(huán)、遞歸等結(jié)構(gòu)，將一個(gè)基于圖結(jié)構(gòu)定義的業(yè)務(wù)流程模型，轉(zhuǎn)換為另一個(gè)語(yǔ)義上等價(jià)的結(jié)構(gòu)化流程模型來(lái)表示。 4結(jié)束語(yǔ) 業(yè)務(wù)流程模型的分析和驗(yàn)證是工作流技術(shù)中重要的研究課題之一。本文在總結(jié)已有業(yè)務(wù)流程模型分析方法的基礎(chǔ)上，通過(guò)對(duì)業(yè)務(wù)活動(dòng)的分析和抽象，提出了一種基于產(chǎn)生式的業(yè)務(wù)流程形式化分析模型，并且定義了流程化簡(jiǎn)和流程屬性驗(yàn)證規(guī)則，應(yīng)用一些實(shí)例展示了這種流程分析模型在流程分析和驗(yàn)證中的能力。要使用這種流程分析模型，首先可以根據(jù)工作流系統(tǒng)具體的流程定義，應(yīng)用相應(yīng)的轉(zhuǎn)換規(guī)則，自動(dòng)化地得到流程的形式化分析模型；然后針對(duì)要驗(yàn)證的業(yè)務(wù)流程屬性，選擇應(yīng)用特定的流程屬性驗(yàn)證規(guī)則來(lái)檢查模型的具體屬性，從而為業(yè)務(wù)流程的應(yīng)用提供正確性、有效性的保證。
法律信息相關(guān)推薦
鄂ICP備17016276號(hào)-1