PDF 下载 - 中国信息安全产品测评认证中心

有 志 向 的 软 件 创 新 企 业 , 应 当 抓 住 研 发 支 持 代 理 或 多 代 理 概 念 的 多 代 理 网 格 操 作 系 统 ,
抓 住 又 一 次 产 生 一 个 新 的 “ 微 软 公 司 ” 的 发 展 机 遇 。
4.5 代 理 程 序 设 计 与 代 理 软 件 工 程 理 论
代 理 程 序 设 计 起 初 是 比 较 简 单 的 , 代 理 通 常 是 软 件 代 理 , 是 孤 立 的 简 单 代 理 软 件 系 统 。
例 如 黑 客 开 发 的 简 单 的 攻 击 软 件 、 特 洛 伊 木 马 软 件 和 计 算 机 病 毒 软 件 等 。 另 外 , 还 包 括 数 据
采 集 软 件 等 。
面 向 代 理 的 程 序 设 计 (AOP) 是 面 向 模 式 的 程 序 设 计 。 面 向 模 式 的 程 序 设 计 , 从 应 用
模 式 出 发 , 尤 其 是 从 分 布 式 并 发 应 用 模 式 出 发 , 依 照 模 式 框 架 和 相 互 关 系 设 计 体 系 结 构 , 模
式 中 体 系 部 件 其 存 在 的 价 值 全 是 围 绕 模 式 要 求 的 , 其 程 序 设 计 的 特 点 是 始 终 围 绕 模 式 的 概
念 、 框 架 、 部 件 关 系 按 阶 段 求 精 , 细 化 的 。 依 照 这 个 模 式 设 计 概 念 , 设 计 功 能 , 设 计 结 构 ,
设 计 实 现 等 。 这 方 面 最 应 当 注 意 的 成 果 是 OMG 组 织 的 UML 和 MDA。
面 向 代 理 的 程 序 设 计 更 高 级 的 阶 段 是 面 向 有 组 织 群 体 模 式 的 程 序 设 计 。 有 组 织 群 体 模 式
是 指 “ 一 个 狼 群 ”, “ 一 个 数 字 警 察 大 队 ”,“ 税 务 局 ”,“ 商 业 银 行 监 管 组 织 ” 和 “ 一 个 数 字
化 军 ” 等 等 有 组 织 群 体 的 业 务 模 式 。 这 种 应 用 模 式 可 以 是 社 会 性 的 , 协 同 工 作 模 式 的 。 在 设
计 与 实 现 时 , 也 要 紧 紧 围 绕 其 群 体 模 式 实 施 。 有 组 织 群 体 体 系 结 构 , 如 果 再 考 虑 动 态 性 、 可
移 动 性 等 特 性 , 应 当 认 为 群 体 模 式 的 能 力 比 单 一 个 体 系 统 能 力 强 大 得 多 , 高 级 得 多 。 这 方 面
最 应 当 注 意 的 成 果 是 各 种 面 向 代 理 的 建 模 方 法 , 其 中 OMG 组 织 的 Agent –UML 比 较 引 人 注
意 。
面 向 代 理 的 程 序 设 计 是 基 于 面 向 对 象 的 程 序 设 计 的 。 代 理 与 对 象 是 两 个 即 有 联 系 而 又 有
区 别 的 概 念 。 不 要 认 为 有 了 代 理 概 念 , 对 象 概 念 过 时 了 。 对 象 概 念 是 类 型 概 念 的 实 例 概 念 ,
类 型 是 对 具 有 共 同 性 质 的 事 物 集 合 , 有 数 据 对 象 与 在 这 些 对 象 上 的 操 作 集 合 。 类 型 是 这 个 集
合 的 总 称 , 而 对 象 是 这 个 集 合 中 的 一 个 实 体 。 所 以 面 向 对 象 的 本 质 是 面 向 类 型 。 有 人 说 , 对
象 是 静 态 的 , 而 代 理 是 动 态 的 , 这 是 不 确 切 的 。 在 对 象 概 念 中 , 尤 其 把 对 象 概 念 引 入 到 操 作
系 统 之 后 , 一 个 对 象 已 经 可 以 是 一 个 进 程 ( 例 如 , 在 Windows NT 中 , 对 象 概 念 就 包 含 进
程 ), 而 进 程 显 然 是 动 态 概 念 。 把 握 对 象 概 念 和 代 理 概 念 , 最 重 要 的 是 从 它 们 的 定 义 出 发 。
在 这 方 面 ,FIPA 研 究 可 以 被 借 鉴 。
把 握 对 象 概 念 和 代 理 概 念 , 最 重 要 的 是 从 它 们 的 定 义 出 发 。 另 外 ,FIPA 为 面 向 代 理 的
技 术 提 供 了 开 发 者 指 南 , 读 者 可 以 借 鉴 。
代 理 体 系 结 构 主 要 是 研 究 多 代 理 系 统 的 结 构 。 代 理 可 以 划 分 成 管 理 者 (Manager)、 管
理 者 代 理 (Proxy) 和 操 作 代 理 (Agent)。 它 们 之 间 的 连 接 关 系 可 以 如 图 B1.4-1 所 示 , 构 成
星 型 结 构 或 树 型 结 构 。
代 理 技 术 的 发 展 产 生 了 许 多 基 于 代 理 的 系 统 (ABS) 和 平 台 (AOP), 为 了 更 好 开 发 代
理 系 统 , 便 产 生 了 面 向 代 理 软 件 工 程 (AOSE), 其 研 究 的 问 题 包 括 : 代 理 技 术 标 准 化 体 系
建 设 、 开 发 方 法 、 代 理 程 序 设 计 语 言 、 代 理 系 统 的 开 发 平 台 、 代 理 体 系 结 构 、 代 理 通 信 语 言
等 等 。 支 持 基 于 agent 系 统 开 发 的 CASE 工 具 和 环 境 , 包 括 软 件 开 发 包 (Java 类 库 ),Stanford
大 学 一 组 Java 包 , 支 持 开 发 利 用 KQML 进 行 通 讯 的 软 件 agent。 支 持 基 于 agent 系 统 开 发
的 方 法 学 , 包 括 建 模 语 言 和 建 模 过 程 。 自 1995 年 成 为 研 究 热 点 , 取 得 了 不 少 研 究 成 果 , 其
代 表 性 工 作 包 括 :
• Wooldridge 等 人 在 1999 年 提 出 的 支 持 面 向 agent 的 需 求 的 , 称 之 为 GAIA 方 法 学
• 由 Wood 和 DeLoach 在 1999 年 提 出 的 Multiagent System Engineering 方 法 学 。
• 由 Wagner 在 2000 年 提 出 AOR(Agent-Object Relationship) 方 法 学
• 扩 展 OMG 的 UM L 语 言 , 增 加 支 持 面 向 agent 的 建 模 功 能 , 称 之 为 AUML。
77