基于狀態(tài)轉(zhuǎn)換的工作流驗(yàn)證的研究與實(shí)現(xiàn).pdf

1、隨著網(wǎng)絡(luò)技術(shù)的不斷發(fā)展，越來(lái)越多的企業(yè)使用工作流技術(shù)來(lái)提高企業(yè)的運(yùn)行效率，目前工作流技術(shù)已經(jīng)成為流程定義和管理的核心技術(shù)，具有廣闊的發(fā)展空間。工作流管理系統(tǒng)是完成工作流的定義、管理和推進(jìn)工作流執(zhí)行的軟件系統(tǒng)，主要包括四個(gè)部分：工作流建模工具，工作流引擎，客戶應(yīng)用程序和工作流管理工具。其中工作流建模工具負(fù)責(zé)構(gòu)建工作流模型，并對(duì)模型進(jìn)行正確性驗(yàn)證，工作流驗(yàn)證一直是工作流領(lǐng)域的一個(gè)研究熱點(diǎn)，只有解決好驗(yàn)證問(wèn)題，工作流技術(shù)才能更好的發(fā)展。

2、>　　 論文分析了國(guó)內(nèi)外工作流驗(yàn)證的研究現(xiàn)狀，總結(jié)了幾種常用的驗(yàn)證方法。工作流的正確性驗(yàn)證通常包括語(yǔ)法驗(yàn)證、結(jié)構(gòu)驗(yàn)證和語(yǔ)義驗(yàn)證三個(gè)方面，本文重點(diǎn)討論的是工作流的結(jié)構(gòu)驗(yàn)證，即保證工作流的結(jié)構(gòu)正確性，結(jié)構(gòu)驗(yàn)證是指排除工作流的結(jié)構(gòu)異常，使工作流過(guò)程能正常結(jié)束。本文給出了工作流的形式化定義，定義了活動(dòng)的狀態(tài)和狀態(tài)轉(zhuǎn)換規(guī)則，將工作流的執(zhí)行解釋為活動(dòng)狀態(tài)的轉(zhuǎn)換，通過(guò)構(gòu)造狀態(tài)轉(zhuǎn)換表來(lái)判定流程是否存在結(jié)構(gòu)異常，并針對(duì)死鎖、多實(shí)例、死循環(huán)三種典型的結(jié)構(gòu)

3、異常進(jìn)行具體分析。之后給出了基于狀態(tài)轉(zhuǎn)換的驗(yàn)證算法，并和相關(guān)的驗(yàn)證算法進(jìn)行了比較，依據(jù)該算法對(duì)循環(huán)結(jié)構(gòu)和Overlapping結(jié)構(gòu)進(jìn)行分析驗(yàn)證，說(shuō)明該算法具有廣泛適用性。
　　 論文設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)基于XML的工作流建模工具JXWfst，完全遵循工作流聯(lián)盟提出的XPDL規(guī)范，采用三層體系架構(gòu)模式，提供建立模型、修改模型、驗(yàn)證模型和保存模型的功能。通過(guò)給用戶提供一個(gè)界面友好的GUI，使用戶可以通過(guò)拖拽的方式靈活的構(gòu)建工作流模型，此