面向业务的动态任务分配工作模型定义

面向业务的动态任务分配工作模型定义
李 春 芳１ ， 徐 建 军２
（ １． 长 沙 理工大学 计算机与通信工程学院 ， 湖 南 长 沙 ４ １ ０ ０ ０ ４； ） ２． 国 防 科 技 大学 计算机学院 ， 湖 南 长 沙 ４ １ ０ ０ ７ ３
摘 要 ： 为解决 面 向 业 务 的 完 整 动态 任 务 分 配 工 作 模 型 缺 失 以 及 组成 内 容 之 间 工 作 关 系 语 义 不 清 晰 的 问 题 ， 提 出 策 略 优 先 的 动态 任 务 分 配 工 作 模 型 Ｓ ＴＡＷＭ。 利 用 集 合 论 的 描 述 语 言 ， 形 式 化 定 义 Ｓ ＴＡＷＭ 各 构 件 内 容 、 工 作 关 系 及 执 行 算 －Ｄ －Ｄ 法 ， 为 面 向 业 务 的通用 动态 任 务 分 配 系统 构 建 奠 定 基础 。 通过 相应 模 型 在 银 行信 贷 审 批 过程的 具体 案 例 表明其 应 用方法 。 关键词 ： 面 向 业 务 ； 完 整 动态 任 务 分 配 工 作 模 型 ； 策略 优 先 ；Ｓ ＴＡＷＭ； 形式化 方法 ； 构 件 －Ｄ ）０ 中图法分类号 ： Ｔ Ｐ ３ ９ １ ． ８ 文献标识号 ：Ａ 文章编号 ： ０ ０ ０ ０ ２ ４（ ２ ０ １ ４ ８ ９ ６ ０ ５ １ ７ ２ ０ － － －
０ 引 言
任务分配是 许 多 应 用 系 统 中 必 须 解 决 的 问 题 。 以 往 很 多应用系统只完 成 了 将 任 务 分 配 给 合 法 用 户 的 内 容 ， 从 而 避免非法用户使 用 系 统 的 问 题 。 然 而 这 种 解 决 方 法 通 常 只 能应对静态的人 力 资 源 和 执 行 过 程 组 成 ， 通 常 称 之 为 静 态 任务分 配 。 现 今 ， 人 力 资 源 结 构 与 内 容 在 不 断 发 生 变 化 ， 执行过程也在随 着 业 务 流 程 的 发 展 与 整 合 而 不 断 更 新 ， 因 此亟需动态的任务 分 配 方 法 解 决 员 工 与 任 务 的 执 行 与 评 价
Ｄ ｏ ｅ ｆ ｉ ｎ ｉ ｔ ｉ ｏ ｎ ｆ ｏ ｒ ｂ ｕ ｓ ｉ ｎ ｅ ｓ ｓ ｒ ｉ ｅ ｎ ｔ ｅ ｄ ｄ ｎ ａ ｍ ｉ ｃ ｔ ａ ｓ ｋ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｗ ｏ ｒ ｋ ｍ ｏ ｄ ｅ ｌ － ｙ
１ ２ ＸＵ ｕ Ｌ ｆ Ｉ Ｃ ｈ ｕ ｎ ａ ｎ Ｊ ｉ ａ ｎ ｎ － － ｊ ｇ，
２ ０ １ ４年８月 第３ ５卷 第８期
计算机工程与设计
ＯＭＰ ＵＴ Ｅ Ｒ Ｅ ＮＧ Ｉ Ｎ Ｅ Ｅ Ｒ Ｉ ＮＧ ＡＮ Ｄ Ｄ Ｅ Ｓ Ｉ ＧＮ Ｃ
Ａ ｕ ． ２ ０ １ ４ ｇ ｏ ． ８ Ｖ ｏ ｌ ． ３ ５ Ｎ

