UML状态图.ppt

《UML状态图.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、复习1、UML的作用是什么？规范软件开发过程，对系统从不同角度进行建模。2、包括哪些建模图形？用例图、活动图、状态图、顺序图、通信图、部署图等。3、软件开发过程可以分为哪几个阶段？计划、需求分析、软件设计、编码实现、运行维护第9章状态图本节主要内容状态图的组成部分。状态、跃迁、触发事件和护卫条件的描述。状态图的画法。思考描述以下对象都有哪些状态一部机器人线程状态图是系统中一个对象所具有的各种状态和这个对象从一个状态到另一个状态的转换。运行、停止、报废睡觉、运动、吃饭执行、就绪、阻塞9.1状态图的基本组成成分新车普通车已借出出厂[各种指标检验合格]使用

2、报废车借出归还状态跃迁终止状态起始状态护卫条件触发事件状态、起始状态、终止状态跃迁、触发事件、护卫条件状态名状态变量活动9.2基本组成成分——状态状态的图形用一个圆角的矩形框表示。由状态名、状态变量和内部活动三个部分组成，状态变量和内部活动可以省略。1）状态三种标识活动的标签：entryexitdo活动格式：例如do/sum=sum+19.2基本组成成分——状态EnterPassword————————————entry/setechotostardo/handleandcheckpasswordexit/setechonormal[例1]：系统进入

3、输入密码的状态。首先将输入的密码显示为星号，然后处理和判断该密码是否正确，最后将密码显示为正常，系统进入下一个状态。entry事件：指明进入该状态时的特定动作。exit事件：指明退出该状态时的特定动作。do事件：指明在该状态中执行的动作。由一个实心圆表示。迁移的开始源点，代表状态图的起始点。2）起始状态3）结束状态由一个圆中套一个实心圆表示。迁移的最后目标，代表状态图的终止点。9.2基本组成成分——状态9.2基本组成成分——状态嵌套状态：在一个状态中还包括其他的状态，称为嵌套状态，被嵌套的状态称为子状态。简单状态：不含嵌套状态的状态称为简单状态。你能

4、举一个嵌套状态的例子吗！维修中设备状况=维修中操作状况=0报废设备状况=报废操作状况=0闲置设备状况=闲置操作状况=0使用中待机提速运行减速启动启动速度=0开机到达运行速度停机修好损坏重新使用多余不能修好超过年限跃迁分类[例2]：4）跃迁实箭线表示，箭尾连接出发状态（源状态），箭头连接到达状态（目的状态）。9.3基本组成成分——跃迁跃迁的分类opendo/sum=sum+1sum<109.3基本组成成分——跃迁UML中描述的迁移种类有：自跃迁：源状态和目标状态为同一状态的迁移。内部跃迁：该迁移在状态内部进行，不引起状态改变。自动跃迁：没有条件和触发事

5、件，当一个状态完成后，自动触发迁移，进入下一个状态。复合跃迁：由条件判定、并发分叉和并发联结将一些简单迁移组合而成。9.3基本组成成分——跃迁学生成绩统计肄业结业毕业[总学分大于或等于毕业学分][总学分小于毕业学分20分以内][总学分小于毕业学分20分以上]肄业学生成绩统计结业毕业[总学分大于或等于毕业学分][总学分小于毕业学分20分以内][总学分小于毕业学分20分以上]毕业[复合跃迁的例子]：若当某事件发生时，对象从一个状态进入了另一个状态，则称此事件为触发事件。9.4基本组成成分——触发事件5）触发事件说明：触发事件一般标识在跃迁的箭线上。对于自

6、动跃迁触发事件省略。参数表可以省略。事件名（参数表）是一个由方括号围起来的关系或逻辑表达式。标识在表示跃迁的箭线上。[关系或逻辑表达式]9.5基本组成成分——护卫条件6）护卫条件说明：如果状态跃迁中既有事件又有条件，则表示仅当这个事件发生并且条件为真时相应的状态跃迁才被触发。2，如果状态跃迁上只有条件时，表示在该条件变为真时，触发状态跃迁。9.6状态图练习画状态图的步骤：找出该对象可能出现的所有状态，并命名。对每个状态进行必要的描述，包括状态变量和该状态下的活动（这两部分可以省略）。对任意两个状态进行分析，找出可以使这两个状态发生跃迁的触发事件和护卫

7、条件。确定是否存在自跃迁或内部跃迁等，并描述触发事件和护卫条件。形成状态图。9.6状态图练习[例3]：已知一个堆栈类的表示如下：画出对应此堆栈的状态变化图。Stack+elements:Array[object]-top:int-maxSize:int+push(object:object)+pop():object+empty():booleanMaxsizetop219.6状态图练习EmptyFullNotEmptyandNotFullPushPopPop[top=1]Push[maxSize>1]Push[top=maxSize+1]Pop[m

8、axSize>1]Push[top1][maxSize=1][maxSiz