EA&UML日拱一卒--序列图(Sequence Diagram)::状态不变量

经过了这些天的说明，我们已经将时序图工具栏中的图标讲得七七八八了。今天的内容是状态不变量（state invariant)。 定义 状态不变量是一个断言，即某个状态激活时，给定的约束必须为真。 ----UML参考手册（第二版） 示例 例如图形编辑软件拖动被选图形的例子。 图中表示了用户按下鼠标，拖动鼠标，释放鼠标时的处理。虽然没有说明，但是应该可以理解，这一系列的操作必须是以选择了图形为前提的。套

>>阅读原文<<