圖形化工作流建模及其正確性驗證方法研究與實現(xiàn)的中期報告

圖形化工作流建模及其正確性驗證方法研究與實現(xiàn)的中期報告中期報告一、研究背景隨著信息化的發(fā)展以及復(fù)雜企業(yè)業(yè)務(wù)的增加，工作流系統(tǒng)被廣泛應(yīng)用。工作流是管理企業(yè)流程、控制流程生命周期及資料、信息、知識在流程中的傳遞。可視化建?？梢源蟠筇岣吖ぷ髁鞒痰慕?、管理以及修改的效率，因此引起了廣泛的關(guān)注。然而，隨著工作流程復(fù)雜度的提高，工作流的正確性驗證變得越來越重要。本研究主要研究圖形化工作流建模和正確性驗證方法。通過對業(yè)界相關(guān)研究進(jìn)行調(diào)研和分析，對于目前的問題提出解決方案。二、研究內(nèi)容1.圖形化工作流建模的研究通過調(diào)研和分析目前工作流建模軟件的特性以及用戶的需求，設(shè)計開發(fā)一款圖形化工作流建模工具，方便用戶快速進(jìn)行流程建模。2.圖形化工作流正確性驗證的研究為保證工作流程的正確性，需要對工作流進(jìn)行驗證。本研究將研究工作流正確性的驗證方法。在對常見的工作流正確性問題進(jìn)行研究的基礎(chǔ)上，設(shè)計開發(fā)一種基于Petri網(wǎng)的驗證方法。三、預(yù)期成果1.設(shè)計開發(fā)圖形化工作流建模工具，實現(xiàn)基本工作流建模特性，包括：（1）拖拽式流程建模。（2）節(jié)點類型自定義。（3）節(jié)點屬性定制。（4）自動排列節(jié)點位置。（5）節(jié)點信息的展示。（6）節(jié)點連線的編輯。2.設(shè)計開發(fā)基于Petri網(wǎng)的工作流正確性驗證工具，實現(xiàn)基本正確性驗證功能，包括：（1）Petri網(wǎng)的構(gòu)建和模型轉(zhuǎn)化。（2）基于Petri網(wǎng)的模型檢查算法實現(xiàn)。（3）工作流的死鎖、活鎖、循環(huán)等正確性問題的檢測。四、研究方法1.調(diào)研分析當(dāng)前業(yè)界工作流建模軟件和正確性驗證方法，找出其優(yōu)缺點并予以解決。2.通過Petri網(wǎng)的形式化語義來描述工作流，設(shè)計并實現(xiàn)一款基于Petri網(wǎng)的工作流正確性驗證工具，提出Petri網(wǎng)正確性驗證的算法。3.設(shè)計并實現(xiàn)圖形化工作流建模工具，提供用戶自定義節(jié)點類型和節(jié)點屬性以及連線類型及其編輯。五、進(jìn)度計劃本研究工期為12個月左右，進(jìn)度計劃如下：1.前期調(diào)研和分析，完成圖形化工作流建模和正確性驗證方法的研究，6周。2.設(shè)計開發(fā)基于Petri網(wǎng)的工作流正確性驗證工具，實現(xiàn)基本正確性驗證功能，包括Petri網(wǎng)的構(gòu)建和模型轉(zhuǎn)化，4個月。3.實現(xiàn)圖形化工作流建模工具，提供用戶自定義節(jié)點類型和節(jié)點屬性以及連線類型及其編輯，4個月。4.對兩款工具進(jìn)行集成測試，實現(xiàn)一體化使用，2周。六、結(jié)論本研究致力于在圖形化工作流建模及其正確性驗證領(lǐng)域做出一定的成果。通過開發(fā)圖形化工作流建模工具和基于Petri網(wǎng)的工作流正確性驗