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

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

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

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