软件工程4-史济民.ppt

约束与派生 约束和派生机制能应用于任何模型元素 用花括号括起放在模型元素旁边 典型的属性约束是该属性的取值范围 派生属性可由其它属性通过某种方式计算得到，通常在派生属性前面加一个“/”表示 关联关系可以被约束，也可以被派生 类图的例子 包图 包是UML将一些模型元素组织成语义上相关的组的分组机制。形成一个高内聚、低耦合的类的集合。包之间的关系可以是依赖和泛化。 子系统A 子系统D 子系统B 子系统C 子系统E 子系统F 4.4 动态建模 UML也提供了描述系统动态行为的图形工具，用于描述系统中的对象在执行期间的不同时间点是如何进行动态交互的。 消息（Message） 状态图（State Diagram） 时序图（Sequence Diagram） 协作图（Collaboration Diagram） 活动图（Activity Diagram） 消息 消息类型: 简单消息：表示简单的控制流，描述控制如何在对象间传递，不考虑通信的细节。 同步消息：表示嵌套的控制流。操作的调用是一种典型的同步消息。调用者发出消息后必须等待消息返回，只有当处理消息的操作执行完毕后，调用者才能继续执行自己的操作。 异步消息：表示异步控制流。当调用者发出消息后，不用等待消息的返回即可继续自己的操作。 同步消息 异步消息 简单消息 状态图 图3.7 状态图中使用的主要符号 状态1 状态变量1 活动表1 状态2 状态变量2 活动表2 事件表达式 状态图State Diagram 超时 到达 下楼 上楼 到达 上楼 到达 在底楼 向上移动 向底楼移动 向下移动 空闲 状态图之间发送消息 Off() play() stop() On() CD机 Off()/stop() stop() Off() On() stop() play() On() Off() 遥控器 关 开 关 开/停止 开/播放 play() 时序图（Sequence Diagram） 时序图：着重体现对象间消息传递的时间顺序。消息可以是信号或操作调用。 [打印机忙] 保存文件 [打印机就绪] 打印文件 打印文件 打印文件 计算机 打印服务器 打印队列 打印机 对象 对象生命线 对象激活 消息 条件表达式 协作图（Collaboration Diagram） 协作图：描述对象间的交互和链接。与时序图着重体现交互的时间顺序不同，协作图着重体现交互对象间的静态链接。 消息串的语法规则: 前缀 守卫条件 序列表达式 返回值：=说明 [打印机忙] 2.2：保存文件 [打印机就绪] 2.1：打印文件 1：打印文件 计算机 打印队列 打印服务器 打印机 消息流 消息串 链 活动图Activity Diagram 活动图：显示动作流程及其结果。描述操作的行为或用例和对象内部的工作过程。 购买处理 顾客 销售部门 处理销售 支付货款 库存处理 发送商品 收取商品 水未开 水开了 打开信号 接通电源 加热 显示灯亮 水壶 断电 网上购物活动图 电水壶烧水的活动图 4.5 物理架构建模 逻辑架构和物理架构 物理架构详细描述系统的软件和硬件，试图有效地利用软硬件资源，并解决以下问题： 类和对象物理上分布在哪一个程序或进程中。 程序或进程在哪台计算机上运行。 系统中有哪些计算机和其他硬件，它们是如何连接的。 不同的代码之间有何关联，如果一个文件有改变，其他文件是否需要重新编译。 构件图 配置图 构件图Component Diagram 构件图显示软件构件之间的依赖关系，可以用来表现编译、链接或执行时构件之间的依赖关系。一般来说，软件构件是一个实际文件。 下图描述了Basket.java的源代码依赖于Goods.java的源代码。 部署图Deployment Diagram 部署图描述系统硬件的物理拓扑结构以及在此结构上执行的软件。 结点和连接、构件和接口 结点和连接 结点代表一个物理设备以及其上运行的软件系统。结点之间的连线表示系统之间进行交互的通信路径。 构件和接口 部署图中的构件代表可执行的物理代码模块，如一个可执行程序，逻辑上它可以与类图中的包或类对应。类和构件对外提供了可见操作和属性，称之为类和构件的接口。 4.6 UML 工具 Rational Rose StarUML Rational Rose StarUML 小结 面向对象开发按人的思维方式来理解和解决问题，将问题空间的概念直接映射到解空间。面向对象的基本特征是抽象、封装、继承和多态。 作为一种著名的建模语言，UML用图从不同的视角为系统建模，形成为不同的视图；每个视图代表系统完整描述中的一个抽象，显示这个系统中的一个特定的方面；每个视图由一组图构成，其中包含了强调系统中某一方面的信息。 湘 潭 大 学 湘 潭