HOW TO：驗證 UML 模型
某些可在 Visual Studio Ultimate 中繪製的 UML 模型可能會在您的專案中視為無效。 例如，您可能要求使用案例必須永遠連結到具有代表使用案例動作項目之生命線的順序圖表。 您可以安裝或定義「條件約束」(Constraint)，這有助於讓小組遵守諸如此類的要求。 條件約束可以在使用者儲存或開啟模型時套用，也可以透過功能表命令叫用。
由於條件約束的定義取決於您的小組如何轉譯和使用 UML 模型，因此 Visual Studio 沒有提供任何條件約束。 但是您可以定義自己的條件約束，並安裝其他使用者定義的條件約束。 若要了解如何定義條件約束和予以封裝供散發的詳細資訊，請參閱 HOW TO：定義 UML 模型的驗證條件約束。
叫用驗證
當您安裝驗證擴充功能後，可以將其中提供的條件約束套用在下列案例中。 有些條件約束會設定為只能在下列部分案例中套用。
驗證命令：若要隨時叫用驗證，請按一下 [架構] 功能表上的 [驗證 UML 模型]。
.gif "注意事項")
注意事項這個命令只有在驗證條件約束已安裝時才會出現。
儲存模型時：在您儲存模型時，可以套用驗證條件約束。 這些條件約束的目的是要協助您根據您對專案的轉譯，確認沒有儲存無效的模型。
如果發生錯誤，會詢問您是否仍要儲存模型。 您可以選擇更正錯誤，或繼續儲存模型。
開啟模型時：開啟模型時，可以套用驗證方法，來還原儲存模型時存在的錯誤訊息。 如果處理模型不同部分的使用者在進行變更時出現不一致，也會導致錯誤。 如需詳細資訊，請參閱共用模型及匯出圖表。
在 Visual Studio 錯誤視窗中會報告驗證錯誤。
若要選取圖表中的不正確項目，請按兩下該錯誤。 這個動作只有在您看得見開啟圖表中的不正確項目時才有作用。
安裝驗證條件約束
條件約束會隨著 Visual Studio 擴充功能 (VSIX) 檔案一併封裝。 通常，擴充功能中不僅有一組條件約束，同時也包含其他定義，例如功能表命令、設定檔和工具箱項目。
若要安裝 Visual Studio 擴充功能
在 [Windows 檔案總管] 中按兩下 .vsix 檔案。
重新啟動已經在執行中的 Visual Studio 執行個體。
停用和解除安裝驗證條件約束
當您想要使用未套用條件約束的模型時，可以暫時停用包含這些條件約束的擴充功能。 如此一來，您就可以啟用和停用不同的擴充功能，在不同時間使用不同種類的模型。
若要停用或解除安裝 Visual Studio 擴充功能
按一下 Visual Studio [工具] 功能表上的 [擴充管理員]。
在擴充功能旁邊按一下 [停用]，暫時停用擴充功能。 您可以返回 [擴充管理員] 重新啟用擴充功能。
-或-
按一下 [解除安裝] 移除擴充功能。
重新啟動 Visual Studio。