交互式工作流仿真系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、工作流(WorkFlow)就是工作流程的計(jì)算模型。目前市場(chǎng)上的很多工作流產(chǎn)品不支持工作流模型的仿真。國家高技術(shù)研究發(fā)展計(jì)劃(863計(jì)劃)－“高可信軟件生產(chǎn)工具及集成環(huán)境”中的子課題5“面向流程管理的軟件生產(chǎn)線”的一個(gè)研究重點(diǎn)是流程仿真工具。本文在此課題背景下提出了交互式工作流仿真，設(shè)計(jì)并實(shí)現(xiàn)了該仿真系統(tǒng)。
　　 本文主要包含以下幾個(gè)方面的內(nèi)容：
　　 1.對(duì)工作流發(fā)展?fàn)顩r和工作流仿真現(xiàn)狀進(jìn)行了研究。概述了目前工作流產(chǎn)品的

2、特點(diǎn)，對(duì)國內(nèi)外的工作流仿真產(chǎn)品進(jìn)行了詳細(xì)分析。詳細(xì)介紹了工作流仿真實(shí)現(xiàn)的三種方式。
　　 2.介紹了工作流的基本概念及其模型的相關(guān)原理，其中重點(diǎn)介紹了基于Petri網(wǎng)的擴(kuò)展信牌驅(qū)動(dòng)的工作流模型。
　　 3.當(dāng)前的工作流仿真系統(tǒng)只是對(duì)工作流模型進(jìn)行語義層次的驗(yàn)證(動(dòng)態(tài)仿真)。本文提出的工作流仿真系統(tǒng)是將工作流模型的語法層次的驗(yàn)證(模型靜態(tài)檢查)和模型語義層次的驗(yàn)證(模型動(dòng)態(tài)仿真)無縫的結(jié)合起來，從而使整個(gè)仿真系統(tǒng)具有更高的