UML模型一致性檢測(cè)的研究.pdf

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

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

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