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

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

>>阅读原文<<