UML系统建模与分析设计-系统动态建模——状态模型.ppt

2020 1 31 UML系统建模与分析设计 1 本章目的 了解对象状态变化和活动变化的描述方式 掌握UML绘制状态图和活动图的方法和步骤 掌握状态模型中并发行为的描述方法 掌握用状态图和活动图建立对象动态行为模型的方法和步骤 第六章系统动态建模 状态模型 2020 1 31 UML系统建模与分析设计 2 6 1 1对象状态的基本描述图符 6 1状态图的基本组成成分 2020 1 31 UML系统建模与分析设计 3 6 1 1对象状态的基本描述图符 2020 1 31 UML系统建模与分析设计 4 6 1 3一个无人职守电梯升降的状态图 2020 1 31 UML系统建模与分析设计 5 6 2 1对象的状态属性 6 2状态的分类与描述 6 4一个设备使用状况的状态图 2020 1 31 UML系统建模与分析设计 6 6 2 2简单状态与嵌套状态 动作 一组可执行的语句 动作具有以下特征 迁移性 与状态迁移有关 原子性 这组语句不可中断 连续性 一组语句必须连续执行 直到完毕 活动 一组可执行的动作 后栋具有以下特征 有限性 完整的活动有一定的期限 非原子性 这组动作可因某一事件发生而中断 2020 1 31 UML系统建模与分析设计 7 6 2 2简单状态与嵌套状态 6 5描述设备 车床 状况的嵌套状态图 2020 1 31 UML系统建模与分析设计 8 6 2 3状态的顺序迁移 6 2 4状态的并发迁移与同步 2020 1 31 UML系统建模与分析设计 9 6 2 4状态的并发迁移与同步 6 7采用同步并发迁移图符描述的并发子状态图 2020 1 31 UML系统建模与分析设计 10 6 2 5嵌套状态中的历史状态指示器 6 8带有历史指示器的软件安装过程状态图 2020 1 31 UML系统建模与分析设计 11 6 3 1状态的迁移触发 6 3状态迁移的触发与描述 描述状态迁移的形式化语法格式如下 事件 条件 动作表达式发送子句说明 事件 指已发生并可能引发某种活动的一件事 条件 由方括号围起的关系或逻辑表达式 动作表达式 一个触发状态迁移时可执行的过程表达式 发送子句 动作的一个特例 说明调用的事件名 操作 是哪个对象的 2020 1 31 UML系统建模与分析设计 12 6 3 2引起状态迁移触发的事件 事件是指已发生并可能引发某种活动的一件事 事件的描述格式 事件名 参数表 说明 事件名 必须引用接收事件的对象类中的一个操作或信号 参数表 传送给该事件的形式参数 为任选项 2020 1 31 UML系统建模与分析设计 13 6 3 2引起状态迁移触发的事件 6 9电烤箱控制系统状态图 2020 1 31 UML系统建模与分析设计 14 6 3 3引起状态迁移触发的条件 条件是一个由方括号围起的关系或逻辑表达式 6 3 4触发状态迁移的动作表达式 动作表达式是一个触发状态迁移时可执行的过程表达式 6 3 5状态迁移的分类 1 自迁移 2 内部迁移 3 自动迁移 4 复合迁移 2020 1 31 UML系统建模与分析设计 15 6 3 5状态迁移的分类 6 10两种形式的条件分支状态迁移图 2020 1 31 UML系统建模与分析设计 16 6 3 6状态图之间的通信联系 6 11状态图之间的消息发送 2020 1 31 UML系统建模与分析设计 17 6 4 1活动图与状态图的区别 6 4活动图的基本概念与组成成分 活动状态迁移不需要事件触发 活动执行完毕可以直接进入下一个活动状态 活动置于责任区 泳道 中 责任区将活动按责任目标和组织归属的原则分类 2020 1 31 UML系统建模与分析设计 18 6 4 2一个简单的出库单发放活动图 6 12检查合同 核对付款单并发放出库单的活动图 2020 1 31 UML系统建模与分析设计 19 6 4 3活动图中的几个基本概念 1 动作状态表达不可中断的动作或操作的执行 2 活动状态拥有一组不可中断的动作或操作 表达一个非原子的运行 2020 1 31 UML系统建模与分析设计 20 3 动作流一个实例的不同动作状态之间的联系 说明状态之间的控制流 6 13描述一个打印所有履约合同信息的活动图 2020 1 31 UML系统建模与分析设计 21 4 泳道泳道代表对象对活动的责任 6 14销售合同从签订到履约的活动图 2020 1 31 UML系统建模与分析设计 22 5 活动图中的对象 6 15活动图中的对象及对象流 2020 1 31 UML系统建模与分析设计 23 6 5 1活动图中的同步线程 6 5活动图中的并发与同步活动 6 16活动图中的条件线程 2020 1 31 UML系统建模与分析设计 24 6 5 2动态并发活动 6 5活动图中的并发与同步活动 6 17动态并发活动图 2020 1 31 UML系统建模与分析设计 25 6 5 3具有层次关系的活动图 6 18 核对付款单 子活动图 2020 1 31 UML系统建模与分析设计 26 6 6 1系统的用例模型和对象静 动态模型 6 6动态状态模型建模案例 信贷管理 子系统 1 系统的用例模型2 对象静态模型3 对象动态交互模型4 对象动态状态模型 2020 1 31 UML系统建模与分析设计 27 2020 1 31 UML系统建模与分析设计 28 6 6 2状态图建模步骤 1 确定状态图描述的主体 2 确定状态图描述的范围 3 确定描述主体在其生存期的各种稳定状态 4 确定状态的序号 5 确定触发状态迁移的事件 6 附上必要的动作 7 简化状态图 8 确定状态的可实现性 9 确定无死锁状态 10 审核状态图 2020 1 31 UML系统建模与分析设计 29 6 6 3 信贷管理 子系统状态图建模 6 20信贷管理子系统 用例 的状态图 2020 1 31 UML系统建模与分析设计 30 6 6 3 信贷管理 子系统状态图建模 1 文字描述2 确定对象可能的状态序列 动作和引发状态迁移的事件3 绘制状态图 1 起始状态 2 初始化 状态 3 分期还款 状态 4 违约预警 状态 5 违约警告 状态 6 合同履约 状态 7 提示信息1 状态 8 提示信息2 状态 9 提示信息3 状态 10 结束状态 细分为 2020 1 31 UML系统建模与分析设计 31 4 审核状态图 6 22 初始化 状态的详细描述 2020 1 31 UML系统建模与分析设计 32 6 6 4系统的活动图的建模步骤 1 业务工作流建模的步骤 1 确定对象 找出负责实现工作流的对象 2 确定范围 边界 明确起始状态和结束状态 3 确定活动 动作 序列 4 确定组合活动状态 5 确定迁移 动作流 找出连接这些活动状态或动作状态的迁移 6 确定工作流中涉及的重要对象 2020 1 31 UML系统建模与分析设计 33 6 6 4系统的活动图的建模步骤 2 对操作建模的步骤 1 确定相关元素 与该操作有关 2 确定范围 边界 3 确定活动 动作 序列 4 仅在需要时 利用条件分支来说明路径和迭代 5 描述同步与并发 2020 1 31 UML系统建模与分析设计 34 6 6 4系统的活动图的建模步骤 一个结构良好的活动图 应满足以下要求 1 能准确描述系统的动态模型的一个侧面 2 图中只包含描述该相关侧面有关的重要元素 3 提供与其抽象层次相一致的细节 4 只