领域需求与业务流程一致性检测的相关技术研究计算机软件与理论专业论文.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