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

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

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

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