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

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

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

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