顺序状态624状态的并发迁移与同步.ppt

第六章 系统动态建模—状态模型 动态模型的组件 状态图 实体的生存期比较复杂时，需要状态图对类的所有实例的生命周期建模。 大多数面向商业的应用中的类不需要状态图 以下情况经常使用状态图 动态模型中产生或接收大量信息的类 界面类 实时系统中的类 主要内容 6.1 状态图的基本组成成分 6.2 状态的分类与描述 6.3 状态迁移的触发与描述 活动图 6.4 活动图与状态图的比较 6.5 动态状态模型建模案例-信贷管理子系统 补充: 使用rose画状态图 6.1 状态图的基本组成成分 6.1.1 对象状态的基本描述图符 6.1.2 状态的迁移 6.1.3 一个无人职守电梯升降的状态图 6.2 状态的分类与描述 6.2.1 对象的状态属性 6.2.2 简单状态与嵌套状态 6.2.3 状态的顺序迁移-顺序状态 6.2.4 状态的并发迁移与同步-并发状态与同步 6.2.5 嵌套状态中的历史状态指示器 6.3 状态迁移的触发与描述 6.3.1 状态的迁移触发 6.3.2 引起状态迁移触发的事件 6.3.3 引起状态迁移触发的条件 6.3.4 触发状态迁移的动作表达式 6.3.5 状态迁移的分类 6.1 状态图的基本组成成分 6.1.1 对象状态的基本描述图符 6.1.2 状态的迁移 6.1.3 一个无人职守电梯升降的状态图 6.2 状态的分类与描述 6.2.1 对象的状态属性 6.2.2 简单状态与嵌套状态 6.2.3 状态的顺序迁移-顺序状态 6.2.4 状态的并发迁移与同步-并发状态与同步 6.2.5 嵌套状态中的历史状态指示器 6.3 状态迁移的触发与描述 6.3.1 状态的迁移触发 6.3.2 引起状态迁移触发的事件 6.3.3 引起状态迁移触发的条件 6.3.4 触发状态迁移的动作表达式 6.3.5 状态迁移的分类 状态图的例子: 什么是状态图 状态图的概念 状态图(statechart diagram): 用来描述一个特定的对象所有可能的状态,以及由于各种事件的发生而引起的状态之间的转移和变化。 状态图在检查、调试和描述类的动态行为时非常有用。 属性拥有较少的可能取值 属性在这些值之间的转移有一定的限制 迁移 6.1 状态图的基本组成成分 6.1.1 对象状态的基本描述图符 6.1.2 状态的迁移 6.1.3 一个无人职守电梯升降的状态图 6.2 状态的分类与描述 6.2.1 对象的状态属性 6.2.2 简单状态与嵌套状态 6.2.3 状态的顺序迁移-顺序状态 6.2.4 状态的并发迁移与同步-并发状态与同步 6.2.5 嵌套状态中的历史状态指示器 6.3 状态迁移的触发与描述 6.3.1 状态的迁移触发 6.3.2 引起状态迁移触发的事件 6.3.3 引起状态迁移触发的条件 6.3.4 触发状态迁移的动作表达式 6.3.5 状态迁移的分类 6.1 状态图的基本组成成分 6.1.1 对象状态的基本描述图符 6.1.2 状态的迁移 6.1.3 一个无人职守电梯升降的状态图 6.2 状态的分类与描述 6.2.1 对象的状态属性 6.2.2 简单状态与嵌套状态 6.2.3 状态的顺序迁移-顺序状态 6.2.4 状态的并发迁移与同步-并发状态与同步 6.2.5 嵌套状态中的历史状态指示器 6.3 状态迁移的触发与描述 6.3.1 状态的迁移触发 6.3.2 引起状态迁移触发的事件 6.3.3 引起状态迁移触发的条件 6.3.4 触发状态迁移的动作表达式 6.3.5 状态迁移的分类 6.2.2 简单状态与嵌套状态 简单状态对应一个动作,而嵌套状态中的每个被嵌套的状态图都对应于该嵌套状态内正在进行的一个活动。 动作：一组可执行的语句，动作具有以下特征： 迁移性：与状态迁移有关； 原子性：这组语句不可中断； 连续性：一组语句必须连续执行，直到完 毕。 活动：一组可执行的动作，活动具有以下特征： 有限性：完整的活动有一定的期限； 非原子性：这组动作可因某一事件发生而中断。 6.1 状态图的基本组成成分 6.1.1 对象状态的基本描述图符 6.1.2 状态的迁移 6.1.3 一个无人职守电梯升降的状态图 6.2 状态的分类与描述 6.2.1 对象的状态属性 6.2.2 简单状态与嵌套状态 6.2.3 状态的顺序迁移-顺序状态 6.2.4 状态的并发迁移与同步-并发状态与同步 6.2.5 嵌套状态中的历史状态指示器 6.3 状态迁移的触发与描述 6.3.1 状态的迁移触发 6.3.2 引起状态迁移触发的事件 6.3.3 引起状态迁移触发的条件 6.3.4 触发状态迁移的动作表达式 6.3.