分析行为模型的工具

3.3.2　分析行为模型的工具

分析行为模型的主要工具是状态转换图。它描述了事物对象在接收到触发事件后，所引起的状态的动态改变。例如：“上课铃响了，同学们应该进入教室准备上课。”触发事件是“上课铃响了”，而事物对象则是“同学们”，他们需要进行的状态改变是“下课状态”转变成“上课状态”。当然，在使用状态转换图分析软件中事物对象的状态变化时，它可以有三种响应事件的方式：

（1）仅改变事物对象的状态，而不做任何动作。（绝大多数事物对象都是这样响应的。）

＊仅完成一定的动作，而不改变状态；

（2）既改变事物对象的状态，又完成一定的动作。

状态图的表达方式如下：

图3.14　状态转换图的表示

图3.15　打电话过程的状态转换图

所有活动的事物对象都由初始事件触发进入到状态转换过程中，状态与状态之间通过触发事件联系，而状态在保持状态不变的同时可能会激发状态变量的累积并完成相关的动作。最后，当结束事件到来后，该事物对象即进入结束状态，需要注意：

（1）一个事物对象的某个状态转换图中仅包含一个初始状态，但可以包含若干个结束状态。

（2）状态变量和活动表均是可选项，即满足上述所说的状态在接收到触发事件后有三种响应方式。

（3）活动表由若干活动组合而成。活动＝标准事件名/动作表达式，标准事件包括“entry”“exit”和“do”三种，其分别表示进入状态时、退出状态时以及保持状态时应该做何种动作，动作表达式＝代表动作特性的动词＋对应名词。

（4）事件表达式＝事件名称［守卫条件］/动作表达式。事件名称即触发事件名，如“上课铃响”。“守卫条件”是一个布尔表达式，如“当前时间＝8：00整”，而动作表达式与活动表中的动作表达式类似。