功 能 模 型
功 能 模 型 表 明 , 通 过 计 算 , 从 输 入 数 据 能 得 到 什 么 样 的输 出 数 据 , 不 考 虑 参 加 计 算 的 数 据 按 什 么 时 序 执行。功 能 模 型 由 多 个 数 据 流 图 组 成 , 它 们 指 明 从 外 部 输 入 ,通 过 操 作 和 内 部 存 储 , 直 到 外 部 输 出 , 这 整 个 的 数 据 流 情 况。功 能 模 型 中 所 有 的 数 据 流 图 往 往 形 成 一 个 层 次 结 构 。在 这 个 层 次 结 构 中 , 一 个 数 据 流 图 中 的 过 程 可 以 由 下 一 层 的 数 据 流 图 做 进 一 步 的 说 明 。
基 于 三 个 模 型 的 分 析 过 程
1.功 能 模 型 着 重 于 系 统 内 部 数 据 的 传 送 和 处 理
2.功 能 模 型 定 义 “ 做 什 么 ”
3.动 态 模 型 定 义 ' ' 何 时 做 ”
4.对象模型定义“对谁做”
构 造 00A 概 念 模 型 的 层 次
构 造 和 评 审 00A 概 念 模型 的 顺 序 和 由 五 个 层 次 组 成,这 五 个 层 次 是分 析 过 程 中 的 层 次 。每 个 层 次 的 工 作 都 为 系 统 的 规 格 说 明 增 加 了 一 个 组 成 部 分。这 五 个 层 次 是 : 类 与 对 象 、 属 性 、 服 务 、 结 构 和 主 题
对 象 一 类 层
1. 对 象 一 类 层 , 表示 待 开 发 系 统 的 基 本 构 造 块 。 这 一 层 是 整 个 OOA 模 型 的 基 础 。 问 题 在 于 如 何 建 立 “ 现 实 世 界 中 事 物 “ 的 抽 象 表 示 , 也 就 是 如 何 建 立 基 本 块。
2 信 息 建 模 , 就 是 指 从 现 实 世 界 中 捕 捉 并 抽 象 出 应 用 论 域 的 基 本 结 构 的 过 程 。 这 是 OOA 过 程 中 最 基 本 和 最 关 键 的 活 动 之 一。
属 性 层
对 象 的 属 性 和 实 例 连 接 共 同 组 成 了00A 模 型 的 属 性 层 。
服 务 层
对 象 的 服 务 , 加 上 对 象 实 例 之 间 的 消 息 通 信 , 共 同 组 成 了 OOA 模 型 的 服 务 层 , 消 息 连 接 用 有 向 箭 头 表 示 。
结 构 层
该 层 负 责 捕 捉 特 定 应 用 论 域 中 的 结 构 关 系 。
1 结 构 层 的 一 种 类 型 , 描 绘 出 了 该 系 统 的 整 体 结 构 。
2 , 结 构 层 的 另 一 种 类 型 称 为 一 般 一 特 殊 结 构 或 泛 化 一 特 化 结 构 : 泛 化 一 特 化 结 构 表 明了 类 的 继 承 性
标 识 结 构
面 向 对 象 分 析 的 下 一 步 工 作 是 标 识 结 构 。 典 型 的 结 构 有 两种 :一 般 化 一 特 殊 化 结 构
整 体 一 部 分 结 构
标 识 Gen-spec 结 构 的 方 法 和 策 略
对 于 每 一 个 类 和 对 象 , 将 它 看 作 是 一 个 一 般 化 的 类 , 对 它 的 所 有 特 殊 情 况 ,
考 虑 以 下 问 题 :
它 是 否 在 问 题 论 域 中 ?
它 是 否 在 系 统 的 职 责 内 ?
继 承 性 是 否 存 在 ?
它 是 否 能 够 符 合 选择 类 和 对 象 的标准?
标 识 Whole -part 结 构 的 方 法 和 策 略
应 当 寻 找 什 么
总 体 一 部 分关联 , 如 飞 机 一 发 动 机 之 间 的 关 系
包容 一 内涵 关 联 , 如 飞 机 一 飞 行 员 之 间 的 关 系
收 集 一 成 员 关 联 , 如 机 构 一 职 员 之 间 的 关 系
标 识 属 性
下 一 个 层 次 称 为 属 性 层 , 对 前 面 已 识 别 的 类 和 对 象 做 进 一 步 的 说 明。在 这 里 , 对 象 所 保 存 的 信 息 称 为 它 的 属 性 。
类 的 属 性 所 描 述 的 是 状 态 信 息 , 每 个 实 例 的 属 性 值 表 达 了 该 实 例 的 状 态 值 。
定 义 服 务 的 方 法 和 策 略
找 出 每 一 个 对 象 的 所 有 状 态 , 在 各 种 状 态 需 要 做 的 工 作 。利 用 状 态 迁
移 图 找 出 必 要 的 操 作 。建 立 消 息 连 接
描 述 服 务 : 利 用 状 态 转 换 图 、 脚 本 和 事 件 追 踪 图 , 描 述 服务 的 功 能 。
消 息 连 接 的 标 识
两 个 对 象 之 间 可 能 存 在 着 由 于 通 信 需 要 而 形 成 的 关 系 , 这 称 为 消 息 连
接 。
找 出 消 息 连 接 的 方法 及 策 略 : 对 于 每 一 个 对 象 , 执 行 :
1. 查 询 该 对 象 需 要 哪 些 对 象 的 服 务
2. 查 询 哪 个 对 象 需 要 该 对 象 的 服 务
识 别 主 题
主 题 可 以 看 成 是 高 层 的 模 块 或 子 系 统。对 于 面 向 对 象 分 析 模 型 , 主 题 表 示 此 模 型 的 整 体 框 架。
面 向 对象 设 计 ( OOD )
面 向 对 象 设 计 继 续 做 面 向 对 象 分 析 阶 段 的 工 作 , 建 立 软件 的 结 构 。主 要 工 作 分 为 两 个 阶 段 : 高层设计和类设计。
高 层 设 计
高 层 设 计 阶 段 开 发 系 统 的 结 构 , 即 构 造 应 用 软 件 的 总 体 模 型 。高 层 设 计 阶 段 标 识 在 计 算 机 环 境 中 进 行 问 题 解 决 工 作 所 需 要 的 概 念 , 并 增 加 了 一 批需 要 的 类。
高 层 设 计 应 遵 循 的 原 则
1. 应 使 得 在 子 系 统 的 各 个 高 层 部 件 之 间 的 通 信 量 达 到 最 小 ;
2.子 系 统 应 当 把 那 些 成 组 的 类 打 包 , 形 成 高 度 的 内 聚 ;
3.逻 辑 功 能 分 组 , 提 供 一 个 一 个 单 元 , 识 别 并 定 位 问 题 事 件 ;
问 题 论 域 部 分 是 指 那 些 执 行 基 本 应 用 功 能 的 对 象 。 可 以 将 00A 模 型 当 作 问题 论 域 部 分 的 初 始 版 本 , 逐 步 地 细 化 这 个 初 始 版 本 , 使 其 最 终 能 解 决 实 现 限 制 、 特 性 要 求 、 性 能 缺 陷 等 方 面 的 问 题 。
人 机 交 互 部 分 指 定 了 用 于 系 统 的 某 个 特 定 实 现 的 界 面 技 术 。
任 务 管 理 部 分 则 指 定 了 那 些 创 建 系 统 时 必 须 建 立 的 操 作 系 统 部 分 。
数 据 管 理 部 分 定 义 了 些 与 所 用 数 据 库 技 术 接 口 的 对 象 。
问 题 论 域部 分
问 题 论 域 部 分 包 括 与 应 用 问 题 直 接有 关 的 所 有 类 和 对 象 。识 别和 定 义 这 些 类 和 对 象 的 工 作 在 00A 中已 经 开 始 , 在 OOA 阶 段 得 到 的有 关 应 用 的 概 念 模 型 描 述 了 我 们 要 解 决 的 问 题
用 户 界 面 部 分 的 设 计
在 OOA 阶 段 给 出 了 所 需 的 属 性 和 操 作 , 在 设 计 阶 段 必 须 根 据 需 求 把 交 互 细节 加 入 到 用 户 界 面 设 计 中 , 包 括 人 机 交 互 所 必 需 的 实 际 显 示 和 输 入 。
1. 用 户 分 类 : 按 技 能 层 次 分 类 :
按 组 织 层 次 分 类 :
按 职 能 分 类 :
2 、 描 述 人 及 其 任 务 的 脚 本
对 以 上 定 义 的 每 一 类 用 户 , 列 出 对 以 下 问 题 做 出 的 考 虑: 什 么 人 、 目 的 、 特 点 、 成 功 的 关 键 因 素 、 熟 练 程 度 以 及 任 务 脚 本 。
3 、 设 计 命 令 层 :1.研 究 现 行 的 人 机 交 互 活 动 的 内 容 和 准 则
2.建 立 一 个 初 始 的 命 令 层
3. 细 化 命 令 层 。
4 、 设 计 详 细 的 交互 : 用 户 界 面 设 计 有 若 干 原 则 , 包 括 : 一 致 性 : 采 用 一 致 的 术 语、 一 致 的 步 骤 和 一 致 的 活 动 。操 作 步 骤 少,不 要 “ 哑 播 放 ”。