领域需求与业务流程一致性检测的相关技术研究-计算机软件与理论专不业毕业论文.docxVIP

优秀毕业论文 精品参考文献资料 复 旦 复 旦 人 学 硕 士 研 宄 生 毕 业 论 文 领 域 需 求 与 业 务 流 程 致 性 检 测 的相 关 技 术 研 宂 摘 要 B P M N 是 软 件 开 发 领 域 中较 为 常 用 的 描 述 业 务 流 程 的 建 模 标 准 。在 包 含 业 务 流 程 可 变 性 的 软 件 产 品 线 中 ，基 于 B P M N 的 业 务 流 程 模 板 可 支 持 针 对 领 域 需 求 的业 务 流 程 描 述 ，并 且 能 够 高 效 地 生 成 面 向特 定 应 用 需 求 的业 务 流 程 实 例 。然 而 ， 由于 业 务 流 程 模 版 的 设 计 往 往 是 基 于 设 计 师 的 经 验 ，缺 少 形 式 化 的验 证 方 法 ，因 而 领 域 需 求 与 业 务 流 程 模 板 之 间经 常 存 在 不 一 致 情 况 。 领 域 需求 与 业 务 流 程 模 版 间 的不 一 致 性 通 常有 两 种 情 况 ，一 方 面 是 领 域 需 求 本 身 的缺 陷 ，这 可 能 是 由 于 需 求 分 析 不 足 或 者 分 析 人 员 的疏 忽 所 造 成 的 （例 如 ， 遗 漏 需 求 依 赖 关 系 等 ）； 另 一 方 面 是 业 务 流 程 的 设 计 与 领 域 需 求 的 矛 盾 ，这 通 常 是 由于 设 计 者 对 需 求 理 解 不 足 或 者 设 计 疏 忽 所 造 成 的 （例 如 ，采 用 错 误 的 图 元 元 素 描 述 流 程 )。 针 对 该 问题 ，本 文 提 出一 种 面 向领 域 需 求 与 业 务 流 程 一致 性 的模 型 检 测 方 法 , 该 方 法 首 先 形 式 化 的定 义 了领 域 需 求 ，这 个 过 程 使 用 变 数 线 性 时 态 逻 辑 （F LT L ) 来 抽 取 业 务 流 程 中 需要 验 证 的 流 程 特 性 ；之 后 ，将 B P M N 流 程 实 例 通 过 一 定 的 映 射 规 则 ，转 换 成 有 限 状 态 进 程 公 式 （F S P ) , 该 过 程 能 够将 业 务 流 程 有 效 地 转 换 成 有 限 状 态 自动 机 ，从 而 进 行 验 证 ；然 后 ，使 用 自动 化 模 型 检 测 工 具 发 现 领 域 需 求 与 业 务 流 程 之 间 的 不 一 致 ，这 将 输 出一 个 反 例 （发 生 错 误 的状 态 迁 移 路 径 ） 及 其 所 违 反 的业 务 流 程 特 性 ，并将 这 些 结 果 反 馈 给 相 关 人 员 实 施 修 正 ；最 后 ，本 文 还 讨 论 了不 一 致 性 错 误 在 该 模 型 检 测 方 法 中 的体 现 ，及 相 应 的修 改方 案 。 关 键 词 ：业 务 流 程 建 模 符 号 （B P M N ); 软 件 产 品 线 ；变 数 线 性 时 态 逻 辑 （F LT L ) ; 状 态 进 程 公 式 （F S P ); 分 类 号 ：T P 3 U .5 复 .曰 复 .曰.大 学 硕 上 研 宄 生 毕 业 论 文 领 域 需 求 与 业 务 流 程 ? ?孜 性 检 测 的 祁 关 技 术 研 究 A b s tr a c t B P M N is a b usin ess process m o deling stand ard s com m o nly used in the field of so ftw are d ev elo p m ent. In th e so ftw are p ro d u ct lin e w ith pro cess variab ility, B P M N p ro cess tem p lates su pp ort to d escript busin ess pro cess fro m d om ain req u irem en ts,an d d erive pro cess in stan ce to w ard s p articu lar ap p lication req u irem ents effectiv ely. H ow ev er,th e d esig n o f B P M N p ro cess tem p lates b ased o n th e ex p erien ce o f th e p ro cess d esign ers are lack of v alid ation ,and there alw