[计算机软件及应用]四UML与状态机图20120522.pptVIP

四、UML与状态机图 --状态图与活动图建模 主要内容 基本概念 状态图 活动图 状态机共享的模型元素 活动图专有的模型元素 状态规范和活动规范 动作规范 转换规范 判断规范 同步规范 练习 1、基本概念 状态机：展示状态与状态转换的图。 状态机在计算机科学中使用很广泛：编译系统、操作系统、面向对象分析与设计等。 面向对象分析与设计中，表示对象的状态、状态的转换、触发状态转换的事件、对象对事件的响应等。 状态机是一个类的对象所有可能的生命历程的模型，即可以精确地描述对象的行为。 状态机组成：状态、转换、事件、活动、动作 状态机包括状态图和活动图两种表示方法。 状态图用于对系统的动态方面建模。 活动图用于对计算流程和工作流程建模，展示的主要内容是对象的活动状态。 状态图以状态为中心，活动图以活动为中心。 状态机图：通过对类对象的生存周期建立模型来描述对象随时间变化的动态行为，也可以用来描述用例、协作和方法的动态行为，它是展示状态与状态转换的图。 状态机操作 在UML规格文件中，状态机被定义为是一种行为，说明对象或交互在它们的声明周期中为响应事件所经历的状态序列，以及它们的响应和动作。 创建一个状态图或活动图时，Rational Rose自动创建一个状态/活动模型。 Rational Rose限定每个所有者只能拥有一个状态/活动模型。 创建一个状态/活动模型： 单击BrowseState Machine Diagram，在左边的“State Machine”下面选择新创建的状态/活动模型所要放置的位置： 双击New： 在Title文本框中为图命名； 指定要创建的图类型：活动图（Activity）或状态图（Statechart）； 单击OK按钮。 2、状态图 状态图：显示一个对象从创建到摧毁的整个生命周期。 Rose可以对每个类创建一个或者多个状态图，在状态图中体现类的所有状态和各种过渡转换，状态变化是状态图显示的焦点。 状态图可以帮助系统分析员、设计人员和开发人员理解系统中各个对象的行为。 在Rose中，状态图和类图相互配合，以便完整描述类的特征。仅用类图是不够的，因为它只能描述类对象的静态特征，而状态图可以对类对象动态行为进行建模。 状态图所包含的内容，主要显示以下3种内容： 对象在生命周期中所经历的状态序列； 诱发对象从一个状态转换到另一个状态的事件； 状态改变所导致的动作。 组成UML状态图的图形元素： 状态（State） 转换（Transition） 初始状态（Start State） 终结状态（End State） 判定（Decision） 状态： 由一个带圆角的矩形表示。 状态图标可以分为三部分： 名称 内部转换 嵌套状态 初始状态： 代表状态图的起始位置，只能作为转换的源，而不能作为转换的目标。 初始状态在一个状态图中只允许有一个，它用一个实心的圆表示。 判定： 在状态图中的位置：工作流在此处按监护条件的取值而发生分支。 判定用空心小菱形表示。 Rose创建状态图 步骤如下： 在浏览器中，用鼠标右键单击模型元素（除了属性、关系和出现在构件视图中的模型元素）； 单击NewStatechart Diagram； 或者， 单击BrowseState Machine Diagram； 单击New； 在New State Machine对话框中选中Statechart Diagram复选框； 输入状态图标题； 单击OK按钮。 状态图工具箱 13种常用的工具： 也可以定制； 3、活动图 活动图：描述活动的顺序，展现从一个活动到另一个活动的控制流。 可以对多种不同类型的工作流建模。 如果从更简单或者更具体的角度考虑，可以更容易理解活动图，即：活动图被设计用于简化描述一个过程或操作的工作步骤。例如： 软件公司可以用活动图对一个软件的开发过程建模； 会计师事务所可以用活动图对任意数目的财务往来进行建模； 公司可以用活动图对订单批准过程进行建模； 还可以对诸如求Fibnacci数列第n个数的数值之类的操作进行建模（类似流程图）。 活动图与状态图都可以用来表示状态机，但它们之间有区别： 活动图着重表现从一个活动到另一个活动的控制流，是内部处理驱动的流程。 状态图着重描述从一个状态到另一个状态的流程，主要有外部事件的参与。 活动图的组成元素：动作状态、活动状态、动作流、分支与合并、分叉与汇合、泳道、对象流等。 活动图的图形表示。例如： 动作状态：是指执行原子的、不可中断的动作,并在此动作完成后通过完成转换转向另一个状态的状态。 动作状态使用平滑的圆角矩形表示，动作状态所表示的动作写在圆角矩形内部。 活动状态：用于表达状态机中的一个非原子的运行。