Ａｂｓｒ ｃ Ｗｏ ｋｌ ｗ ｅ ｈ ｏｏ ｙ ｉ ｅ ｏ ｉ ｌｍｅ ｔｔ ｅ ａ ｔｍａｉｎ ｏ ｕｓｎ ｓ ｒ ｃ ｓ ｅ ． ｒ ｆｏ ｒｏ — ｔ ａ ｔ： ｒ ｆｏ ｔｃ ｎ ｌ ｇ ｓｕｓ ｄ ｔ ｍｐ ｅ ｎ ｈ ｕ ｏ ｔｏ ｆｂ ｉ ｅ ｓｐ ｏ ｅ ｓ ｓ Ｗｏ ｋ ｗ ｄ ｌ ｏ ｅｉ ｇ ａ ｅ ｆ ｒ ｎ ｔ ｏ ｓｓ ｏ ｌ ｄ ｐ ｏ ｓ ｃｆｃ ｃ ｒ ｃ ｅ ｓｉｓ ｏ ｕｓｎｅ ｓｐ ｏ ｅ ｓ ｓ Ｍｏ ｅ ｓｒ ｉｈｔ ｌｎ ｎｄ ｐ ｒｏ ｍｉ ｇ ｍｅｈ ｄ ｈ ｕ ｄ ａ ａ ｔｔ ｐｅ ｉ ｈａ ａ ｔｒ ｔｃ ｆｂ ｉ ｓ ｒ ｃ ｓ ｅ ． ｒ ｔａｇ － ｉ ｉ ｆｒ ｒ ｎ ｆｅ ｔ ｅ ｍｏ ｅ ｉ ｇ ｍｅ ｈ ｄ ｎｄ ｃ ｒｅ ｅ ｓ ｒ ｏ ｏ ｗａ ｄ ａ ｄ ｅ ｆｃ ｉ ｄ ｌｎ ｔ ｏ ｓ ａ ｏ ｒ ｓ ｏ ｉ ｇ ｃ ｎ ｒ ｔ ｅｆ ｒ ｎｇ ｍｅｈｏ ｓ ａ ｅ ｎ ｃ ｓ ａｙ ｆ ｒ ｖ ｍ ｂ ｓｎ ｓ ｒ ｃ ｓｅ ｔ ａ ｇ ｃ ｌ ｆｃ ｍｐ ｅ ｏ ｄ ｔｏ ａ ｅ ｏ ｉ ｇ ｌｇｃ． ｗｏ ｋ ｏ ｍｏ ｅ ｉ ｇ ａ ｄ ｐ ｒ ｕ ｉ ｅ ｓｐ ｏ ｅ ｓ ｓｗｉ ｌｒ ｅ ｓ ａ ｅ ｏ ｏ ｌ ｘ ｃ ｎ ｉｉｎ ｌｐ ｒ ｒ ｎ ｏ ｉ Ａ ｒ ｆ ｗ ｄ ｌｎ ｎ ｅ － ｈ ｆ ｍ ｌ ｆｒ ｎ ｔ ｏ ｓｔ ｅ ｅｏ ｅ ｐ ｏ ｏ ｅ ｎ ｈ ｓ ｐ ｐ ｒｂａ ｅ ｎ ｔｅ ｖｒｕａ ｃｉ ｉ ｒ ｎ ｆｒ ｔ ｎ． ｅ ｗｏ ｋ ｏ ｍｉ ｇ ｍｅｈ ｄ ｉ ｈ ｒｆ ｒ ｒ ｐ ｓ ｄ ｉ ｔ ｉ ａ ｅ ｓ ｄ ｏ ｈ ｉｔ ｌａ ｔｖｔ ｔａ ｓｏ ｍａｉ Ｔｈ ｒ — ｙ ｏ ｌ ｗ ｓ ｄ ｆ ｄ ａ ｕｉｔ ｌ ｍ ｗｈ ｒ ｈ ｏ ｃ ｅ ｅ ｐ ｒ ｒ ｎ ｏ ｉ ｍｏ ｃｉｉｉｓ ｉ ｒ ｓ ｎ ｅ ｙ ｆｏ ｉ ｅ ｎｅ ｓａ ｑ ｎ ｕｐｅ ｆｒ ， ｅ ｅ ｔ ｅ ｃ ｎ ｒ ｔ ｅ ｏ ｉ ｇ ｌｇｃ ａ ｎｇ ａ ｔｖｔｅ ｓ ｐ ｅ ｅ ｔ ｄ ｂ ｉ ｏ ｆ ｍ
ｔ ｅ ｐ ｏ ｅ ｓａ ｇ ｂ ａ ｅ ｐ ｅ ｓｏ ． ｖ ｎ ａ ｐ ｏ ｅ ｓ ａｇ ｂ ａｅ ｐ ｅ ｓ ｎ ｔ ｅ ｃ ｒｅ ｐ ｎ ｉ ｇ ｂ ｎ ｒ ｒｅ ｃ ｕ ｄ ｂ ｈ ｒ ｃ ｓ ｌｅ ｒ ｘ ｒ ｓｉｎ Ｇｉｅ ｒ ｃ ｓ ｌｅ ｒ ｘ ｒ ｓｉ ，ｈ ｏｒ ｓ ｏ ｄ ｎ ｉ ａ ｔ ｏ ｌ ｅ ｏ ｙ ｅ ｃ ｎ ｔｕ ｔ ｄ ｔｒ ｕ ｈ ｔ ｅ ｐ ｏ ｉ ｅ ｌｏ ｔ ｍ． ａ ｅ ｎ ｔｅ ｂ ｎ ｒ ｒ ｅ ｔ ｅ ｒ ａ ｈ ｂ ｅ ｒ ｌｔ ｎ ｈ ｐ ｃ ｅ ｋ ｎ ｏ ｓ ｃｅ ｈ ｏ ｇ ｈ ｒ ｖ ｄ ｄ ａ ｇ ｒ ｈ Ｂ ｓ ｄ ｏ ｈ ｉ ａ ｔ ，ｈ ｅ ｃ ａ ｌ ｅ ａｉ ｓ ｉ ｈ ｃ ｉ ｇ ｒ ｉ ｙ ｅ ｏ ａｇ ｒ ｈ ｒ ｌ ｖ ｎ ｏ ｔ ｅ ｓ ｅ ｉｌ ｗ ｒ ｆ ｗ ｒ ａ ｏ ａ ｉ ｔ ｅ ｉ ｃ ｔ ｎ ｉ ｐ ｏ ｏ ｅ ． ｒ ｏ ｅ ，ｈ ｙ ａ ｃ ｌ ｏ ｔ ｍ ｅｅ ａ ｔｔ ｈ ｐ ｃａ ｏ ｋ ｏ ｅ ｓ ｎ ｂ ｌ ｙ ｖ ｒ ａｉ ｓ ｒ ｐ ｓ ｄ Ｍｏｅ ｖ ｒ ｔｅ ｄ ｎ ｍｉ ｉ ｌ ｉ ｉ ｆ ｏ
特征相 适应。对具有较 大规模 复杂选择执行逻辑 的一 类业务过程 而言， 需要针 对性地研 究更加 简洁有效 的建模 方 法并提 供具体的执行方法。为此 ， 本文提 出以虚 活动封装 复杂选择执 行逻辑 的工作 流预 定 义方法 ， 并给 出算法 以
构 造 与 工 作 流 相 对 应 的 二 叉树 并 基 于二 叉树 形 式 完 成 工作 流 的特 殊 合 理 性 验 证 。 此 外 ， 基 于 工 作 流 的 满 二 叉 树 还
第３ １卷 第 ５期 ２１年 １ ０ １ ０月
南 京 邮 电 大 学 学 报 （ 自 然 科 学 版 ） Ｊｕｎｌ ｆ ａｊ ｇＵ ｉ ｒ ｔ ｏ ｏｔ ａｄＴｌｃｍｍ ｎｃｔｎ （ ａｕａ Ｓ ｉ ｃ ） ｏｒａ ｏ ｎｉ ｎ ｅｓｙ ｆ ｓ ｎ ｅ ｏ ｕ ｉ ｉ ｓ Ｎ ｔｒｌ ｃ ｎｅ Ｎ ｎ ｖ ｉ Ｐ ｓ ｅ ａｏ ｅ
ＬＩ Ｘｉｐｎ Ｗ Ｕ ｉ－ａ ＺＯＵ ｉｑａ ｇ Ｕ － ｉ ｇ， Ｊａ ｇ ｏ， Ｚｈ－ ｉｎ
（ ｏ ｅｅｏ ｏ ｐ ｔｒＮ ｍｉｇＵ ｉｅ ｉ ｆ ｏｔａ ｄＴ １ ０ ｕ ｉａｏｓＮ ｍｉｇ２０ ４ ， ｈｎ ） Ｃ ｌ ｇ ｆ ｍ ｕｅ， ａ ｎ ｎｖｒｔ ｏ ｓ ｎ ｅ ｃｍｍ ｎｃｔｎ ， ａ ｎ １０ ６ Ｃ ｉａ ｌ Ｃ ｓｙ Ｐ ｓ ｅ ｉ
Ｖｏ ． １ Ｎｏ ５ １３ ． Ｏｃ ． ２ １ ｔ ０ １
基 于虚 活 动 转 化 的工 作 流 建 模 及 执行 方 法
刘茜萍 ， 吴家皋 ， 邹志强
（ 南京 邮电大学 计算机学 院， 江苏 南京 ２ ０４ ） １０６
摘
要： 工作流是一种 用以组 织业务过程 自动有序开展 的技 术手段 ， 建模 及执行 方法应 与其所 面向的业务过 程 其
形式提 出动 态建模和执行算法 以便 于引擎 自动控制预 定义合理 工作流 的执 行。最后通过 一个 实例 验证 了本文 方
法 的有效性 。
关 键 词 ： 作 流 ； 模 ； 行 ； 活 动 ； 程 代 数 工 建 执 虚 进 中 图分 类号 ：Ｐ０ Ｔ３２ 文 献 标 识 码 ： Ａ 文 章 编 号 ：６ ３５ ３ （０ １０ －０６ ７ １７ － ９ ２ １ ） ５ ６ － ４ ０ ０
Ａ ｏ ｋ ｏ Ｍ ｏ ｅｉ ｎ ｒ ｏ ｍ ｉ ｅ ｈ ｄ Ｂａ ｅ ｎ ｔ ｅ Ｗ ｒ ｆ ｗ ｌ ｄｌ ｎｇ ａ ｄ Ｐｅ ｆ ｒ ｎｇ Ｍ ｔ ｏ ｓ ｄ ｏ ｈ Ｖｉ ｔ ａ ｔｖ ｔ ａ ｓｏ ｍ ａ ｉ ｎ ｒ ｕ ｌＡｃ ｉ ｉｙ Ｔｒ ｎ ｆ ｒ ｔｏ