状态图和活动图统一建模语言Unified Modeling .PPT

第五章 状态图和活动图 统一建模语言 Unified Modeling Language 状态图的定义 状态图用来建模对象是如何改变其状态以响应事件和展示对象从创建到删除的生命周期。状态定义为对象行为在某一个时刻的快照或者转折点。例如，计算机的状态可以定义为开机、启动、工作中、空闲、关机和离线等。状态图的任务就是用来描述一个对象所处的可能状态以及状态之间的转移，并给出状态变化序列的起点与终点。 状态图的符号 状态图由状态、转移和事件组成。联合使用状态和转移可以更好地建模它们，有时需要包含决策点和同步条来显示更高层次的细节信息。 组合状态 一个对象可以通过同步操作同时拥有多个状态。有时，对象还可以拥有层次结构的状态。当单个状态具有独有的附加的子状态时，可以在状态图中使用层次结构的状态。 组合状态(续) 在一个复杂的状态中可以细化为多个子状态的合成。该复杂状态称为组合状态。如下图所示。 状态图的建模方法 状态图建模需要执行以下步骤： 1）标识出需要进一步建模的实体。 2）标识出每一个实体的开始状态和结束状态。 3）确定与每一个实体相关的事件。 4）从起始状态开始创建状态图。 5）如果必要则创建组合状态。 状态图的建模方法(续) 1．标识出需要进一步建模的实体 首先要标识出哪些实体需要使用状态图进一步建模。状态图应该用于复杂的实体，而不必用于具有复杂行为的实体。对于有复杂行为的实体，使用活动图可能会更加适合。具有清晰、有序的状态实体最适合使用状态图进一步建模。后面将会建模一个Grade对象，尤其是它的保存功能。 状态图的建模方法(续) 2．标识出每一个实体的开始和结束状态 要想标识出某个实体的开始状态，需要知道实体是如何实例化的，以及实体是如何开始的。Grade对象在有了一个新的分数需要保存时实例化。要想标识出某个实体的结束状态，需要知道相反的信息：实体何时从系统中退出？Grade对象在完成保存数据的操作之后退出系统，不管该操作是否成功。 状态图的建模方法(续) 因此，Grade对象的状态图具有如下描述保存功能的开始状态和结束状态： Information Entered 开始状态。 Destroy 结束状态。 状态图的建模方法(续) 3．确定与每一个实体相关的事件 事件用来最终完成实体的功能。要想确定实体的事件，需要知道事件的任务。对于Grade对象，它的任务是保存分数。进一步了解事件的任务之后，就可以确定Grade对象的事件包括接受数据、成功地保存数据和不成功地保存数据。 有了这些事件之后，就可以为Grade对象创建这些事件的状态列表，如下所示： Ready 用于数据加载时。 Persisting 用于数据保存时。 Saved 用于数据已经保存后。 Error 用于数据由于出错而未成功保存时。 状态图的建模方法(续) 4．从开始状态开始创建状态图 利用上述的信息，我们就可以创建一个简单的状态图来描述Grade对象的不同状态，以及触发状态改变的事件，如下图所示。 状态图的建模方法(续) 5．如果必要则指定合成状态 创建状态图的第一步工作完成之后，可以检查一下是否需要通过创建合成状态来进一步修饰某些状态。 在本例中，我们认为Persisting状态过于笼统，因此可以为其提供子状态，其中包括Load、Update和Save，或者只包括Insert，如下图所示。 状态图的建模方法(续) 状态图的建模方法(续) 练习： 建模航班状态图 创建一个状态图来描述航班如何从提出申请、制定航班计划、售票、起飞、飞行、到着陆的状态过程。 练习步骤； 1）标识出要建模的实体。 2）标识出实体的状态。 第五章 状态图和活动图 状态图 状态图的定义 状态图的符号 状态图的动作和事件 组合状态 状态图的建模方法 活动图 活动图的定义 活动图的符号 活动图中的条件 活动图的建模方法 活动图的定义 活动图是一种用于描述系统行为的模型视图，它可用来描述过程（业务过程、工作流、事件流等）中的活动及其迁移。简单地讲，活动图是“OO流程图”。 活动图的标记符与状态图的标记符非常相似，有时会让人混淆。其实，状态图用来表示单个对象的行为如何改变其状态。而活动图是用来建模不同区域的工作如何彼此交互。 活动图的定义