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

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

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