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

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

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

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