修訂UML 1后的基本原理
UML 2.0是UML標準最主要的修訂本，以下的是一系列次要的修訂本[OMG04] [RJB05]。為什么修訂UML是必要的呢？
修訂這種語言最初的動機源于更好的支持MDD工具和方法的要求。在過去的十年中，許多供應商已經發展了基于UML的工具，值得注意的是這些工具所支持的自動化標準比傳統的CASE（計算機輔助軟件工程）工具標準更高。
為了支持這些更高標準的自動化形式，需要用一個比原始標準規定更加準確的方式來定義UML。（從與時俱進的角度來看，最初地原始UML標準設計是作為一種輔助工具來服務的，即為非正式的捕捉和設計意圖的傳達提供服務）。不幸地是，這些定義因商家的不同而不同，它的危險性導致了一些分歧的產生，而這些分歧是應該從舊版本的標準中被排除掉的。一個新版本的標準可以修正它。
另外，在近十年的使用UML的實踐經驗之后――同樣在此期間重要的新技術也隨之產生了（例如基于web的應用軟件和基于服務的體系結構），新的建模性能得到了肯定。事實上，當這些新技術通過現有UML概念的適當結合表現出來時，將它們作為優秀的內嵌語言特性引入是有明顯益處的。
最終，在同樣漫長的時間內，業界已經學會了許多有關如何使用的適當方法來構建和定義模型語言。例如，目前將要出現的外部模型和模型轉換的理論，它強制性要求一個模型語言如何來定義。由于與當前程序設計語言理論相比，我們一直缺乏一個統一的、系統的建模語言設計理論，因此我們需要把這些理論以及類似的發展合并在UML中，這樣才能確保其效用和持久性。
UML 2.0 特性的亮點
UML 2.0的新改進可分為以下五個主要方面，按重要性順序列出：
在語言定義方面精確程度有了相當的提高: 這就是支持自動化高標準需要的結果，此標準是MDD所必須的。自動化意味著模型（以及后來的模型語言）的不明確和不精密的消除，所以計算機程序能轉換并熟練地操縱模型。一個改良的語言組織: 其特性是由模塊化決定的，模塊化的特點在于它不僅使得語言更加容易的被新用戶所采用，而且促進了工具之間的相互作用。重點改進大規模的軟件系統模型性能: 一些流行的應用軟件表現出將現有的獨立應用程序集成到更加復雜的系統中去。這是一種趨勢，它將可能會繼續導致更加復雜的系統。為了支持這種趨勢，將更加靈活和新的分等級的性能添加到語言中去，用以支持軟件模型在任意復雜的級別中使用。對特定領域的改進的支持: 使用 UML 的實踐經驗證明了其所謂的“擴展”機制的價值。這些機制被統一化，精煉化后，使得基礎語言更加簡化，更加準確精煉。全面的合并，合理化，清晰化各種不同的模型概念: 從而導致一種單一化，更加統一化語言的產生。它包含了合并和――在一些案例中――消除多余的概念，精練各種各樣的定義，添加文字性的解釋和例子。現在我們來更詳細地研究一下上述的每個方面。
精確程度
大多數的早期軟件建模語言被非正式地定義，并很少注重它的精確性。時常，建模概念被解釋成使用不嚴密的自然語言。由于大多數的建模語言在文件中或在Martin Fowler所提及的設計草圖[Fowler04]中所使用，在那個時期，此模型概念得到了充分信任。這種思想傳達了一種設計的本質特性，而把細節留給實現階段去處理。
然而，由于模型在這種語言中很可能――并且通常是――被不同的商家解釋成不同的含義，因此經常導致概念混淆。此外，除非模型解釋的問題事先已被明確地討論過，否則像這樣的分歧還不能被人所發覺，而只是在發展的較后階段才能被發現（即當問題的結果已明顯顯現時候）。
為了把不明確的概念減少到最少――并和多數現代的其它模型語言形成對比―― 第一個標準化的UML定義是用元模型來指定的。這是一個定義每一種UML 建模概念特性和這些特性與其他相關概念直接的關系的模型。使用UML的基本子集來定義這個元模型，并且通過一系列在對象約束語言中（OCL）正式的強制進行補充。
注釋:: 這種UML子集，主要是由定義在UML上的類圖上的概念所組成的，它被稱為元對象工具（MOF）。選擇這個子集后，它可以用來定義其它的建模語言。
這種結合所描述的是，UML抽象語法的一種正式的規范。正式的規范。之所以被稱作是正式的，其原因是它與實際的符號或用于描繪模型的具體語法具體語法（也就是說，文本和圖表）無關。換句話說就是，它所定義的規則集可以用來確定一個特定的模型是否已經很好的成形很好的成形。例如，這種規則將允許我們去測定通過一個狀態機轉換來連接兩個UML類是不正確的。
然而，在這個初始的UML 元模型中所使用的精確程度證實，在MDD（例如在[Stevens02]中討論所見到的）后，對整個潛能的支持是遠遠不夠的。特別是，UML建模概念的語義（或含義）的規范，對這些作為自動代碼生成或正式確認的基于MDD的活動仍舊是不適當的。
文章來源于領測軟件測試網 http://www.kjueaiud.com/
