基于軟件復(fù)用的領(lǐng)域業(yè)務(wù)模型演化.pdf

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

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

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