１］ 。 到目前 为 止 ， 国 内 外 学 者 对 动 态 任 务 分 配 的 研 究 关系 ［
务分配工作 模 型 ， 并 给 出 其 形 式 化 定 义 ， 以 规 范 与 约 束 实 际的动态任务分 配 系 统 开 发 。 最 后 通 过 一 个 实 践 案 例 表 明 该工作模型的应用方法 。
（ ， ， １． Ｃ ｈ ａ ｎ ｓ ｈ ａ ｏ ｆ Ｓ ｃ ｉ ｅ ｎ ｃ ｅ ａ ｎ ｄ Ｔ ｅ ｃ ｈ ｎ ｏ ｌ ｏ Ｃ ｈ ａ ｎ ｓ ｈ ａ Ｕ ｎ ｉ ｖ ｅ ｒ ｓ ｉ ｔ Ｓ ｃ ｈ ｏ ｏ ｌ ｏ ｆ Ｃ ｏ ｍ ｕ ｔ ｅ ｒ ａ ｎ ｄ Ｃ ｏ ｍｍ ｕ ｎ ｉ ｃ ａ ｔ ｉ ｏ ｎ Ｅ ｎ ｉ ｎ ｅ ｅ ｒ ｉ ｎ ｇ ｇ ｙ ｇ ｙ ｐ ｇ ｇ ， ） ； ，Ｎ Ｃ ｈ ａ ｎ ｓ ｈ ａ ４ １ ０ ０ ７ ３， Ｃ ｈ ｉ ｎ ａ ｏ ｆ Ｄ ｅ ｆ ｅ ｎ ｓ ｅ Ｔ ｅ ｃ ｈ ｎ ｏ ｌ ｏ ４ １ ０ ０ ０ ４， Ｃ ｈ ｉ ｎ ａ ２． Ｓ ｃ ｈ ｏ ｏ ｌ ｏ ｆ Ｃ ｏ ｍ ｕ ｔ ｅ ｒ ａ ｔ ｉ ｏ ｎ ａ ｌ Ｕ ｎ ｉ ｖ ｅ ｒ ｓ ｉ ｔ ｇ ｇ ｙ ｐ ｙ
第３ ５卷 第８期
李 春 芳 ， 徐 建 军 ：面 向 业 务 的 动态 任 务 分 配 工 作 模 型 定 义
·２ １· ９ ６
多个任务分配方 案 最 终 选 择 确 立 的 任 务 执 行 者 ， 一 般 情 况 下 ， 该内容不会 被 变 更 ， 如 果 因 为 特 殊 原 因 导 致 其 不 能 实 际完成任 务 ， 则 需 要 将 该 任 务 重 新 推 进 任 务 分 配 系 统 中 ， 重新生成相应的参与者 、 候选者以及执行者内容 。 根据长期的实 际 工 作 流 应 用 的 研 究 以 及 相 关 文 献 的 参 考 ， 可将工作流中的动态任务分配结构定义为以下几种 ： （ ） 动态组 织 机 构 。 所 谓 动 态 组 织 结 构 是 指 与 任 务 分 １ 配对象关联的组 织 机 构 实 体 约 束 内 容 是 发 生 变 化 的 。 任 务 分配对象约束定义 了 可 能 执 行 任 务 的 人 员 必 须 具 备 的 基 本 条件 ， 其内容 可 由 相 关 人 员 所 具 备 的 角 色 、 权 限 、 职 位 以 及组织 单 元 定 义 ， 也 可 能 与 相 关 人 员 具 备 的 技 能 、 团 队 、 负载 、 兴趣度来 定 义 。 需 要 相 应 的 动 态 组 织 机 构 定 义 来 支 撑相应的动态任 务 分 配 对 象 选 择 。 动 态 组 织 机 构 对 动 态 任 务分配过程的影响往往在参与者的选择上 。 （ ） 任务选 择 执 行 方 式 。 所 谓 任 务 选 择 执 行 方 式 指 的 ２ 是根据实际业务 流 程 工 作 模 式 的 定 义 ， 参 与 者 是 否 可 以 主 动选择任务执行 的 模 式 。 目 前 任 务 选 择 执 行 方 式 大 体 分 推 （ ） 和拉 （ ）２ 种 。 其 中 推 方 式 指 相 应 的 参 与 者 不 ｕ ｓ ｈ ｌ ｌ ｕ ｐ ｐ 具备选择任务执 行 的 能 力 ， 而 由 系 统 直 接 将 相 应 任 务 推 给 符合任务执 行 条 件 的 对 象 ； 在 推 的 过 程 中 ， 可 定 义 系 统 选 择的依据从而定 义 参 与 者 集 合 到 候 选 者 集 合 的 转 换 。 如 医 院医生的病人看诊与病人住院治 疗 、 学 校 的 课 程 教 学 工 作 、 工厂订单分配就 属 于 推 模 式 。 拉 模 式 则 允 许 符 合 任 务 执 行 条件的参与者根 据 自 己 的 意 愿 选 择 相 应 的 任 务 来 执 行 ， 从
１ 工作流内的动态任务分配内容结wenku.baidu.com描述
在动态任务 分 配 的 执 行 过 程 中 ， 无 论 相 关 内 容 如 何 复 杂 ， 实际上任 务 分 配 产 生 的 过 程 与 结 果 与 ３ 类 角 色 有 关 ， 它们分别是 参 与 者 、 候 选 者 以 及 任 务 执 行 者 。 所 谓 参 与 者 ） 指的是 整 个 动 态 任 务 分 配 过 程 伊 始 确 立 的 大 （ ｒ ｔ ｉ ｃ ｉ ａ ｎ ｔ ａ ｐ ｐ 概任务分配范围 ， 以 便 将 某 些 不 符 合 任 务 执 行 需 求 的 人 员 直接排除在分配对象 之 外 ， 或 者 确 立 基 本 的 分 配 单 元 （ 如 ， 该群体为任务 执 行 者 的 基 础 选 择 对 象 。 所 团队或角色等 ） ）指的 是 在 参 与 者 中 有 意 愿 参 与 任 务 谓候选者 （ ｃ ａ ｎ ｄ ｉ ｄ ａ ｔ ｅ 执行的人员 ， 他 们 可 能 是 最 终 任 务 执 行 者 ， 但 是 还 需 要 根 据任务分配工作 推 进 的 机 制 来 决 定 ， 而 每 个 候 选 者 都 其 可 ）是指根据 能执行的任务列表内容 。 所谓执行 者 （ ｅ ｘ ｅ ｃ ｕ ｔ ｏ ｒ
：ｂ ； ； ； ； ｅ ｗ ｏ ｒ ｄ ｓ ｕ ｓ ｉ ｎ ｅ ｓ ｓ ｒ ｉ ｅ ｎ ｔ ｅ ｄ ｃ ｏ ｍ ｌ ｅ ｔ ｅ ｄ ｎ ａ ｍ ｉ ｃ ｔ ａ ｓ ｋ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｗ ｏ ｒ ｋ ｍ ｏ ｄ ｅ ｌ ｓ ｔ ｒ ａ ｔ ｅ ｉ ｒ ｓ ｔ Ｓ Ｔ Ａ ＷＭ ； ｆ ｏ ｒ ｍ ａ ｌ ｉ ｚ ａ ｔ ｉ ｏ ｎ ｃ ｏ ｍ ｏ ｎ ｅ ｎ ｔ ｓ Ｋ ｏ ｆ － － －Ｄ ｐ ｙ ｇ ｙ ｐ ｙ
； 修订日期 ：２ 收稿日期 ：２ ０ １ ３ ０ ０ ０ １ ３ ２ ９ １ １ １ １ － － － － ） 基金项目 ： 湖南省科技计划基金项目 （ ０ １ ０ ＧＫ ３ ０ ６ ８ ２
， 女 ， 湖南永州人 ， 硕士 ， 讲师 ， 研究 方 向 为 分 布 式 数 据 库 、 工 作 流 技 术 等 ； 徐 建 军 （ ， 男， 安 徽 黄 山 作者简介 ： 李春芳 （ ９ ７ ５ ９ ８ ０ １ １ －） －） ： 人 ， 博士 ， 讲师 ， 研究方向为软件工程 、 工作流技术等 。Ｅ－ｍ ａ ｉ ｌ １ ２ ５ ０ ０ ２ ７ ０ ８＠ｑ ． ｃ ｏ ｍ ｑ
主要集中于在特定 领 域 的 任 务 分 配 算 法 以 及 动 态 任 务 分 配
］ ０ １ １ － ，它们的工作为动态任务分 配 系 统 的相关组 成 内 容 上 ［
奠定了一定 基 础 。 然 而 ， 现 急 需 在 统 一 动 态 任 务 分 配 工 作 模型基础上建设基 于 不 同 企 业 与 行 业 的 实 际 动 态 任 务 分 配 系统 。 本文在对动态任务分配内容 进 行 充 分 研 究 的 基 础 上 ， 基于策略优先的动 态 任 务 分 配 策 略 提 出 了 一 个 通 用 动 态 任
：Ｔ Ａ ｂ ｓ ｔ ｒ ａ ｃ ｔ ｏ ｏ ｓ ｏ ｌ ｖ ｅ ｔ ｈ ｅ ｄ ｅ ｆ ｉ ｃ ｉ ｅ ｎ ｃ ｏ ｆ ｔ ｈ ｅ ｃ ｏ ｍ ｌ ｅ ｔ ｅ ｂ ｕ ｓ ｉ ｎ ｅ ｓ ｓ ｒ ｉ ｅ ｎ ｔ ｅ ｄ ｄ ｎ ａ ｍ ｉ ｃ ｔ ａ ｓ ｋ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｗ ｏ ｒ ｋ ｍ ｏ ｄ ｅ ｌ ａ ｎ ｄ ｔ ｈ ｅ ｕ ｎ ｃ ｌ ａ ｒ ｉ ｔ ｏ ｆ － ｙ ｐ ｙ ｙ ’ ， ｆ ｒ ｏ ｉ ｒ ｓ ｔ ｄ ｎ ａ ｍ ｉ ｃ ｔ ａ ｓ ｋ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｗ ｏ ｒ ｋ ｍ ｏ ｄ ｅ ｌ Ｓ Ｔ ＡＷＭ ｗ ａ ｓ ｗ ｏ ｒ ｋ ｉ ｎ ｒ ｅ ｌ ａ ｔ ｉ ｏ ｎ ｓ ｈ ｉ ｓ ａ ｍ ｏ ｎ ｔ ｈ ｅ ｍ ｏ ｄ ｅ ｌ ｓ ｃ ｏ ｎ ｓ ｔ ｉ ｔ ｕ ｔ ｉ ｏ ｎ ｓ ａ ｓ ｔ ｒ ａ ｔ ｅ － －Ｄ － ｐ ｙ ｇ ｐ ｇ ｇ ｙ ， ，ｒ ｏ ｓ ｅ ｄ ．Ｕ ｓ ｉ ｎ ｔ ｈ ｅ ｍ ａ ｔ ｈ ｅ ｍ ａ ｔ ｉ ｃ ａ ｌ ｓ ｅ ｔ ｔ ｈ ｅ ｏ ｒ ｔ ｈ ｅ ｃ ｏ ｍ ｏ ｎ ｅ ｎ ｔ ｓ ｅ ｌ ａ ｔ ｉ ｏ ｎ ｓ ｈ ｉ ｓ ａ ｎ ｄ ｅ ｘ ｅ ｃ ｕ ｔ ｉ ｎ ａ ｌ ｏ ｒ ｉ ｔ ｈ ｍ ｓ ｏ ｆ ｔ ｈ ｅ ｗ ｏ ｒ ｋ ｍ ｏ ｄ ｅ ｌ Ｓ － ｐ ｇ ｙ ｐ ｐ ｇ ｇ ， Ｄ ｒ ａ ｃ ｔ ｉ ｃ ｅ ｏ ｆ ｔ ｈ ｅ ｕ ｎ ｉ ｖ ｅ ｒ ｓ ａ ｌ ｔ ａ ｓ ｋ ａ ｌ ｌ ｏ ｃ ａ ｔ ｉ ｏ ｎ ｓ ｓ ｔ ｅ ｍ ｗ ａ ｓ ｂ ｕ ｉ ｌ ｔ ． Ｔ ＡＷＭ ｗ ｅ ｒ ｅ ｆ ｏ ｒ ｍ ａ ｌ ｉ ｚ ｅ ｄ ａ ｎ ｄ ａ ｆ ｏ ｕ ｎ ｄ ａ ｔ ｉ ｏ ｎ ｆ ｏ ｒ ｔ ｈ ｅ ｒ ｅ ｓ ｅ ａ ｒ ｃ ｈ ａ ｎ ｄ ｔ ｈ ｅ ｐ ｙ ｒ ｏ ｖ ｉ ｄ ｅ ｄ ｔ ｏ ｉ ｌ ｌ ｕ ｓ ｔ ｒ ａ ｔ ｅ ｔ ｈ ｅ ｕ ｓ ｅ ｏ ｆ ｔ ｈ ｅ ｗ ｏ ｒ ｋ ｍ ｏ ｄ ｅ ｌ ． Ｔ ｈ ｅ ｎ ｃ ａ ｓ ｅ ｓ ｕ ｓ ｅ ｄ ｉ ｎ ｔ ｈ ｅ ａ ｒ ｏ ｖ ｉ ｎ ａ ｎ ｄ ｅ ｘ ａ ｍ ｉ ｎ ｉ ｎ ｒ ｏ ｃ ｅ ｓ ｓ ｆ ｏ ｒ ｔ ｈ ｅ ｂ ａ ｎ ｋ ｃ ｒ ｅ ｄ ｉ ｔ ｗ ｅ ｒ ｅ ｐ ｐ ｐ ｇ ｇ ｐ