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

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

>>阅读原文<<