软件工程导论 建立动态模型-状态图 .pptVIP

软件工程导论 复 习 对象模型表示静态的、结构化的系统的“数据”性质。 通常，使用UML提供的类图建立对象模型。 类图的绘制：类的表示和类与类之间的关系。 创建对象模型的步骤： 确定类与对象 确定类间的关系 划分主题 确定属性和方法 优化迭代（识别继承关系），反复修改 建立对象模型练习 根据描述建立软件公司的对象模型，即画出类图。问题陈述如下：一个软件公司有许多部门，分为开发部门和管理部门两种。每个部门由部门名字唯一确定。每个开发部门开发多个软件产品，每个软件产品都由程序、数据和文档组成。该公司有许多员工，分为经理、工作人员和开发人员。开发部门有经理和多个开发人员，管理部门有经理和多个工作人员。每个开发人员可参加多个开发项目，每个开发项目需要多个开发人员。每位经理可主持多个开发项目。 本节课内容 第九章　面向对象方法学引论 9.5、动态模型 第十章 面向对象分析 10.1、面向对象分析的基本过程 10.2、需求陈述 10.3、建立对象模型 10.4、建立动态模型 10.5、建立功能模型 10.6、定义服务 动态模型 动态模型表示瞬时的、行为化的系统的“控制”性质，它规定了对象模型中的对象的合法变化序列。 对于一个对象来说，在其生命周期的每个特定阶段中，都有适合该对象的一组运行规律和行为规则，用以规范该对象的行为。 状态：是对对象属性值的一种抽象。 各对象之间相互触发（即作用）就形成了一系列的状态变化。 一个触发行为称作一个事件。 一个事件分开两个状态，一个状态隔开两个事件。 事件表示时刻，状态代表时间间隔。 这就是对象的状态。 动态模型 通常，使用UML提供的状态图来描绘对象的状态、触发状态转换的事件以及对象的行为（对事件的响应）。 每个类的动态行为用一张状态图来描绘，各个类的状态图通过共享事件合并起来，从而构成系统的动态模型。 动态模型是基于事件共享而互相关联的一组状态图的集合。 状态图通过建立类对象的生命周期模型来描述对象随时间变化的动态行为。 状态图 状态图适用于描述状态和动作的顺序，不仅可以展现一个对象拥有的状态，还可以说明事件如何随着时间的推移来影响这些状态。 状态图表现从一个状态到另一个状态的控制流。 一般情况下，状态图可以由表示状态的节点和表示状态之间转换的带箭头的直线刻画出来。 状态图主要由元素状态、转换、初始状态、终止状态和判定等组成。 状态图 状态是状态图的重要组成部分。包括： 状态名：在状态图中状态名必须是唯一的。 入口和出口动作：进入和退出一个状态时所执行的边界动作。 一个状态可以有或者没有入口和出口动作。 内部转换：是不导致状态改变的转换。 内部转换只有源状态而没有目标状态。 组合状态：内部嵌套有子状态的状态。 状态图 转换：用带箭头的直线表示，一端连接源状态即转出的状态，箭头一端连接目标状态即转入的状态。 转换可以标注与此转换相关的选项如事件、动作和监护条件。 状态图 初始状态：代表状态图的起始位置，只能作为转换的源，而不能作为转换的目标。 初始状态在一个状态图中只允许有一个，它用一个实心的圆表示。 终止状态：是模型元素的最后状态，是一个状态图的终止点。终止状态只能作为转换的目标，而不能作为转换的源。 终止状态在一个状态图中可以有0个或多个，它用一个套有一个实心圆的空心圆表示。 状态图 判定： 用来表示一个事件依据不同的监护条件产生不同的影响，即工作流在此处按监护条件的取值而发生分支。 判定用空心小菱形表示。 因为监护条件为布尔表达式，所以通常条件下的判定只有一个入转换和两个出转换。 根据监护条件的真假可以触发不同的分支转换。 状态图 使用状态图进行建模的目标是描述跨越多个用例的对象在其生命周期中的各种状态及其状态之间的转换。 一个完整的系统往往包含很多的类和对象，这就需要创建几个状态图进行描述。 创建状态图的步骤： 识别出建模实体 不需要给所有的类都创建状态图，只有具有重要动态行为的类才需要。 识别出实体的各种状态 创建相关事件并创建状态图 状态图 练习1：图书馆中图书的状态描述如下：当图书被购置进来后，就放在图书馆中；如果读者将图书借走时，处于已借出状态；如果图书被归还，图书对象又变为在图书馆状态。图书馆如果将图书废弃，则图书对象就不再存在。试画出图书对象的状态图。 状态图 练习2：在温室管理系统中，有一个环境控制器类，当没有种植作物时处于空闲状态。一旦种上了作物，就要进行温度控制，定义气候，即在什么时期应达到什么温度。当处于夜晚时，由于温度下降，要调用调节温度过程，以便保持温度；太阳出来时，进入白天状态，由于温度升高，要调用调节温度过程，保持要求的温度。当日落时，进入夜晚状态。当作物收获，终止气候的控制，则进入空闲状态。建立环境控制器类的状态图。 状态图 练