软件结构设计

第 4章 软 件 结 构 设 计n设 计 ： 应 用 各 种 技 术 和 原 理 ， 对 设 备 、 过 程 或 系 统 作出 足 够 详 细 的 定 义 ， 使 之 能 够 在 物 理 上 得 以 实 现 。n软 件 结 构 设 计 ： 是 一 个 把 软 件 需 求 变 换 为 软 件 表 示 的过 程 ， 是 对 软 件 的 整 体 结 构 、 程 序 结 构 、 数 据 结 构 、 文件 结 构 、 接 口 定 义 等 的 设 计 ， 是 宏 观 上 的 设 计 。 软件设计 结 构 设 计 （ 总 体 设 计 ） 任 务 ： 制 订 系 统 实现 方 案 和 设 计 规 范 并 合 理 确 定 系 统 的 整 体模 块 结 构 及 接 口 关 系 。详 细 设 计 （ 模 块 设 计 ） 任 务 ： 详 细 规 定 每个 模 块 功 能 的 实 现 算 法 。结 构 化 设 计 方 法 ；数 据 结 构 驱 动 的 设 计 方 法面 向 对 象 的 设 计 方 法结构设计 软 件 设 计 与 程 序 设 计 的 区 别 ： 程 序 设 计 就 是 编 程 序 ， 这 是 大 家 熟 悉 的 ， 很 多 人 印 象中 的 “ 做 软 件 ” 就 是 编 程 序 ， 因 此 可 能 有 人 会 把 程序 设 计 和 软 件 设 计 等 同 起 来 。 这 是 不 对 的 ， 软 件 设 计是 宏 观 上 的 设 计 。 而 程 序 设 计 仅 仅 是 软 件 设 计 的 实 现 ，所 以 做 软 件 决 不 简 单 等 同 与 编 程 序 。 软 件 结 构 设 计 过 程 ： 1. 设 想 供 选 择 方 案 ； 2.选 择 合 理 的 方 案 ； 3.推 荐 最 优 方 案 ； 4.功 能 分 解 ； 5.设 计 软 件 结 构 ； 6.设 计 数 据 库 ； 7.制 订 测 试 计 划 ； 8.书 写 文 档 ； 9.审 查 和 复 审 ； 4.3 软 件 设 计 中 的 基 本 概 念 和 原 理 1. 模 块 化 所 谓 模 块 ， 是 指 具 有 相 对 独 立 性 的 ， 由 数 据 说 明 、 执 行 语 句 等 程 序 对 象 构 成 的 集合 。 程 序 中 的 每 个 模 块 都 需 要 单 独 命 名 ， 通 过 名 字 可 实 现 对 指 定 模 块 的 访 问 。 在 高 级语 言 中 ， 模 块 具 体 表 现 为 函 数 、 子 程 序 、 过 程 等 。 一 个 模 块 具 有 输 入 /输 出 (接 口 )、 功能 、 内 部 数 据 和 程 序 代 码 四 个 特 征 。 输 入 /输 出 用 于 实 现 模 块 与 其 他 模 块 间 的 数 据 传 送 ，即 向 模 块 传 入 所 需 的 原 始 数 据 及 从 模 块 传 出 得 到 的 结 果 数 据 。 功 能 指 模 块 所 完 成 的 工作 。 模 块 的 输 入 /输 出 和 功 能 构 成 了 模 块 的 外 部 特 征 。 内 部 数 据 是 指 仅 能 在 模 块 内 部 使用 的 局 部 量 。 程 序 代 码 用 于 描 述 实 现 模 块 功 能 的 具 体 方 法 和 步 骤 。 模 块 的 内 部 数 据 和程 序 代 码 反 映 的 是 模 块 的 内 部 特 征 。 模 块 化 是 指 将 整 个 程 序 划 分 为 若 干 个 模 块 ， 每 个 模 块 用 于 实 现 一 个 特 定 的 功 能 。划 分 模 块 对 于 解 决 大 型 复 杂 的 问 题 是 非 常 必 要 的 ， 可 以 大 大 降 低 解 决 问 题 的 难 度 。 为了 说 明 这 一 点 ， 我 们 可 对 问 题 复 杂 性 、 开 发 工 作 量 和 模 块 数 之 间 的 关 系 进 行 以 下 推 理 。 首 先 ， 我 们 设 C(x)为 问 题 x所 对 应 的 复 杂 度 函 数 ， E(x)为 解 决 问 题 x所 需 要 的 工 作量 函 数 。 对 于 两 个 问 题 P1和 P2， 如 果 ： C(P1) C(P2) 即 问 题 P1的 复 杂 度 比 P2高 ， 则 显 然 有 ： E(P1) E(P2) 即 解 决 问 题 P1比 P2所 需 的 工 作 量 大 。 在 人 们 解 决 问 题 的 过 程 中 ， 发 现 存 在 有 另 一 个 有 趣 的 规 律 ：C(P1+P2) C(P1)+C(P2)即 解 决 由 多 个 问 题 复 合 而 成 的 大 问 题 的 复 杂 度 大 于 单 独 解 决 各 个 问 题 的 复 杂 度 之 和 。也 就 是 说 ， 对 于 一 个 复 杂 问 题 ， 将 其 分 解 成 多 个 小 问 题 分 别 解 决 比 较 容 易 。 由 此 我 们可 以 推 出 ： E(P1+P2) E(P1)+E(P2)即 将 复 杂 问 题 分 解 成 若 干 个 小 问 题 ， 各 个 击 破 ， 所 需 要 的 工 作 量 小 于 直 接 解 决 复 杂 问题 所 需 的 工 作 量 。 根 据 上 面 的 推 理 ， 我 们 可 以 得 到 这 样 一 个 结 论 ， 模 块 化 可 以 降 低 解 决 问 题 的 复杂 度 ， 从 而 降 低 软 件 开 发 的 工 作 量 。 虽 然 增 加 程 序 中 的 模 块 数 可 以 降 低 开 发 每 个 模块 的 工 作 量 ， 但 同 时 却 增 加 了 设 计 模 块 接 口 的 工 作 量 。 通 过 图 4.1所 示 的 模 块 数 与 软件 开 发 成 本 的 关 系 图 中 可 以 看 出 ， 当 划 分 的 模 块 数 处 于 最 小 成 本 区 时 ， 开 发 软 件 的总 成 本 最 低 。 模 块 化 不 但 可 以 降 低 软 件 开 发 的 难 度 ， 而 且 可 以 使 程 序 结 构 清 晰 ， 增 加 易 读 性和 易 修 改 性 。 此 外 ， 模 块 化 还 有 利 于 提 高 代 码 的 可 重 用 性 及 团 队 合 作 开 发 大 型 软 件的 可 行 性 。 图 4.1 模 块 数 与 软 件 开 发 成 本 成本(工作量) 模块数接口成本软件总成本最小成本区M 成本 / 模块 2. 模 块 独 立 性 1) 耦 合 性 耦 合 性 是 对 一 个 软 件 结 构 内 部 不 同 模 块 间 联 系 紧 密 程 度 的 度 量 指 标 。 模 块 间 的 联系 越 紧 密 ， 耦 合 性 就 越 高 ， 模 块 的 独 立 性 也 就 越 低 。 由 于 模 块 间 的 联 系 是 通 过 模 块 接口 实 现 的 ， 因 此 ， 模 块 耦 合 性 的 高 低 主 要 取 决 于 模 块 接 口 的 复 杂 程 度 、 调 用 模 块 的 方式 以 及 通 过 模 块 接 口 的 数 据 。 模 块 间 的 耦 合 性 主 要 可 划 分 为 如 下 几 种 类 型 。 (1) 数 据 耦 合 。 若 两 个 模 块 之 间 仅 通 过 模 块 参 数 交 换 信 息 ， 且 交 换 的 信 息 全 部 为简 单 数 据 ， 则 称 这 种 耦 合 为 数 据 耦 合 。 数 据 耦 合 的 耦 合 性 最 低 ， 通 常 软 件 中 都 包 含 有数 据 耦 合 。 数 据 耦 合 的 例 子 如 下 所 示 ： sum(int a,int b)int c; c=a+b; return(c); main()int x,y; printf(x+y= %d,sum(x,y);/*主 函 数 与 sum函 数 之 间 即 为 数 据 耦 合 关 系 */ (2) 公 共 耦 合 。 若 两 个 或 多 个 模 块 通 过 引 用 公 共 数 据 相 互 联 系 ， 则 称 这 种 耦 合为 公 共 耦 合 。 例 如 ， 在 程 序 中 定 义 了 全 局 变 量 ， 并 在 多 个 模 块 中 对 全 局 变 量 进 行 了引 用 ， 则 引 用 全 局 变 量 的 多 个 模 块 间 就 具 有 了 公 共 耦 合 关 系 。 FORTRAN语 言 中 使 用的 common语 句 也 会 在 多 个 模 块 间 建 立 公 共 耦 合 关 系 。 公 共 耦 合 的 复 杂 度 随 着 耦 合 的模 块 个 数 的 增 加 而 显 著 增 加 。 在 程 序 设 计 中 ， 若 两 个 模 块 间 需 要 交 换 的 数 据 较 多 ，仅 通 过 参 数 传 递 难 以 实 现 时 ， 可 以 考 虑 采 用 公 共 耦 合 完 成 ， 但 一 定 注 意 尽 量 降 低 公共 耦 合 的 程 度 。 (3) 控 制 耦 合 。 若 模 块 之 间 交 换 的 信 息 中 包 含 有 控 制 信 息 (尽 管 有 时 控 制 信 息是 以 数 据 的 形 式 出 现 的 )， 则 称 这 种 耦 合 为 控 制 耦 合 。 控 制 耦 合 是 中 等 程 度 的 耦 合 ，它 会 增 加 程 序 的 复 杂 性 。 控 制 耦 合 的 例 子 如 下 所 示 ：void output(flag)if (flag) printf(OK! ); else printf(NO! );main() int flag;output(flag); /*主 函 数 与 output函 数 之 间 即 为 控 制 耦 合 关 系 */ (4) 内 容 耦 合 。 若 一 个 模 块 对 另 一 模 块 中 的 内 容 (包 括 数 据 和 程 序 段 )进 行 了 直 接的 引 用 甚 至 修 改 ， 或 通 过 非 正 常 入 口 进 入 到 另 一 模 块 内 部 ， 或 一 个 模 块 具 有 多 个 入 口 ，或 两 个 模 块 共 享 一 部 分 代 码 ， 则 称 模 块 间 的 这 种 耦 合 为 内 容 耦 合 。 内 容 耦 合 是 所 有 耦合 关 系 中 程 度 最 高 的 ， 会 使 因 模 块 间 的 联 系 过 于 紧 密 而 对 后 期 的 开 发 和 维 护 工 作 带 来很 大 的 麻 烦 ， 因 此 ， 应 坚 决 避 免 任 何 形 式 的 内 容 耦 合 。 实 际 上 ， 许 多 高 级 程 序 设 计 语言 在 规 定 语 法 时 就 已 经 杜 绝 了 任 何 形 式 的 内 容 耦 合 。 耦 合 是 影 响 软 件 复 杂 度 的 一 个 重 要 因 素 ， 设 计 过 程 中 应 力 求 降 低 程 序 的 耦 合 性 。在 以 上 所 介 绍 的 耦 合 中 ， 数 据 耦 合 的 程 度 最 低 ， 其 次 是 公 共 耦 合 ， 再 其 次 是 控 制 耦 合 ，程 度 最 高 的 是 内 容 耦 合 。 2) 内 聚 性 内 聚 性 是 对 一 个 模 块 内 部 各 个 组 成 元 素 之 间 相 互 结 合 的 紧 密 程 度 的 度 量 指 标 。 模 块中 组 成 元 素 结 合 的 越 紧 密 ， 模 块 的 内 聚 性 就 越 高 ， 模 块 的 独 立 性 也 就 越 高 。 模 块 的 内 聚性 和 耦 合 性 是 两 个 相 互 对 立 且 又 密 切 相 关 的 概 念 。 事 实 上 ， 它 们 是 同 一 事 物 的 两 个 方 面 ，模 块 的 高 内 聚 性 往 往 就 意 味 着 模 块 间 的 低 耦 合 性 。 因 为 程 序 中 的 各 个 部 分 必 定 是 有 联 系的 ， 若 将 其 中 密 切 相 关 的 部 分 放 在 同 一 个 模 块 中 ， 模 块 间 的 联 系 就 会 降 低 ； 反 之 ， 若 将密 切 相 关 的 部 分 分 散 放 在 不 同 的 模 块 之 中 ， 模 块 间 的 联 系 必 然 会 加 强 。 在 进 行 模 块 化 设计 时 ， 耦 合 性 和 内 聚 性 都 是 必 须 考 虑 的 重 要 指 标 。 但 在 软 件 设 计 时 应 将 更 多 的 注 意 力 集中 在 提 高 模 块 的 内 聚 性 上 。 模 块 的 内 聚 性 主 要 可 划 分 为 如 下 几 种 不 同 的 类 型 。 (1) 偶 然 内 聚 。 若 一 个 模 块 由 多 个 完 成 不 同 任 务 的 语 句 段 组 成 ， 各 语 句 段 之 间的 联 系 十 分 松 散 或 根 本 没 有 任 何 联 系 ， 则 称 此 模 块 的 内 聚 为 偶 然 内 聚 。 例 如 ， 程 序中 多 处 出 现 一 些 无 联 系 的 语 句 段 序 列 ， 为 了 节 省 内 存 空 间 将 其 组 合 成 为 一 个 模 块 ，这 个 模 块 就 属 于 偶 然 内 聚 。 偶 然 内 聚 的 模 块 由 于 组 成 部 分 之 间 没 有 实 质 的 联 系 ， 因此 难 于 理 解 和 修 改 ， 会 给 软 件 开 发 带 来 很 大 的 困 扰 。 偶 然 内 聚 是 内 聚 程 度 最 低 的 一种 ， 在 软 件 设 计 时 应 尽 量 避 免 。 (2) 逻 辑 内 聚 。 若 一 个 模 块 可 实 现 多 个 逻 辑 上 相 同 或 相 似 的 一 类 功 能 ， 则 称 该模 块 的 内 聚 为 逻 辑 内 聚 。 例 如 ， 将 程 序 中 多 种 不 同 类 型 数 据 的 输 出 放 在 同 一 个 模 块中 实 现 ， 这 个 模 块 就 属 于 逻 辑 聚 合 。 逻 辑 内 聚 比 偶 然 内 聚 的 内 聚 程 度 高 一 些 。 虽 然逻 辑 聚 合 模 块 的 组 成 部 分 之 间 有 一 定 的 关 系 ， 但 不 同 功 能 混 在 一 起 并 公 用 模 块 中 的部 分 代 码 ， 给 修 改 带 来 了 一 定 的 麻 烦 。 另 外 ， 为 了 在 调 用 模 块 时 能 选 择 执 行 其 中 的某 个 功 能 ， 需 要 传 递 相 应 的 控 制 参 数 ， 因 而 会 造 成 模 块 间 的 控 制 耦 合 ， 降 低 模 块 的独 立 性 。 (3) 时 间 内 聚 。 若 一 个 模 块 包 含 了 需 要 在 同 一 时 间 段 中 执 行 的 多 个 任 务 ， 则 称 该模 块 的 内 聚 为 时 间 内 聚 。 例 如 ， 将 多 个 变 量 的 初 始 化 放 在 同 一 个 模 块 中 实 现 ， 或 将 需要 同 时 使 用 的 多 个 库 文 件 的 打 开 操 作 放 在 同 一 个 模 块 中 ， 都 会 产 生 时 间 内 聚 的 模 块 。由 于 时 间 内 聚 模 块 中 的 各 个 部 分 在 时 间 上 的 联 系 ， 其 内 聚 程 度 比 逻 辑 内 聚 高 一 些 。 但这 样 的 模 块 往 往 会 和 其 他 相 关 模 块 有 着 紧 密 的 联 系 ， 因 而 会 造 成 耦 合 性 的 增 加 。 (4) 过 程 内 聚 。 若 一 个 模 块 中 的 各 个 部 分 相 关 ， 并 且 必 须 按 特 定 的 次 序 执 行 ，则 称 该 模 块 的 内 聚 为 过 程 内 聚 。 在 结 构 化 程 序 中 ， 通 常 采 用 程 序 流 程 图 作 为 设 计 软件 和 确 定 模 块 划 分 的 工 具 ， 因 此 ， 这 样 得 到 的 模 块 往 往 具 有 过 程 内 聚 的 特 性 。 (5) 通 信 内 聚 。 若 一 个 模 块 中 的 各 个 部 分 使 用 同 一 个 输 入 数 据 或 产 生 同 一 个 输出 数 据 ， 则 称 该 模 块 的 内 聚 为 通 信 内 聚 。 由 于 通 信 内 聚 模 块 中 的 各 个 部 分 都 与 某 个共 同 的 数 据 密 切 相 关 ， 因 此 内 聚 性 高 于 前 几 种 内 聚 。 (6) 顺 序 内 聚 。 若 一 个 模 块 中 的 各 个 部 分 都 与 同 一 个 功 能 密 切 相 关 ， 并 且 必 须 按照 先 后 顺 序 执 行 (通 常 前 一 个 部 分 的 输 出 数 据 就 是 后 一 个 部 分 的 输 入 数 据 )， 则 称 该模 块 的 内 聚 为 顺 序 内 聚 。 例 如 ， 在 一 个 处 理 学 生 成 绩 的 模 块 中 ， 前 一 个 部 分 根 据 成绩 统 计 出 及 格 的 学 生 人 数 ， 后 一 个 部 分 根 据 及 格 人 数 计 算 出 学 生 的 及 格 率 。 根 据 数据 流 图 划 分 出 的 模 块 通 常 都 是 顺 序 内 聚 的 模 块 。 由 于 顺 序 内 聚 模 块 中 的 各 个 部 分 在功 能 和 执 行 顺 序 上 都 密 切 相 关 ， 因 此 内 聚 程 度 很 高 且 易 于 理 解 。 (7) 功 能 内 聚 。 若 一 个 模 块 中 各 个 组 成 部 分 构 成 一 个 整 体 并 共 同 完 成 一 个 单 一的 功 能 ， 则 称 该 模 块 的 内 聚 为 功 能 内 聚 。 由 于 功 能 内 聚 模 块 中 的 各 个 部 分 关 系 非 常密 切 ， 构 成 一 个 不 可 分 割 的 整 体 ， 因 此 功 能 内 聚 是 所 有 内 聚 中 内 聚 程 度 最 高 的 一 种 。 在 以 上 所 介 绍 的 七 种 内 聚 中 ， 按 照 内 聚 性 从 低 到 高 进 行 排 列 的 结 果 如 图 4.2所示 。 偶然内聚逻辑内聚时间内聚 低内聚过程内聚通信内聚 中内聚顺序内聚功能内聚 高内聚低高图 4.2 内 聚 性 的 排 列 3. 抽 象 抽 象 是 人 类 在 解 决 复 杂 问 题 时 经 常 采 用 的 一 种 思 维 方 式 ， 它 是 指 将 现 实 世 界 中 具有 共 性 的 一 类 事 物 的 相 似 的 、 本 质 的 方 面 集 中 概 括 起 来 ， 而 暂 时 忽 略 它 们 之 间 的 细 节差 异 。 在 软 件 开 发 中 运 用 抽 象 的 概 念 ， 可 以 将 复 杂 问 题 的 求 解 过 程 分 层 ， 在 不 同 的 抽象 层 上 实 现 难 度 的 分 解 。 在 抽 象 级 别 较 高 的 层 次 上 ， 可 以 将 琐 碎 的 细 节 的 信 息 暂 时 隐藏 起 来 ， 以 利 于 解 决 系 统 中 的 全 局 性 的 问 题 。 软 件 开 发 过 程 中 从 问 题 定 义 到 最 终 的 软件 生 成 ， 每 一 阶 段 都 是 在 前 一 阶 段 基 础 上 对 软 件 解 法 的 抽 象 层 上 的 一 次 求 精 和 细 化 。 结 构 化 程 序 中 自 顶 向 下 、 逐 步 求 精 的 模 块 划 分 思 想 正 是 人 类 思 维 中 运 用 抽 象 方 法解 决 复 杂 问 题 的 体 现 。 软 件 结 构 中 顶 层 的 模 块 抽 象 级 别 最 高 ， 控 制 并 协 调 软 件 的 主 要功 能 且 影 响 全 局 ； 软 件 结 构 中 位 于 底 层 的 模 块 抽 象 级 别 最 低 ， 具 体 实 现 数 据 的 处 理 过程 。 采 用 自 顶 向 下 、 由 抽 象 到 具 体 的 思 维 方 式 ， 不 但 降 低 了 软 件 开 发 中 每 个 阶 段 的 工作 难 度 ， 简 化 了 软 件 的 设 计 和 实 现 过 程 ， 还 有 助 于 提 高 软 件 的 可 读 性 、 可 测 试 性 和 可维 护 性 。 此 外 ， 在 程 序 设 计 中 运 用 抽 象 的 方 法 还 能 够 提 高 代 码 的 可 重 用 性 。 4. 信 息 隐 蔽 信 息 隐 蔽 是 指 一 个 模 块 将 自 身 的 内 部 信 息 向 其 他 模 块 隐 藏 起 来 ， 以 避 免 其 他 模块 不 恰 当 的 访 问 和 修 改 ， 只 有 对 那 些 为 了 完 成 系 统 功 能 所 必 须 的 数 据 交 换 才 被 允 许在 模 块 间 进 行 。 信 息 隐 蔽 的 目 的 主 要 是 为 了 提 高 模 块 的 独 立 性 ， 减 少 将 一 个 模 块 中的 错 误 扩 散 到 其 他 模 块 的 机 会 。 但 信 息 隐 蔽 并 不 意 味 着 某 个 模 块 中 的 内 部 信 息 对 其他 模 块 来 说 是 完 全 不 可 见 或 不 能 使 用 的 ， 而 是 说 模 块 之 间 的 信 息 传 递 只 能 通 过 合 法的 调 用 接 口 来 实 现 。 显 然 ， 信 息 隐 蔽 对 提 高 软 件 的 可 读 性 和 可 维 护 性 都 是 非 常 重 要的 。 5. 逐 步 求 精 “ 为 了 能 集 中 精 力 解 决 主 要 问 题 而 尽 量 推 迟 对 问 题 细 节 的 考 虑 ” 。 可 以 看 作 是一 项 把 一 个 时 期 内 必 须 解 决 的 种 种 问 题 按 优 先 级 排 列 序 的 技 术 ， 是 由 Niklaus Wirth提 出 的 一 种 自 顶 向 下 的 设 计 策 略 。 求 精 实 际 上 是 一 个 细 化 过 程 。 抽 象 与 求 精 是 一 对互 补 的 概 念 。 4.4 启 发 式 规 则 (1) 降 低 模 块 的 耦 合 性 ， 提 高 模 块 的 内 聚 性 。 为 了 提 高 软 件 中 各 个 模 块 的 独 立 性 ， 提 高 程 序 的 可 读 性 、 可 测 试 性 和 可 维 护 性 ，在 软 件 体 系 结 构 设 计 时 应 尽 可 能 采 用 内 聚 性 高 的 模 块 ， 如 最 好 实 现 功 能 内 聚 ； 尽 量只 使 用 数 据 耦 合 ， 限 制 公 共 耦 合 的 使 用 ， 避 免 控 制 耦 合 的 使 用 ， 杜 绝 内 容 耦 合 的 出现 。 (2) 保 持 适 中 的 模 块 规 模 。 程 序 中 模 块 的 规 模 过 大 ， 会 降 低 程 序 的 可 读 性 ； 而 模 块 规 模 过 小 ， 势 必 会 导 致程 序 中 的 模 块 数 目 过 多 ， 增 加 接 口 的 复 杂 性 。 对 于 模 块 的 适 当 规 模 并 没 有 严 格 的 规定 ， 但 普 遍 的 观 点 是 模 块 中 的 语 句 数 最 好 保 持 在 10 100之 间 。 为 了 使 模 块 的 规 模 适中 ， 在 保 证 模 块 独 立 性 的 前 提 下 ， 可 对 程 序 中 规 模 过 小 的 模 块 进 行 合 并 或 对 规 模 过大 的 模 块 进 行 分 解 。 (3) 模 块 应 具 有 高 扇 入 和 适 当 的 扇 出 在 模 块 调 用 中 ， 某 个 模 块 的 上 级 模 块 数 被 称 为 该 模 块 的 扇 入 (如 图 4.3(a)所 示 ，模 块 M的 扇 入 数 为 n)； 而 某 个 模 块 可 以 调 用 的 下 级 模 块 数 被 称 为 该 模 块 的 扇 出 (如 图4.3(b)所 示 ， 模 块 M的 扇 出 数 为 k)。 显 然 ， 一 个 模 块 的 扇 入 表 明 了 共 有 多 少 个 模 块 需要 调 用 该 模 块 ， 而 其 扇 出 表 明 了 该 模 块 可 以 控 制 的 下 级 模 块 的 数 目 。 图 4.3 模 块 的 扇 入 和 扇 出(a) 扇 入 ； (b) 扇 出M1 M2 MnM(a) (b)M1 M2 MkM 模 块 的 扇 入 越 大 ， 则 说 明 共 享 该 模 块 的 上 级 模 块 数 越 多 ， 或 者 说 该 模 块 在 程 序中 的 重 用 性 越 高 ， 这 正 是 程 序 设 计 所 追 求 的 目 标 之 一 。 当 多 个 模 块 具 有 一 部 分 相 同功 能 时 ， 应 将 这 部 分 相 同 的 功 能 分 离 出 来 ， 编 写 成 独 立 的 模 块 供 需 要 的 模 块 调 用 。通 过 消 除 不 同 模 块 中 的 重 复 内 容 ， 提 高 代 码 的 可 重 用 性 ， 可 以 减 少 程 序 的 总 代 码 量 ，便 于 程 序 的 测 试 和 维 护 。 模 块 的 扇 出 若 过 大 ， 如 在 一 个 模 块 中 要 调 用 八 个 下 级 模 块 ， 则 会 使 该 模 块 的 调 用控 制 过 于 复 杂 。 这 种 现 象 发 生 的 原 因 通 常 都 是 由 于 设 计 阶 段 ， 模 块 细 化 的 过 程 中 ， 分解 速 度 过 快 造 成 的 。 最 常 见 的 解 决 办 法 是 通 过 在 此 模 块 和 下 级 模 块 间 增 加 一 个 中 间 层来 控 制 模 块 分 解 的 速 度 。 模 块 的 扇 出 过 小 ， 如 扇 出 为 1(下 级 模 块 层 中 只 有 一 个 模 块 )，在 系 统 设 计 中 通 常 是 不 可 取 的 。 常 见 的 解 决 方 法 是 考 虑 将 其 合 并 到 上 级 模 块 中 。 但 若合 并 会 影 响 模 块 的 独 立 性 ， 则 将 其 保 留 下 来 也 未 尝 不 可 。 根 据 实 践 经 验 ， 设 计 良 好 的典 型 系 统 中 ， 模 块 的 平 均 扇 出 通 常 为 3或 4。 可 以 看 出 ： 在 一 个 好 的 软 件 结 构 中 ， 模 块 应 具 有 较 高 的 扇 入 和 适 当 的 扇 出 。 但绝 不 能 为 了 单 纯 追 求 高 扇 入 或 合 适 的 扇 出 而 破 坏 了 模 块 的 独 立 性 。 此 外 ， 经 过 对 大量 软 件 系 统 的 研 究 后 发 现 ， 在 设 计 良 好 的 软 件 结 构 中 ， 通 常 顶 层 的 扇 出 数 较 大 ， 中间 层 的 扇 出 数 较 小 ， 底 层 的 扇 入 数 较 大 ， 如 图 4.4所 示 。 图 4.4 软 件 结 构 图 示 例 (4) 软 件 结 构 中 的 深 度 和 宽 度 不 宜 过 大 。 所 谓 深 度 ， 是 指 软 件 体 系 结 构 中 控 制 的 层 数 ， 它 能 够 粗 略 地 反 映 出 软 件 系 统 的 规模 和 复 杂 程 度 ； 所 谓 宽 度 ， 是 指 软 件 体 系 结 构 内 同 一 层 次 上 模 块 个 数 的 最 大 值 ， 通 常宽 度 越 大 的 系 统 越 复 杂 。 如 图 4.6所 示 的 软 件 结 构 图 中 ， 深 度 为 5， 宽 度 为 8。 深 度 在程 序 中 表 现 为 模 块 的 嵌 套 调 用 ， 嵌 套 的 层 数 越 多 ， 程 序 就 越 复 杂 。 模 块 可 以 调 用 的 下级 模 块 数 越 多 ， 软 件 结 构 的 宽 度 就 越 大 。 深 度 过 大 可 通 过 将 结 构 中 过 于 简 单 的 模 块 分层 与 上 一 级 模 块 合 并 来 解 决 ； 而 宽 度 过 大 则 可 通 过 增 加 中 间 层 来 解 决 。 显 然 ， 软 件 结构 中 的 深 度 和 宽 度 是 相 互 对 立 的 两 个 方 面 ， 降 低 深 度 会 引 起 宽 度 的 增 加 ， 而 降 低 宽 度又 会 带 来 深 度 的 增 加 。 (5) 模 块 的 作 用 域 应 处 于 其 控 制 域 范 围 之 内 。 模 块 的 作 用 域 是 指 受 该 模 块 内 一 个 判 定 条 件 影 响 的 所 有 模 块 范 围 。模 块 的 控 制 域 是 指 该 模 块 本 身 以 及 所 有 该 模 块 的 下 属 模 块 (包 括 该 模 块可 以 直 接 调 用 的 下 级 模 块 和 可 以 间 接 调 用 的 更 下 层 的 模 块 )。 例 如 ， 在图 4.5中 ， 模 块 C的 控 制 域 为 模 块 C、 E和 F； 若 在 模 块 C中 存 在 一 个 对 模 块D、 E和 F均 有 影 响 的 判 定 条 件 ， 即 模 块 C的 作 用 域 为 模 块 C、 D、 E和 F(图中 带 阴 影 的 模 块 )， 则 显 然 模 块 C的 作 用 域 超 出 了 其 作 用 域 。 由 于 模 块 D在 模 块 C的 作 用 域 中 ， 因 此 模 块 C对 模 块 D的 控 制 信 息 必 然 要 通 过 上 级 模块 B进 行 传 递 ， 这 样 不 但 会 增 加 模 块 间 的 耦 合 性 ， 而 且 会 给 模 块 的 维 护和 修 改 带 来 麻 烦 (若 要 修 改 模 块 C， 可 能 会 对 不 在 它 控 制 域 中 的 模 块 D造成 影 响 )。 因 此 ， 软 件 设 计 时 应 使 各 个 模 块 的 作 用 域 处 于 其 控 制 域 范 围之 内 。 若 发 现 不 符 合 此 设 计 原 则 的 模 块 ， 可 通 过 下 面 的 方 法 进 行 改 进 ： 将 判 定 位 置 上 移 。 如 将 图 4.7中 的 模 块 C中 的 判 定 条 件 上 移 到 上 级 模 块 B中 或将 模 块 C整 个 合 并 到 模 块 B中 。 将 超 出 作 用 域 的 模 块 下 移 。 如 将 图 4.5中 的 模 块 D移 至 模 块 C的 下 一 层 上 ， 使模 块 D处 于 模 块 C的 控 制 域 中 。 MA BC D E F图 4.5 模 块 的 作 用 域 和 控 制 域 (6) 尽 量 降 低 模 块 的 接 口 复 杂 度 。 由 于 复 杂 的 模 块 接 口 是 导 致 软 件 出 现 错 误 的 主 要 原 因 之 一 ， 因 此 在 软 件 设 计 中应 尽 量 使 模 块 接 口 简 单 清 晰 ， 如 减 少 接 口 传 送 的 信 息 个 数 以 及 确 保 实 参 和 形 参 的 一致 性 和 对 应 性 等 。 降 低 模 块 的 接 口 复 杂 度 ， 可 以 提 高 软 件 的 可 读 性 ， 减 少 出 现 错 误的 可 能 性 ， 并 有 利 于 软 件 的 测 试 和 维 护 。 （ 7） 设 计 单 入 口 单 出 口 模 块 （ 8） 模 块 功 能 应 该 可 以 预 测 4.5.1 描 述 软 件 结 构 用 的 图 形 工 具 1. HIPO图 HIPO(Hierarchy Plus Input/Processing/Output)图 是 IBM公 司 在 20世 纪 70年 代 发展 起 来 的 用 于 描 述 软 件 结 构 的 图 形 工 具 。 它 实 质 上 是 在 描 述 软 件 总 体 模 块 结 构 的 层 次图 (H图 )的 基 础 上 ， 加 入 了 用 于 描 述 每 个 模 块 输 入 /输 出 数 据 和 处 理 功 能 的 IPO图 ， 因 此它 的 中 文 全 名 为 层 次 图 加 输 入 /处 理 /输 出 图 。4.5 软 件 结 构 设 计 方 法 1) HIPO图 中 的 H图 H图 用 于 在 体 系 结 构 设 计 过 程 中 描 绘 软 件 的 层 次 结 构 。 在 H图 中 ， 每 一 个 矩 形 框代 表 一 个 模 块 ， 图 中 最 顶 层 的 矩 形 框 表 示 系 统 中 的 主 控 模 块 ， 矩 形 框 之 间 的 连 线 用于 表 示 模 块 之 间 的 调 用 关 系 。 为 了 使 H图 更 具 有 可 追 踪 性 ， 可 以 为 除 顶 层 矩 形 框 以 外的 其 他 矩 形 框 加 上 能 反 映 层 次 关 系 的 编 号 。 H图 比 较 适 用 于 自 顶 向 下 进 行 分 解 的 软 件结 构 设 计 方 法 。 工 资 计 算 系 统 的 H图 如 下 图 所 示 。 图 4.6 工 资 计 算 系 统 的 H图计算出勤奖1.1.2.1计算业绩奖1.1.2.2计算工资档案各基本数据项之和1.1.1 计算奖金1.1.2计算应发工资1.1 计算水电扣款1.2.1 计算缺勤扣款1.2.2 计算所得税扣款1.2.3计算扣款1.2 计算实发工资1.3 计算工资1 查询职工账号2.1 生成工资存款清单2.2工资转存2 打印工资清单3工资计算系统 2) IPO图 IPO图 能 够 方 便 、 清 晰 地 描 绘 出 模 块 的 输 入 数 据 、 加 工 和 输 出 数 据 之 间 的 关 系 。与 层 次 图 中 每 个 矩 形 框 相 对 应 ， 应 该 有 一 张 IPO图 描 述 该 矩 形 框 所 代 表 的 模 块 的 具 体处 理 过 程 ， 作 为 对 层 次 图 中 内 容 的 补 充 说 明 。 IPO图 的 基 本 形 式 为 ： 在 图 中 左 边 的 框中 列 出 模 块 涉 及 的 所 有 输 入 数 据 ， 在 中 间 的 框 中 列 出 主 要 的 加 工 ， 在 右 边 的 框 中 列 出处 理 后 产 生 的 输 出 数 据 ； 图 中 的 箭 头 用 于 指 明 输 入 数 据 、 加 工 和 输 出 结 果 之 间 的 关 系 。工 资 计 算 系 统 中 的 计 算 工 资 模 块 的 IPO图 如 图 4.7所 示 。 图 4.7 计 算 工 资 模 块 的 IPO图业绩表出勤表工资档案文件奖惩条例水电扣款表 计算奖金计算应发工资计算扣款计算实发工资 奖金发放表应发工资表扣款表工资清单实发工资表 2. 结 构 图 在 软 件 工 程 中 ， 软 件 结 构 经 常 采 用 20世 纪 70年 代 中 期 由 Yourdon等 人 提 出 的 结 构图 (SC， Structure Chart)这 种 图 形 工 具 来 表 示 。 结 构 图 能 够 描 述 出 软 件 系 统 的 模 块层 次 结 构 ， 清 楚 地 反 映 出 程 序 中 各 模 块 之 间 的 调 用 关 系 和 联 系 。 结 构 图 中 的 基 本 符号 及 其 含 义 见 表 。 表 4.1 结 构 图 中 的 基 本 符 号AB C AB C 符 号 含 义用 于 表 示 模 块 ， 方 框 中 标 明 模 块 的 名 称用 于 描 述 模 块 之 间 的 调 用 关 系用 于 表 示 模 块 调 用 过 程 中 传 递 的 信 息 ， 箭 头 上 标 明 信息 的 名 称 ； 箭 头 尾 部 为 空 心 圆 表 示 传 递 的 信 息 是 数 据 ，若 为 实 心 圆 则 表 示 传 递 的 是 控 制 信 息 表 示 模 块 A选 择 调 用 模 块 B或 模 块 C表 示 模 块 A循 环 调 用 模 块 B和 模 块 C 4.5.2 面 向 数 据 流 的 软 件 结 构 设 计 方 法1、 数 据 流 图 的 类 型 面 向 数 据 流 的 体 系 设 计 方 法 能 够 方 便 地 将 需 求 分 析 阶 段 生 成 的 数 据 流 图 转 换 成设 计 阶 段 所 需 的 软 件 结 构 。 但 对 于 不 同 类 型 的 数 据 流 图 ， 转 换 得 到 的 软 件 结 构 也 不同 ， 因 此 有 必 要 首 先 研 究 一 下 数 据 流 图 的 典 型 形 式 。 根 据 数 据 流 图 的 结 构 特 点 通 常可 将 数 据 流 图 划 分 为 如 下 两 个 基 本 类 型 。 （ 1） 变 换 型 数 据 流 图 变 换 型 数 据 流 图 呈 现 出 的 结 构 特 点 为 ： 由 (逻 辑 )输 入 、 变 换 中 心 和 (逻 辑 )输 出 三部 分 组 成 ， 如 图 4.8所 示 。 该 类 型 数 据 流 图 所 描 述 的 加 工 过 程 为 ： 首 先 ， 外 部 数 据 沿 逻辑 输 入 路 径 进 入 系 统 ， 同 时 数 据 的 形 式 由 外 部 形 式 转 化 为 内 部 形 式 ； 接 着 ， 数 据 被 送往 变 换 中 心 进 行 加 工 处 理 ； 最 后 ， 经 过 加 工 得 到 的 结 果 数 据 的 内 部 形 式 被 转 换 为 外 部形 式 并 沿 逻 辑 输 出 路 径 离 开 系 统 。 可 以 看 出 ， 变 换 型 数 据 流 图 反 映 的 是 一 个 顺 序 结 构的 加 工 过 程 。 变换中心变换输入 输出图 4.8 变 换 型 数 据 流 图 的 基 本 模 型 （ 2） 事 务 型 数 据 流 图 原 则 上 ， 所 有 基 本 系 统 模 型 都 属 于 变 换 型 ， 但 其 中 有 一 类 具 有 特 殊 形 态 的 数 据流 图 又 被 单 独 划 分 为 事 务 型 。 事 务 型 数 据 流 图 呈 现 出 的 结 构 特 点 为 ： 输 入 流 在 经 过某 个 被 称 为 “ 事 务 中 心 ” 的 加 工 时 被 分 离 为 多 个 发 散 的 输 出 流 ， 形 成 多 个 平 行 的 加工 处 理 路 径 ， 如 图 4.9所 示 。 该 类 型 数 据 流 图 所 描 述 的 加 工 过 程 为 ： 外 部 数 据 沿 输 入通 路 进 入 系 统 后 ， 被 送 往 事 务 中 心 ； 事 务 中 心 接 收 输 入 数 据 并 分 析 确 定 其 类 型 ； 最后 根 据 所 确 定 的 类 型 为 数 据 选 择 其 中 的 一 条 加 工 路 径 。 图 4.9 事 务 型 数 据 流 图 的 基 本 模 型事务中心输入流接收路径 加工路径 2、 面 向 数 据 流 的 软 件 结 构 设 计 过 程 运 用 面 向 数 据 流 的 方 法 进 行 软 件 体 系 结 构 的 设 计 时 ， 应 该 首 先 对 需 求 分 析 阶 段得 到 的 数 据 流 图 进 行 复 查 ， 必 要 时 进 行 修 改 和 精 化 ； 接 着 在 仔 细 分 析 系 统 数 据 流 图的 基 础 上 ， 确 定 数 据 流 图 的 类 型 ， 并 按 照 相 应 的 设 计 步 骤 将 数 据 流 图 转 化 为 软 件 结构 ； 最 后 还 要 根 据 体 系 结 构 设 计 的 原 则 对 得 到 的 软 件 结 构 进 行 优 化 和 改 进 。 面 向 数据 流 的 体 系 结 构 设 计 过 程 如 图 4.10所 示 。 图 4.10 面 向 数 据 流 的 体 系结 构 设 计 过 程 事务流 变换流 精化数据流图区分事务中心、接收路径及加工路径 区分变换中心、输入及输出部分映射成事务结构 映射成变换结构 详细设计根据体系结构设计基本原则优化软件结构导出接口描述和全程数据结构复查事务分析 变换分析 流类型 一 般 来 说 ， 大 多 数 系 统 的 加 工 问 题 被 表 示 为 变 换 型 ， 可 采 用 变 换 分 析 设 计 方 法 建立 系 统 的 软 件 结 构 ， 但 当 数 据 流 图 具 有 明 显 的 事 务 特 点 时 ， 则 应 采 用 事 务 分 析 技 术 进行 处 理 。 变 换 分 析 设 计 方 法 与 事 务 分 析 设 计 方 法 类 似 ， 都 遵 循 图 4.10所 示 的 设 计 过 程 ，主 要 差 别 仅 在 于 由 数 据 流 图 向 软 件 结 构 的 映 射 方 法 不 同 。 对 于 一 个 复 杂 的 系 统 ， 数 据流 图 中 可 能 既 存 在 变 换 流 又 存 在 事 务 流 ， 这 时 应 当 根 据 数 据 流 图 的 主 要 处 理 功 能 ， 选择 一 个 面 向 全 局 的 、 涉 及 整 个 软 件 系 统 的 总 体 类 型 ， 映 射 得 到 系 统 的 整 体 软 件 结 构 。此 外 ， 再 对 局 部 范 围 内 的 数 据 流 图 进 行 具 体 研 究 ， 确 定 它 们 各 自 的 类 型 并 分 别 处 理 ，得 到 系 统 的 局 部 软 件 结 构 。 （ 1） 变 换 分 析 设 计 对 于 变 换 型 的 数 据 流 图 ， 应 按 照 变 换 分 析 设 计 的 方 法 建 立 系 统 的 结 构 图 。 下 面 以图 4.11所 示 的 工 资 计 算 系 统 数 据 流 图 为 例 来 介 绍 变 换 分 析 建 立 软 件 结 构 的 具 体 步 骤 。 A 划 分 边 界 ， 区 分 系 统 的 输 入 、 变 换 中 心 和 输 出 部 分 。 变 换 中 心 在 图 中 往 往 是 多 股 数 据 流 汇 集 的 地 方 ， 经 验 丰 富 的 设 计 人 员 通 常 可 根 据其 特 征 直 接 确 定 系 统 的 变 换 中 心 。 另 外 ， 下 述 方 法 可 帮 助 设 计 人 员 确 定 系 统 的 输 入 和输 出 ： 从 数 据 流 图 的 物 理 输 入 端 出 发 ， 沿 着 数 据 流 方 向 逐 步 向 系 统 内 部 移 动 ， 直 至 遇到 不 能 被 看 作 是 系 统 输 入 的 数 据 流 为 止 ， 则 此 数 据 流 之 前 的 部 分 即 为 系 统 的 输 入 ； 同理 ， 从 数 据 流 图 的 物 理 输 出 端 出 发 ， 逆 着 数 据 流 方 向 逐 步 向 系 统 内 部 移 动 ， 直 至 遇 到不 能 被 看 作 是 系 统 输 出 的 数 据 流 为 止 ， 则 该 数 据 流 之 后 的 部 分 即 为 系 统 的 输 出 ； 夹 在输 入 和 输 出 之 间 的 部 分 就 是 系 统 的 变 换 中 心 。 图4.11 进 行了 边界 划分 的工 资计 算系 统数 据流 图 奖金发放表缺勤扣款表 工资档案F2 应发工资表所得税扣款后勤部门 水电扣款表 工资清单F3实发工资表 工资条 职工打印工资清单职工个人工资账号清单F4 查找职工银行工资账号实发工资 银行工资存款清单账号 计算出勤奖奖惩条例F1统计出勤、请假及旷工时数人事部门 出勤表业绩表 计算缺勤扣款计算业绩奖 业绩奖 出勤奖出勤时数请假及旷工时数 基本工资计算各项基本数据之和 计算应发工资 生成工资存款清单 计算所得税 计算各项奖金之和计算实发工资 B 完 成 第 一 级 分 解 ， 设 计 系 统 的 上 层 模 块 。 这 一 步 主 要 是 确 定 软 件 结 构 的 顶 层 和 第 一 层 。 任 何 系 统 的 顶 层 都 只 含 一 个 用 于 控制 的 主 模 块 。 变 换 型 数 据 流 图 对 应 的 软 件 结 构 的 第 一 层 一 般 由 输 入 、 变 换 和 输 出 三 种模 块 组 成 。 系 统 中 的 每 个 逻 辑 输 入 对 应 一 个 输 入 模 块 ， 完 成 为 主 模 块 提 供 数 据 的 功 能 ；每 一 个 逻 辑 输 出 对 应 一 个 输 出 模 块 ， 完 成 为 主 模 块 输 出 数 据 的 功 能 ； 变 换 中 心 对 应 一个 变 换 模 块 ， 完 成 将 系 统 的 逻 辑 输 入 转 换 为 逻 辑 输 出 的 功 能 。 工 资 计 算 系 统 的 一 级 分解 结 果 如 图 4.12所 示 。 工资计算系统取得基本数据 计算工资 输出计算结果图 4.12 工 资 计 算 系 统 的 一 级 分 解 C 完 成 第 二 级 分 解 ， 设 计 输 入 、 变 换 中 心 和 输 出 部 分 的 中 、 下 层 模 块 。 这 一 步 主 要 是 对 上 一 步 确 定 的 软 件 结 构 进 行 逐 层 细 化 ， 为 每 一 个 输 入 、 输 出 模 块及 变 换 模 块 设 计 下 属 模 块 。 通 常 ， 一 个 输 入 模 块 应 包 括 用 于 接 收 数 据 和 转 换 数 据 (将接 收 的 数 据 转 换 成 下 级 模 块 所 需 的 形 式 )的 两 个 下 属 模 块 ； 一 个 输 出 模 块 应 包 括 用 于转 换 数 据 (将 上 级 模 块 的 处 理 结 果 转 换 成 输 出 所 需 的 形 式 )和 传 出 数 据 的 两 个 下 属 模 块 ；变 换 模 块 的 分 解 一 般 应 根 据 变 换 中 心 的 组 成 情 况 及 模 块 分 解 的 原 则 来 确 定 下 属 模 块 。完 成 二 级 分 解 后 ， 工 资 计 算 系 统 的 软 件 结 构 如 图 4.13所 示 。 图 4.13 完 成 二 级 分 解 后 的 工 资 计 算 系 统 软 件 结 构取得水电扣款 计算出勤奖、缺勤扣款 计算业绩奖 计算基本工资读水电扣款表 读考勤表 读业绩表 读工资档案取得基本数据 计算应发工资 计算实发工资计算奖金之和 计算所得税计算工资 生成工资存款清单查找职工银行工资账号 打印工资清单工资计算系统 输出计算结果 （ 2） 事 务 分 析 设 计图 4.14 进 行 了 边 界 划 分 的 事 务 型 数 据 流 图 A E GB C I J KH接收路径 事务中心 F 加工路径 2加工路径 1 A 划 分 边 界 ， 明 确 数 据 流 图 中 的 接 收 路 径 、 事 务 中 心 和 加 工 路 径 。 事 务 中 心 在 数 据 流 图 中 位 于 多 条 加 工 路 径 的 起 点 ， 经 过 事 务 中 心 的 数 据 流 被 分解 为 多 个 发 散 的 数 据 流 ， 根 据 这 个 特 征 很 容 易 在 图 中 找 到 系 统 的 事 务 中 心 。 向 事 务中 心 提 供 数 据 的 路 径 是 系 统 的 接 收 路 径 ， 而 从 事 务 中 心 引 出 的 所 有 路 径 都 是 系 统 的加 工 路 径 ， 如 图 4.14中 对 数 据 流 图 的 划 分 。 每 条 加 工 路 径 都 具 有 自 己 的 结 构 特 征 ，可 能 为 变 换 型 ， 也 可 能 为 事 务 型 。 如 图 4.14中 ， 路 径 1为 变 换 型 ， 路 径 2为 事 务 型 。 B 建 立 事 务 型 结 构 的 上 层 模 块 。 事 务 型 流 图 对 应 的 软 件 结 构 的 顶 层 只 有 一 个 由 事 务 中 心 映 射 得 到 的 总 控 模 块 ；总 控 模 块 有 两 个 下 级 模 块 ， 分 别 是 由 接 收 路 径 映 射 得 到 的 接 收 模 块 和 由 全 部 加 工 路径 映 射 得 到 的 调 度 模 块 。 接 收 模 块 负 责 接 收 系 统 处 理 所 需 的 数 据 ， 调 度 模 块 负 责 控制 下 层 的 所 有 加 工 模 块 。 两 个 模 块 共 同 构 成 了 事 务 型 软 件 结 构 的 第 一 层 。 图 4.14中 ，事 务 型 数 据 流 图 映 射 得 到 的 上 层 软 件 结 构 如 图 4.15所 示 。 图 4.15总控接收 调度 C 分 解 、 细 化 接 收 路 径 和 加 工 路 径 ， 得 到 事 务 型 结 构 的 下 层 模 块 。 由 于 接 收 路 径 通 常 都 具 有 变 换 型 的 特 性 ， 因 此 对 事 务 型 结 构 接 收 模 块 的