系统动态建模课件.ppt

4．审核状态图 6-22 “初始化”状态的详细描述 6.6.4　系统的活动图的建模步骤 1．业务工作流建模的步骤 （1）确定对象：找出负责实现工作流的对象： （2）确定范围（边界）：明确起始状态和结束状态。 （3）确定活动（动作）序列 （4）确定组合活动状态 （5）确定迁移（动作流）：找出连接这些活动状态或 动作状态的迁移。 （6）确定工作流中涉及的重要对象 6.6.4　系统的活动图的建模步骤 2．对操作建模的步骤 （1）确定相关元素：与该操作有关； （2）确定范围（边界）： （3）确定活动（动作）序列： （4）仅在需要时，利用条件分支来说明路径和迭代； （5）描述同步与并发； * * 本章目的： ●了解对象状态变化和活动变化的描述方式 ●掌握UML绘制状态图和活动图的方法和步骤 ●掌握状态模型中并发行为的描述方法 ●掌握用状态图和活动图建立对象动态行为模 型的方法和步骤 系统动态建模——状态模型 6.1.1 对象状态的基本描述图符 6.1 状态图的基本组成成分 6.1.1 对象状态的基本描述图符 6.1.3 一个无人职守电梯升降的状态图 6.2.1 对象的状态属性 6.2 状态的分类与描述 6-4 一个设备使用状况的状态图 6.2.2 简单状态与嵌套状态 动作：一组可执行的语句，动作具有以下特征： ●迁移性：与状态迁移有关； ●原子性：这组语句不可中断； ●连续性：一组语句必须连续执行，直到完 毕。 活动：一组可执行的动作，后栋具有以下特征： ●有限性：完整的活动有一定的期限； ●非原子性：这组动作可因某一事件发生而中断。 6.2.2 简单状态与嵌套状态 6-5 描述设备（车床）状况的嵌套状态图 6.2.3 状态的顺序迁移 6.2.4 状态的并发迁移与同步 6.2.4 状态的并发迁移与同步 6-7 采用同步并发迁移图符描述的并发子状态图 6.2.5 嵌套状态中的历史状态指示器 6-8 带有历史指示器的软件安装过程状态图 6.3.1 状态的迁移触发 6.3 状态迁移的触发与描述 描述状态迁移的形式化语法格式如下： 事件 [条件] / 动作表达式 发送子句 说明： ●事件：指已发生并可能引发某种活动的一件事； ●[条件]：由方括号围起的关系或逻辑表达式； ●动作表达式：一个触发状态迁移时可执行的过程 表达式； ●发送子句：动作的一个特例，说明调用的事件名 （操作）是哪个对象的。 6.3.2 引起状态迁移触发的事件 事件是指已发生并可能引发某种活动的一件事。 事件的描述格式： 事件名(参数表） 说明： ●事件名：必须引用接收事件的对象类中的一个操 作或信号。 ●参数表：传送给该事件的形式参数，为任选项。 6.3.2 引起状态迁移触发的事件 6-9 电烤箱控制系统状态图 6.3.3 引起状态迁移触发的条件 条件是一个由方括号围起的关系或逻辑表达式。 6.3.4 触发状态迁移的动作表达式 动作表达式是一个触发状态迁移时可执行的过程表达式。 6.3.5 状态迁移的分类 （1）自迁移 （2）内部迁移 （3）自动迁移 （4）复合迁移 6.3.5 状态迁移的分类 6-10 两种形式的条件分支状态迁移图 6.3.6 状态图之间的通信联系 6-11 状态图之间的消息发送 6.4.1 活动图与状态图的区别 6.4活动图的基本概念与组成成分 活动状态迁移不需要事件触发，活动执行完 毕可以直接进入下一个活动状态； 活动置于责任区（泳道）中，责任区将活动 按责任目标和组织归属的原则分类。 6.4.2 一个简单的出库单发放活动图 6-12 检查合同、核对付款单并发放出库单的活动图 6.4.3 活动图中的几个基本概念 1．动作状态 表达不可中断的动作或操作的执行。 2．活动状态 拥有一组不可中断的动作或操作，表达一个非原子的运行。 3．动作流 一个实例的不同动作状态之间的联系，说明状态之间的控制流。 6-13 描述一个打印所有履约合同信息的活动图 4．泳道 泳道代表对象对活动的责任。 6-14 销售合同从签订到履约的活动图