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

经过了这些天的说明，我们已经将时序图工具栏中的图标讲得七七八八了。今天的内容是状态不变量（state invariant)。

定义

状态不变量是一个断言，即某个状态激活时，给定的约束必须为真。

----UML参考手册（第二版）

示例

例如图形编辑软件拖动被选图形的例子。

图中表示了用户按下鼠标，拖动鼠标，释放鼠标时的处理。虽然没有说明，但是应该可以理解，这一系列的操作必须是以选择了图形为前提的。套用前面的定义：拖动处理时存在被选中的图形这个条件必须为真。

画法

拖动时序图工具栏中的【State/Continuation】图标到::DrawView生命线以后，会自动弹出下面的对话框：

在Condition栏中输入【Selected shape exist】以后按下【OK】按钮，即可得到以下的时序图。

当然，如果在生命线的各个阶段有不同的约束条件，还可以增加其他的状态不变量。

以上就是今天的文章，如果它能给您带来些许收获，欢迎点赞并推荐给朋友！

阅读更多更新文章，请扫描下面二维码，关注公众号【面向对象思考】