基于Petri網(wǎng)和XML的表單流程定制系統(tǒng)的研究與實(shí)現(xiàn).pdf

1、工作流管理技術(shù)在現(xiàn)代企業(yè)中的作用越來越重要，也是近年來在計(jì)算機(jī)應(yīng)用領(lǐng)域中發(fā)展最為迅速的幾項(xiàng)技術(shù)之一?？涩F(xiàn)如今業(yè)務(wù)規(guī)則、業(yè)務(wù)流程的不斷變化使得工作流定制系統(tǒng)面臨著前所未有的挑戰(zhàn)。尋求一種能支持企業(yè)間組織結(jié)構(gòu)、業(yè)務(wù)流程快速變化和異構(gòu)信息資源共享的工作流定制系統(tǒng)成為了當(dāng)今研究的熱點(diǎn)和趨勢。其中過程模型的建立與結(jié)構(gòu)的分析是工作流定制系統(tǒng)的重點(diǎn)之一，也依舊是一大難題。本文在分析和研究XML和Petri網(wǎng)技術(shù)的基礎(chǔ)上，利用XML的可擴(kuò)展性、自描述性

2、好、語意性強(qiáng)、與平臺無關(guān)的優(yōu)點(diǎn)以及Petri網(wǎng)具有嚴(yán)格的數(shù)學(xué)定義和豐富嚴(yán)謹(jǐn)?shù)姆治?、建模技術(shù)，完成了表單流程定制系統(tǒng)中兩套工具設(shè)計(jì)與實(shí)現(xiàn)。
　　一是表單定制工具，它能為用戶提供表單的設(shè)計(jì)和創(chuàng)建等功能。該工具內(nèi)部的數(shù)據(jù)格式采用XML數(shù)據(jù)格式，設(shè)計(jì)中我們提出了將表單的XML格式的數(shù)據(jù)存放在數(shù)據(jù)庫中的一個大字段的方法來實(shí)現(xiàn)表單模版和實(shí)例的存儲。這種格式的數(shù)據(jù)還能與其它格式的數(shù)據(jù)（如HTML、PDF、Excel等）進(jìn)行樣式的雙向解析與轉(zhuǎn)換。

3、
　　另一是工作流程定制工具，它主要可完成業(yè)務(wù)流程的創(chuàng)建、流程實(shí)例的啟動、狀態(tài)監(jiān)控與資源管理。在過程建模中，我們利用Petri網(wǎng)的圖形化語言和基于狀態(tài)的建模優(yōu)勢，得到了工作流網(wǎng)的建模方法。同時還針對工作流網(wǎng)中的某些局限性，進(jìn)一步給出了擴(kuò)展工作流網(wǎng)建模方法及相互轉(zhuǎn)換算法。另外對用該方法建立的模型進(jìn)行過程結(jié)構(gòu)的代數(shù)分析，通過對模型的狀態(tài)方程的求解來驗(yàn)證工作流網(wǎng)建模的可行性及所建模型狀態(tài)間具有可達(dá)性，而且能較好的描述業(yè)務(wù)流程的不確定性、