基于自动机的多租户应用平台的设计与实现.PDF

云计算 与 SaaS 云计算 与 SaaS 基于 自动机的多租户应用平台的设计与实现 杨 正球 ，窦 伟 （北京 邮 电大 学智 能通信 软件 与 多媒 体技 术研 究 中心 北京 100876 ） 摘 要 有 限状 态 自动机是 为研 究 有 限 内存 的计 算 过程 和某 些语 言类 而抽 象 出 的一 种 计 算 模 型 ，它是 具 有 离 散输 入 和输 出系统 的一 种数 学模 型 ，只需 配置业 务 流程 就 可 以实 现 租户所 需 的特定 的业 务 功 能 。 本 文在研 究 SaaS 应 用平 台 、 自动机模 型 、软件 开发形 式 化 、SOA 核 心技 术 的基 础 上 ，提 出 了基 于 自动 机 的多租户应 用平 台 ，并 将 其 划 分 为几个 基 于 自动机 的独立模 块 ，实 现 了业 务 逻 辑 和业 务 数 据 的分 离 ， 解 决 了业 务 逻辑 和安 全操 作 间 的问题 ，运 用灵 活 的结 构组 织 租户 和站 点 。 基 于 自动 机 的多租 户 应 用 平 台 已经初 步完备 ，能够很 好 地 满 足 多租户应 用平 台 的管理 ，并 可作 为 自适 应 的租户 管理模 型 。 关键 词 软 件 即服 务 ； 自动 机 ；租 户 应 用 平 台 式 的数 据 安 全 性 问题 。 将 业 务 交 由租 户 业 务 系 统 管 理 ，将 1 引言 数 据 交 由租 户 管 理 ，将 自动 机 扩 展 出权 限控 制 。 当用 户 使 自动 机 是 基 于有 限计 算 、 离 散 输 入 输 出数 学 模 型 的 ， 用 业 务 时 ， 只需 将 自己保 护 的私 有 数 据 连 接 到 自动 机 ，由 将 功 能 模 块 或 者 子 模 块 拼 装 组 合 就 可 以生 成 用 户 所 需 的 业 务 管 理 系统 将 用 户 定 制 的业 务 注 入 到 自动 机 ，用 户 就 可 特 定 业 务 需 求 。 用 户 对 于 软 件 功 能 的需 求 不 是 千 篇 一 律 以轻 松 使 用 定 制 的业 务 。 的 ，所 以某 些 软 件 的定 制 消 费 了大 量 资 源 ，去 开 发 功 能 相 2 基 于 自动机 的控 制模 型 近 或 相 似 的系统 和 软 件 ，基 于 自动 机 的多 租 户 应 用 平 台很 好 地 解 决 了这 一 问题 。 基 于 自动 机 的软 件 体 系 开 发 将 为 软 有 限状 态 自动 机 是 有 限计 算 的基 本 模 型 ，也 是 许 多 形 件 开 发 流 程 带 来 重 大 变 革 ，程 序 员 面 向 的不 再 是 由用 户 提 式 化 规 格 、验 证 方 法 的基 础 模 型 。 例 如 ，一 个 钟 表 就 是 一 个 出 的需 求 ，而 是 由专 业 人 士 提 供 的原 子 的基 于 整 体 性 的需 有 限状 态 系 统 ，共 有 12×60×60 种 状 态 ，秒 针 每 走 一 步 ，就 求 。 软 件 提 供 商 再 面对 业 务 相 近 的软 件 需 求 时 ，将 不 再 需 从 一 种 状 态 转 移 到 另 外 一 种 状 态 ；饮 料 自动 售 货 机 也 是 一 要 程 序 员 重 新 编 写 代 码