工作流建模與基于真值表驗(yàn)證的研究.pdf

1、隨著業(yè)務(wù)需求不斷變化，對(duì)業(yè)務(wù)流程的設(shè)計(jì)和改造成為企業(yè)重要的競(jìng)爭力。作為“企業(yè)的操作系統(tǒng)”，工作流技術(shù)已經(jīng)成為未來企業(yè)自動(dòng)化和業(yè)務(wù)重組所必須的技術(shù)，具有廣闊的應(yīng)用前景。工作流管理系統(tǒng)是一個(gè)包括建模工具、引擎、工作列表、監(jiān)控工具等的系統(tǒng)軟件，其中建模工具是整個(gè)工作流管理系統(tǒng)的起點(diǎn)，工作流模型的正確性驗(yàn)證又是工作流建模工具的一個(gè)核心功能。只有解決好工作流建模和驗(yàn)證的問題才能更好的應(yīng)用工作流技術(shù)。 本文首先分析了幾種主要的工作流建模方法

2、以及他們的優(yōu)勢(shì)和不足，接著分析了UML在工作流建模中的優(yōu)勢(shì)，并從不同角度介紹了工作流的UML模型。然后，結(jié)合上述理論，本文設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)工作流建模工具XWfdt，XWfdt的特點(diǎn)是能夠以UML活動(dòng)圖的方式顯示工作流模型，以XPDL的格式保存工作流模型，從而既方便用戶進(jìn)行業(yè)務(wù)建模，也便于工作流模型在異構(gòu)的工作流管理平臺(tái)上實(shí)施。此外，XWfdt還可以對(duì)工作流模型進(jìn)行語法驗(yàn)證和結(jié)構(gòu)驗(yàn)證以及部分語義驗(yàn)證。 對(duì)工作流模型按某種正確性原則

3、進(jìn)行檢查稱為工作流驗(yàn)證。本文描述了4種典型的結(jié)構(gòu)正確性方面的異常，分別是死鎖、多實(shí)例、缺少后繼或前驅(qū)節(jié)點(diǎn)以及死循環(huán)，采用了工作流的邏輯表示方法，提出了工作流真值表的概念，并給出4種結(jié)構(gòu)異常和工作流真值表的對(duì)應(yīng)關(guān)系。之后提出了基于真值表的驗(yàn)證算法，該算法將工作流模型表示為邏輯表達(dá)式的集合，按照流程執(zhí)行的順序給活動(dòng)賦真值，從而構(gòu)造工作流真值表，并且依據(jù)一定的規(guī)則從工作流真值表中發(fā)現(xiàn)結(jié)構(gòu)沖突以及判定流程的正確性。算法可以在多項(xiàng)式時(shí)間內(nèi)完成，所