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