EA&UML日拱一卒--序列圖(Sequence Diagram)::狀態不變量

經過了這些天的說明，我們已經將時序圖工具欄中的圖標講得七七八八了。今天的內容是狀態不變量（state invariant)。 定義 狀態不變量是一個斷言，即某個狀態激活時，給定的約束必須爲真。 ----UML參考手冊（第二版） 示例 例如圖形編輯軟件拖動被選圖形的例子。 圖中表示了用戶按下鼠標，拖動鼠標，釋放鼠標時的處理。雖然沒有說明，但是應該可以理解，這一系列的操作必須是以選擇了圖形爲前提的。套

>>阅读原文<<