面向規(guī)則的企業(yè)模型一致性檢驗(yàn)系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn).pdf

1、現(xiàn)今，運(yùn)用企業(yè)模型來初始化和生成商務(wù)應(yīng)用程序正變得越來越普遍，企業(yè)模型的一致性驗(yàn)證也相應(yīng)的變得非常重要。對(duì)模型進(jìn)行一致性驗(yàn)證一般是由有經(jīng)驗(yàn)的建模人員完成的，他們建立模型規(guī)則并將模型規(guī)則與實(shí)際模型進(jìn)行比對(duì)，以求模型建立正確并且沒有信息遺漏。隨著企業(yè)模型的規(guī)模越來越大，建模的復(fù)雜度越來越高，由人工來進(jìn)行模型一致性驗(yàn)證就顯得力不從心。本文致力于探討一種能夠建立規(guī)則模板，并能自動(dòng)將規(guī)則與特殊領(lǐng)域的企業(yè)模型進(jìn)行比對(duì)，來驗(yàn)證企業(yè)模型的一致性驗(yàn)證系統(tǒng)

2、。
　　這個(gè)一致性驗(yàn)證系統(tǒng)的實(shí)現(xiàn)平臺(tái)是MO2GO NG企業(yè)建模系統(tǒng)，這個(gè)建模系統(tǒng)的理論基礎(chǔ)為集成企業(yè)建模（IEM）。
　　本文首先對(duì)一致性驗(yàn)證系統(tǒng)的用戶定義規(guī)則語言的實(shí)現(xiàn)進(jìn)行了探討，并對(duì)現(xiàn)有的規(guī)則語言進(jìn)行了對(duì)比和實(shí)用性研究。在確定了對(duì)象規(guī)則語言（OCL）為目標(biāo)語言以后，在已有的Dresden OCL2 for Eclipse提供的軟件工具包和對(duì)象規(guī)則語言編譯器的基礎(chǔ)上，通過將IEM模型轉(zhuǎn)化為統(tǒng)一建模語言（UML）和Java編

3、程語言描述的模型，建立了MO2GO NG系統(tǒng)下的規(guī)則語言自動(dòng)編譯器。通過過對(duì)編譯結(jié)果和模型實(shí)際的情況的解讀，一致性檢驗(yàn)系統(tǒng)就可以定位不符合一致性模型并為用戶提供其信息。
　　一致性檢驗(yàn)系統(tǒng)在實(shí)現(xiàn)時(shí)，使用了eclipse軟件開發(fā)環(huán)境提供的插件技術(shù)，為系統(tǒng)提供了很大的可用性和升級(jí)的空間。本文在最后對(duì)系統(tǒng)進(jìn)行了實(shí)用性的探討，并提供了許多規(guī)則模板以方便規(guī)則的編寫與使用。
　　經(jīng)過對(duì)多個(gè)企業(yè)應(yīng)用相關(guān)流程模型一致性的驗(yàn)證，可以看出，最終