溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務條款》
您好，登錄后才能下訂單哦！
這篇文章主要介紹EA畫UML時序圖中如何實現狀態不變量，文中介紹的非常詳細，具有一定的參考價值，感興趣的小伙伴們一定要看完！
定義
狀態不變量是一個斷言，即某個狀態激活時，給定的約束必須為真。
示例
例如圖形編輯軟件拖動被選圖形的例子。
圖中表示了用戶按下鼠標，拖動鼠標，釋放鼠標時的處理。雖然沒有說明，但是應該可以理解，這一系列的操作必須是以選擇了圖形為前提的。套用前面的定義：拖動處理時存在被選中的圖形這個條件必須為真。
畫法
拖動時序圖工具欄中的【State/Continuation】圖標到::DrawView生命線以后，會自動彈出下面的對話框：
在Condition欄中輸入【Selected shape exist】以后按下【OK】按鈕，即可得到以下的時序圖。
當然，如果在生命線的各個階段有不同的約束條件，還可以增加其他的狀態不變量。
以上是“EA畫UML時序圖中如何實現狀態不變量”這篇文章的所有內容，感謝各位的閱讀！希望分享的內容對大家有幫助，更多相關知識，歡迎關注億速云行業資訊頻道！
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
