EA&UML日拱一卒--序列图(Sequence Diagram)::状态不变量
2017-06-01 14:27
239 查看
经过了这些天的说明,我们已经将时序图工具栏中的图标讲得七七八八了。今天的内容是状态不变量(state invariant)。
定义
状态不变量是一个断言,即某个状态激活时,给定的约束必须为真。
----UML参考手册(第二版)
示例
例如图形编辑软件拖动被选图形的例子。
![](https://oscdn.geek-share.com/Uploads/Images/Content/202004/27/7258b26125ff3951988d4a8a6fe9d377)
图中表示了用户按下鼠标,拖动鼠标,释放鼠标时的处理。虽然没有说明,但是应该可以理解,这一系列的操作必须是以选择了图形为前提的。套用前面的定义:拖动处理时存在被选中的图形这个条件必须为真。
画法
拖动时序图工具栏中的【State/Continuation】图标到::DrawView生命线以后,会自动弹出下面的对话框:
![](https://oscdn.geek-share.com/Uploads/Images/Content/202004/27/821bec61941a874192d0e6ead5b300f2)
在Condition栏中输入【Selected shape exist】以后按下【OK】按钮,即可得到以下的时序图。
![](https://oscdn.geek-share.com/Uploads/Images/Content/202004/27/d04e888004203afd4c4ea3b200775ba8)
当然,如果在生命线的各个阶段有不同的约束条件,还可以增加其他的状态不变量。
以上就是今天的文章,如果它能给您带来些许收获,欢迎点赞并推荐给朋友!
阅读更多更新文章,请扫描下面二维码,关注公众号【面向对象思考】
定义
状态不变量是一个断言,即某个状态激活时,给定的约束必须为真。
----UML参考手册(第二版)
示例
例如图形编辑软件拖动被选图形的例子。
图中表示了用户按下鼠标,拖动鼠标,释放鼠标时的处理。虽然没有说明,但是应该可以理解,这一系列的操作必须是以选择了图形为前提的。套用前面的定义:拖动处理时存在被选中的图形这个条件必须为真。
画法
拖动时序图工具栏中的【State/Continuation】图标到::DrawView生命线以后,会自动弹出下面的对话框:
在Condition栏中输入【Selected shape exist】以后按下【OK】按钮,即可得到以下的时序图。
当然,如果在生命线的各个阶段有不同的约束条件,还可以增加其他的状态不变量。
以上就是今天的文章,如果它能给您带来些许收获,欢迎点赞并推荐给朋友!
阅读更多更新文章,请扫描下面二维码,关注公众号【面向对象思考】
相关文章推荐
- EA&UML日拱一卒--序列图(Sequence Diagram)::交互概述图
- EA&UML日拱一卒-状态图::开篇
- EA&UML日拱一卒-状态图::不是模式的模式
- EA&UML日拱一卒--序列图(Sequence Diagram)::迭代表达式
- EA&UML日拱一卒--序列图(Sequence Diagram)::生命周期
- EA&UML日拱一卒--序列图(Sequence Diagram)::连续
- EA&UML日拱一卒--序列图(Sequence Diagram)::循环
- EA&UML日拱一卒-状态图::重画按钮状态图
- EA&UML日拱一卒-状态图::庖丁解牛
- EA&UML日拱一卒--序列图(Sequence Diagram)::时间约束
- EA&UML日拱一卒-活动图::14.2.3.4 States(状态)(2)
- EA&UML日拱一卒-状态图::延缓(处理)事件
- EA&UML日拱一卒-状态图::迁移
- EA&UML日拱一卒--序列图(Sequence Diagram)::交互和交互使用
- EA&UML日拱一卒-活动图::14.2.3.4 States(状态)(3)
- EA&UML日拱一卒-状态图::内部迁移
- EA&UML日拱一卒-状态图::基本要素画法
- EA&UML日拱一卒--序列图(Sequence Diagram)::入门
- EA&UML日拱一卒--序列图(Sequence Diagram)::条件执行
- EA&UML日拱一卒-状态图::面向对象的另一种理解