第8-状态图1.pptVIP

第8章 状态图 8.1 状态机 8.2 状态图 8.3 状态 8.4 事件 8.5 转换 8.6 状态图建模技术 8.5 实例——图书馆管理系统的状态图 8.1 状态机 8.2 状态图 8.2.1 状态 8.2.2 转换 8.2.3 初始状态 8.2.4 终止状态 8.2.5 判定 8.3 状态 8.7 实例—图书馆管理系统的状态图 8.7.1 使用Rose绘制状态图的步骤 8.7.2 图书馆管理系统的状态图 8.7.1 使用Rose绘制状态图的步骤 1. 创建状态图 2. 加入开始状态和终止状态 3. 增加状态 4. 增加转换 5. 增加历史状态 8.5.4 复合转换复合转换由简单转换组成，这些简单转换通过分支判定、分叉或接合组合在一起。由判定参与的转换就是复合转换。除了简单的两个分支判定之外还可以有多条件的分支判定。多条件的分支判定又分为链式的和非链式的分支，这两种分支如下图所示。 链式分支 非链式分支 状态机描述了对象的具有事件驱动的动态行为，对象动作的执行、状态的改变都是以特定事件的发生为前提的，触发事件就是能够引起状态转换的事件。触发事件可以是信号、调用和时间段等。 8.5.5 触发事件 8.5.6 监护条件转换可能具有一个监护条件，监护条件是触发转换必须满足的条件，它是一个布尔表