UML模型一致性檢測的研究.pdf

1、統(tǒng)一建模語言(UML)已經(jīng)成為面向對象建模事實上的工業(yè)標準，用于大型復雜系統(tǒng)。隨著被建模系統(tǒng)越來越復雜，模型一致性問題也變的更加突出。目前，多數(shù)的UML建模工具并沒有提供一個好的一致性管理框架，用戶不得不人工檢查模型的一致性，這無疑增加了設計人員的負擔，而且模型質量也很難保證。因此，建立一個高效、柔性的一致性管理框架已經(jīng)成為提高模型質量、確保模型可實現(xiàn)性的迫切要求。 本文首先介紹了UML語言的四層元模型結構，通過對UML語言特點

2、的分析指出了UML模型一致性問題產生的原因。然后簡要介紹了一致性問題研究現(xiàn)狀，并對現(xiàn)有的一致性檢測方法進行了歸納和總結，通過分析，指出了各自的優(yōu)缺點。在對一致性問題分析的基礎上，分別從語言和模型的角度對一致性問題進行分類。 要進行模型一致性檢測，必須增加UML的語義約束，消除UML內在的不確定性，但是為了更好的利用現(xiàn)有的可視化建模工具，本文采用了UML標準擴展機制對UML元模型進行擴展，利用擴展后UML元模型對特定應用進行建模，

3、然后通過OMG的元模型交換機制(XMI)將UML元模型和所建模型分別轉化為XMLDTD和XML文檔，再利用對象關系映射機制將基于XMI表示的元模型和模型導入關系數(shù)據(jù)庫。同時用數(shù)據(jù)庫查詢來表示一致性規(guī)則，根據(jù)用戶定制的檢測策略，執(zhí)行相應的查詢，完成一致性檢查，并將結果反饋給用戶，提出相應的修改建議。本文提出的一致性檢測框架既保證了模型的通用性，又充分利用關系數(shù)據(jù)庫高效、強大的查詢和數(shù)據(jù)分析功能，具有較高的實用性。文章的最后為全文做了總結和