49、支持界面设计的模式工具指南

支持界面设计的模式工具指南

1. 序列图与OCL表示

对于不熟悉序列图的人来说，序列图的解读方式如下：
- 语义上，文本周围的冒号和下划线（:___ ）标识一个对象。
- 垂直虚线表示该对象随时间的变化。
- 细垂直条表示系统内的对象，垂直条代表对象的生命线。
- “调用”动作由水平箭头表示，标签是消息、消息调用或创建，即方法调用。
- 虚线是消息的返回（控制权的返回）。
- 时间从顶部到底部推进。

这个图表明，概述（Overview）有一个可选索引（Selectable Index），如果被选择（激活），则会显示该索引，并按顺序加载详细信息（Detail）。

我们还可以使用对象约束语言（OCL）来表示图3中元模型元素之间的交互。OCL表示由三个主要部分组成，代表每个方法在其相关模型元素上下文中的预期行为。OCL为我们提供了更精确的解释，它是一种逻辑形式化方法，可以自动转换为代码并集成到软件工具中。OCL表示如下：

context Overview :: select()
-- There are SelectableIndex items to select
pre selectConstraint : self.displays -> size() > 0
post selectConstraint_1 :
-- There is one item selected from the collection
-- of "displays"
self.displays -> select(s:SelectableIndex |
s.activated = true)