一個(gè)工作流管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、本文在研究傳統(tǒng)工作流的基礎(chǔ)上，提出將工作流形式化的觀點(diǎn)，并提出采用Petri網(wǎng)建模體系。盡管Petri網(wǎng)是圖形化的，但它卻有著堅(jiān)實(shí)的數(shù)學(xué)基礎(chǔ)，而且是完全形式化的。正因?yàn)槿绱耍撔问交w系有很多優(yōu)點(diǎn)。首先，它有精確的定義，同許多其他非形式化的框圖技術(shù)相比，避免了模糊性、不確定性和矛盾性。其次，這種形式化體系可以用來反思過程，可以檢驗(yàn)一個(gè)案例在一段時(shí)間后是否被成功執(zhí)行。在這種建?；A(chǔ)上，提出了一套完整的工作流管理系統(tǒng)設(shè)計(jì)方案。該方案中，嚴(yán)格

2、地采用過程形式化體系，即基于Petri網(wǎng)的結(jié)構(gòu)化建模技術(shù)。在研究這一形式化體系的基礎(chǔ)上，設(shè)計(jì)出了適用于該體系建模技術(shù)的工作流管理工具。通過該工具，可將已結(jié)構(gòu)化的工作流模型轉(zhuǎn)換成XML文檔，再由工作流引擎來執(zhí)行XML文檔；同時(shí)，管理工具還能對(duì)已有的XML文檔進(jìn)行修改、維護(hù)和擴(kuò)充。 整個(gè)系統(tǒng)是參考國際工作流聯(lián)盟所提出的結(jié)構(gòu)模型，并結(jié)合用戶需求所設(shè)計(jì)出一個(gè)包含工作流引擎、工作流管理工具、工作流建模、工作流系統(tǒng)前臺(tái)以及數(shù)據(jù)庫的輕型工作流