基于構(gòu)件的工作流建模工具的研究與實(shí)現(xiàn).pdf

1、工作流模型是構(gòu)建工作流管理系統(tǒng)的基礎(chǔ)，也是構(gòu)建企業(yè)信息系統(tǒng)的關(guān)鍵?；跇?gòu)件的軟件復(fù)用是解決軟件復(fù)用問(wèn)題的關(guān)鍵技術(shù)，這種技術(shù)在軟件開發(fā)過(guò)程中具有重要作用。因此，為了提高軟件生產(chǎn)效率和軟件開發(fā)質(zhì)量以及運(yùn)用基于構(gòu)件的技術(shù)開發(fā)工作流建模工具，有必要研究基于構(gòu)件的工作流建模工具的技術(shù)。
　　 軟件體系結(jié)構(gòu)的設(shè)計(jì)是整個(gè)軟件系統(tǒng)開發(fā)的關(guān)鍵環(huán)節(jié)，也是系統(tǒng)取得長(zhǎng)遠(yuǎn)成功的關(guān)鍵因素，為此，需要對(duì)基于構(gòu)件的工作建模工具的體系結(jié)構(gòu)進(jìn)行設(shè)計(jì)，以滿足企業(yè)復(fù)雜

2、業(yè)務(wù)管理的需求。本文提出并設(shè)計(jì)了一種基于構(gòu)件的工作流建模工具的體系結(jié)構(gòu)，對(duì)該體系結(jié)構(gòu)的評(píng)估表明，該體系結(jié)構(gòu)在擴(kuò)展性和適用性上要明顯優(yōu)于傳統(tǒng)架構(gòu)。同時(shí)用π演算方法對(duì)工作流中的活動(dòng)和遷移進(jìn)行了形式化描述，以確保流程的正確執(zhí)行。
　　 本文第一部分的工作是在分析傳統(tǒng)工作建模工具體系結(jié)構(gòu)的基礎(chǔ)上，提出并設(shè)計(jì)了一種基于構(gòu)件的工作流建模工具的體系結(jié)構(gòu)，通過(guò)軟件體系結(jié)構(gòu)分析方法對(duì)該體系結(jié)構(gòu)進(jìn)行了評(píng)估，并將該體系結(jié)構(gòu)與傳統(tǒng)的B/S架構(gòu)進(jìn)行了對(duì)比

3、，相關(guān)實(shí)驗(yàn)表明，該體系結(jié)構(gòu)在擴(kuò)展性和適用性上要明顯優(yōu)于傳統(tǒng)B/S架構(gòu)。
　　 本文第二部分的工作是提出并通過(guò)兀演算方法對(duì)工作流進(jìn)行形式化描述，以增強(qiáng)系統(tǒng)的檢驗(yàn)?zāi)芰Γ瑫r(shí)提出了基于π演算的工作流驗(yàn)證方法，從而保證確保工作流的正確執(zhí)行。
　　 本文第三部分的工作是按照基于構(gòu)件的軟件開發(fā)過(guò)程結(jié)合上面提出的體系結(jié)構(gòu)，設(shè)計(jì)并實(shí)現(xiàn)了基于構(gòu)件的工作流建模工具。
　　 本文第四部分的工作是通過(guò)應(yīng)用實(shí)例驗(yàn)證了基于構(gòu)件的工作流建模工