◆标识出系统必须识别的所发生的每一个 事件,以及系统必须作出的预期响应的 事件 ◆标识一系列的识别事件的对象、产生响 应的对象。 >状态-迁移图 能标识事件识别对象和对事件产生响应 的对象 ◆有助于标识保存状态信息的属性。 亲注意:并非所有的3VM工具对每个系统都 是有用的。◆ 标识出系统必须识别的所发生的每一个 事件，以及系统必须作出的预期响应的 事件； ◆ 标识一系列的识别事件的对象、产生响 应的对象。 ➢ 状态－迁移图 ◆ 能标识事件识别对象和对事件产生响应 的对象； ◆ 有助于标识保存状态信息的属性。  注意：并非所有的3VM工具对每个系统都 是有用的