软件系统分析与设计-4--需求-2分解.ppt

* * 源文件 编译器 目标文件 语言 语义 图4-27 编辑器被错误地框定为变换问题 编译器经常被认为是一个变换问题，如图4-27所示。在源代码和目标文件之间有一个映射，编译器的任务就是根据映射产生目标文件。 4.5.3 多框架问题 5. 编译器 §4.5 问题确定 * * 事实上创建映射是编译器涉及的真正主要工作。其规则是映射必须是这样：当被编译程序运行时，目标机器要按照原文件的语义来运行。所以在这里，对问题框架组合的通用方法做一些修改。部分解决方案是去定义变换问题，解决它的同时也可以解决一个控制问题。变换问题是从源语句到机器指令的映射。控制问题是使目标机器按照源文件指定的方式运行。 正确的问题框架如图4-28所示。 4.5.3 多框架问题 5. 编译器 §4.5 问题确定 * * 图4-28 编辑器正确的问题框架 编译器 源文件 语言 语义 目标文件 目标机器 变换规则 4.5.3 多框架问题 5. 编译器 §4.5 问题确定 * * 图4-29 电子邮件系统框架图 邮件 用户 收发邮件 因特网 其他邮件 创建和 编辑邮件 邮件系统 其他 邮件系统 其他用户 电子邮件系统组合了工件框架和连接框架。两个框架组合如图4-29所示。 4.5.3 多框架问题 6. 电子邮件 §4.5 问题确定 * * 一个用于控制卫星获取地球表面图像的程序的需求描述。它包含了五个同步的问题框架。 最基本的是，获取图像的工作显示在图4-30的信息框架中。 卫星 控制器 地球表面 获取 某地图像 用户 图4-30 卫星控制器的最基本框架图：按需获取地球表面图像 4.5.3 多框架问题 7. 卫星勘测 §4.5 问题确定 返回 * * 图4-31 卫星控制器的最基本框架图：按需获取地球表面图像 卫星 控制器 地球表面 获取 某地图像 收发器/圆盘 式卫星天线 用户 卫星 这有一个快照问题实例，因为查询对象在变化，但问题不是跟踪对象，只是按需要汇报目前的状态。 4.5.3 多框架问题 7. 卫星勘测 §4.5 问题确定 * * 这里有两个连接域：第一，卫星产生图像，图像必须传送给控制器，第二，圆盘式卫星天线必须能接收来自卫星的图像，要与卫星建立通讯必须包含一个控制问题。圆盘式卫星天线必须指向卫星，要求控制圆盘式卫星天线的命令要写入文档，以及决定圆盘式天线真正要指向哪里的规则。这个控制问题如图4-32所示。 4.5.3 多框架问题 7. 卫星勘测 §4.5 问题确定 * * 图4-32 控制问题：把卫星天线指向卫星以使通信成为可能 卫星 控制器 收发器/圆盘式 卫星天线 圆盘式卫星 无线对准卫星 卫星位置 4.5.3 多框架问题 7. 卫星勘测 §4.5 问题确定 * * 卫星的位置从哪里得到？这是一个变换问题，如图4-33所示。控制器必须根据它已知的上次卫星的位置来计算目前的位置。这个信息没有其他的来源。 卫星 控制器 当前时间 轨道力学公式 卫星 最新位置 卫星 位置 NIST-7 图4-33 变换问题：计算卫星当前位置 4.5.3 多框架问题 7. 卫星勘测 §4.5 问题确定 * * 图4-33 变换问题：计算卫星当前位置 卫星 控制器 当前时间 轨道力学公式 卫星 最新位置 卫星 位置 NIST-7 图4-33还包含了一个连接域：NIST-7，有科罗拉多州的Boulder国家理工学院操作的自动时钟是当前时间的控制源。 4.5.3 多框架问题 7. 卫星勘测 §4.5 问题确定 * * 图4-34另一个控制问题：卫星指向地球表面一定位置并拍摄图像 卫星 控制器 卫星 对准 位置x拍照 地球表面 一旦卫星控制器与卫星建立起通信，就有了另一个控制问题：使卫星指向地球表面所预定的位置，如图4-34所示。需求中的x来自于4-30中用户的请求。 4.5.3 多框架问题 7. 卫星勘测 §4.5 问题确定 * * 第二个控制问题忽略了圆盘式卫星天线的连接域。为了这个问题，我们假设卫星控制器所发出的命令是与卫星共享的现象，所以我们可以集中精力文档化控制卫星的命令并记录这些命令是如何影响卫星拍摄有关地球表面的照片。 4.5.3 多框架问题 7. 卫星勘测 §4.5 问题确定 * * 卫星图像 卫星 控制器 用户 所见图像 图像 增强算法 图4-35 另一个变换问题：为人们的视觉效果而增强图像 最后，一旦图像从卫星返回，为了人们的视觉效果控制器必须增强它。这是另一个变换问题，如图4-35所示。 4.5.3 多框架问题 7. 卫星勘测 §4.5 问题确定 * * * * * * * *