2.5　UML對象約束語言

對象約束語言（Object Constraint Language，OCL）是一種能夠使用工具來進行解釋和表達UML約束的標準方法。前文講解約束的時候提到，在實際建模的過程中，約束可以在UML工具中預定義，也可以在某個特定需要的時候再進行添加。與此對應，建模人員也有兩種方式來使用字符串進行表達約束：一種是利用規范的對象約束語言來表達；另外一種就是使用自然語言進行表達。對象建模語言只是對那些使用模型驅動架構開發的人員或者力求讓他們的模型能以任意方式執行的建模人員來說是非常有用的。在這里，深入探討對象約束語言，只簡單介紹對象約束語言的特征和基本內容。

對象約束語言包含如下四個特性：

（1）對象約束語言不僅是一種查詢（Query）語言，同時還是一種約束（Constraint）語言。

（2）對象約束語言是基于數學的，但是卻沒有使用相關數學符號的內容。

（3）對象約束語言是一種強類型的語言。

（4）對象約束語言也是一種聲明式（Declarative）語言。

對象約束語言的基本內容包含對象約束語言的元模型結構、對象約束語言的表達式結構和各種條件。這些條件包括不變量、前置條件和后置條件。

對象約束語言提供了一套能夠使用工具來進行解釋和表達UML約束的標準方法。有關對象約束語言的更加詳細的信息，請參閱相關的規范。