基于軟件復用的領域業(yè)務模型演化.pdf

1、建立領域業(yè)務模型的主要目的是滿足單位或組織根據(jù)業(yè)務需求的變化，不斷進行流程的分析、優(yōu)化、重組和再造的需要，并為業(yè)務應用需求的描述、信息資源的規(guī)劃與共享提供基本依據(jù)與表述方法。領域業(yè)務需求變化要求業(yè)務模型不僅要能夠?qū)嶋H業(yè)務需求的變化產(chǎn)生響應與支持，而且還要支持對變化響應進行驗證，使其能在具體業(yè)務規(guī)則的約束下正確演化。針對上述需求，本文參照軟件復用的思想、運用UML技術(shù)，對特定領域業(yè)務流程建模及演化方法進行了系統(tǒng)的研究，主要內(nèi)容如下：

2、 1、在總結(jié)國內(nèi)外軟件復用、業(yè)務建模和模型演化的理論、方法和研究成果的基礎上，提出了一種基于軟件復用的業(yè)務建模、演化框架，分析了框架中主要組成部分。在這種框架之下，又進一步提出了一種特定領域業(yè)務建模方法MBMSD(Method of Business Modeling in Specific Domain)。闡述了MBMSD各種視圖的構(gòu)成要素及其語義、圖形化表示等。隨后，說明了在MBMSD中，業(yè)務模型元素的構(gòu)件化描述。 2、

3、提出了一種基于CP網(wǎng)的業(yè)務模型資源共享、活動互斥等沖突的驗證方法。同時，提出了一種基于MBMSD的業(yè)務模型演化步驟，并分析了主要演化環(huán)節(jié)及核心算法。該步驟將預演化后的業(yè)務模型映射為CP網(wǎng)，并按Petri網(wǎng)理論與方法對其可達性進行驗證，根據(jù)驗證結(jié)果進一步推斷預演化后業(yè)務模型是否存在資源共享、活動互斥等沖突，以保障業(yè)務模型演化的正確性，并為建立支持演化的計算機輔助領域業(yè)務流程設計系統(tǒng)奠定了基礎。 3、系統(tǒng)闡述了支持圖形化操作的領域業(yè)