UML模型一致性檢測(cè)的研究與設(shè)計(jì).pdf

1、隨著軟件工程的日益發(fā)展，UML建模在軟件工程中的地位越來(lái)越重要，它已成為軟件需求分析與建模的主要標(biāo)準(zhǔn)之一。然而由于UML歸根結(jié)底是一種非形式化的語(yǔ)言，模型的一致性很難保證。目前，大多數(shù)UML建模通過(guò)人工審查的方式或者集成于UML建模工具的檢測(cè)工具等來(lái)檢查模型的一致性，這些方式都存在著一定的不足。從理論上說(shuō)，一致性規(guī)則尚且沒(méi)有一個(gè)完整的集合，從哪些方面進(jìn)行一致性檢測(cè)是一個(gè)值得探討的問(wèn)題。 本文詳細(xì)分析了UML模型一致性的主要表現(xiàn)，

2、從模型本身和人為設(shè)計(jì)過(guò)程兩方面提出了一致性標(biāo)準(zhǔn)，并歸納了一套一致性檢測(cè)規(guī)則。接著提出了一種UML模型一致性檢測(cè)方法，這種方法獨(dú)立于UML建模工具，利用XMI技術(shù)和XML向關(guān)系型數(shù)據(jù)庫(kù)的映射技術(shù)，先后通過(guò)UML模型到XML模式、XML模式到關(guān)系型數(shù)據(jù)庫(kù)模式的轉(zhuǎn)化，將UML模型映射到關(guān)系型數(shù)據(jù)庫(kù)模式。而對(duì)UML模型的一致性檢測(cè)即轉(zhuǎn)換成對(duì)關(guān)系型數(shù)據(jù)庫(kù)記錄的查詢操作，簡(jiǎn)化了模型的一致性檢測(cè)。其中，詳細(xì)討論了關(guān)鍵技術(shù)和設(shè)計(jì)步驟：將XML模式映射到