一种基于语法的供应链流程定义元模型

严 建 援 李 凯 ， ，张 路
（．南 开大学 商学 院 ， １ 天津 ３０７ ； ．南开 大学 泰达 学院 ， 津 ３０ ７ ） ００ １ ２ 天 ００ １ 摘要 ： 在供 应链 流程 建模 和描 述 的方 法体 系中 ， 法 建模 方 法是 最新 出现 的一 种很 有发 展 潜 语
力的建模语言， 与其它建模方法相比具有 多方面的优越性． 供应链 流程定义语言（ Ｃ Ｄ ， ｐ ＳＰ Ｌｓ ． ｕ ｐｙｃ ａ ｒｃｓ ｅ ｎｔ ｎｌｎｕ ｇ ） 为一种 新 的供应链 流 程建模 方 法 ， 供 应链 流 程 与语 法 ｌ ｈ ｉ ｐｏｅｓｄｆ ｉｏ ｇａ ｅ 作 ｎ ｉ ｉ ａ 是
模 型 的转换 器 ， 它可使供 应链 流 程转 化 为相 应 的语 法模 型 ， 以便 在 系统上 实现 对 流程 的 查询 、
管理等 逻辑 处理 ， 并进 一步 实现 了不 同方 法描述 的供 应链 流程 之 间的便 利转换 ． 过对 流程 定 通
义语 言的深入 研 究 ， 融入 最 新 的过 程语 法建模和 协调 理论 的相 关理 念 ， 出 了一 个基 于语 法 的 提 供 应链 流程 定 义元 模 型． 并在 此基 础 上 采 用 Ｘ （ Ｘ ｅ ｓ ｌ Ｍａｋ ｐＬ ｎ ｕ ｇ ） 其规 则 进行 ＭＬ ｅ ｔ ｉ ｅ ｒｕ ａ ｇａｅ 对 ｎｂ
重写 ， 成 了基 于 Ｘ 形 ＭＬ的供应 链 流程 定 义语 言． 出的 Ｘ Ｃ Ｄ （ Ｌ Ｓ Ｐ Ｌ 模 型 方法 将使 提 Ｓ Ｐ Ｌ ＸＭ Ｃ Ｄ ）
供 应链 管理 的建模 、 管理 和优 化 工具 与供 应 链 流程 引擎之 间 实现相 互转换 ， 并便 于不 同软 件 开
发 商提 供 的流 程模 型在 ｘ ＭＬ的平 台上进 行 快速 交互 ． 关键 词 ： 应链 ； 模 型 ； 法建模 ； 程 定义语 言 （ Ｄ ） Ｘ 供 元 语 流 Ｐ Ｌ ； ＭＬ
要 问题 亟待 解决 ， 就 是 供 应 链 流 程定 义 语 言 的 那 设 计 ． 在 业务 流程 定 义 语 言 的研 究 方 面 ， 作 流 管 工
范 ， ＷＦ 与 ＭＣ 合 作 制 定 业 务 流 程 和 工 作 流 标
准 Ｊ 同 时 应 用 比较 广 泛 的 还 有 Ｏ ． ＭＧ 发 布 的 Ｗｏｋ ｏ ｎ ｇ ｍ ｎ Ｆ ｃｌｙ 这 个 标 准 用 于 定 ｒｆ ｗ Ｍａ ａｅ ｅ ｔ ａｉｔ， ｌ ｉ 义 了如何 将 工 作 流 向 Ｃ Ｒ Ａ转 换 Ｊ 随着 Ｗｅ Ｏ Ｂ ． ｂ
的“ 可繁 殖性 ” 可 以 为我 们 提 供 新 的设 计 过程 就
的办法 ．
种Ｘ ＭＬ格 式 的标 准数 据形式 ， 进而通 过流程 引
语法 的方法 多年前 就 曾用来与 组织过程 相联 系． 一 个 将 语 法 方 法 应 用 于 组 织 理 论 的 是 第
Ｗ ｅｃ １ ｉｋ＿
应 链竞 争 的重要 手 段 ． 种 支 持 业务 流程 重 组 各
（ Ｐ 的 建 模 工 具 和软 件 业 正 像 雨 后 春 笋 般 出 Ｂ Ｒ）
来 将 这 一 标 准 变 更 为 Ｘ Ｄ ． Ｐ Ｌ是 至 今 工 ＰＬ ＸＤ 作流领域最 为重要 的一个 标 准 ， 目前 大 多 数 工 作 流 引 擎是 依 据 该 标 准 设 计 开 发 的． 久 之 后 ， 不
的广 泛 使 用 以及 电 子 商 务 的兴 起 ， 近 还 出 现 最
了一 些 新 的 基 于 工 作 流 的 流 程 转 换 标 准 ， 比如
① 收稿 日期 ： ０ ８ ０ — ３ 修订 日 ： ０ ９— ９ ２ ． ２０ — ３ ０ ； 期 ２０ ０ — ２
基 金 项 目：国家 自然 科 学 基 金 资 助项 目（０ ７ ０ ０ ；ＩＭ Ｓ Ｒ资 助 项 目． ７４ １４ ） Ｂ Ｕ
０ 引 言
２ Ｏ世 纪 ９ ０年 代 以来 ， 应 链 管 理 逐 渐 成 为 供 企业 获取竞 争 优势 增 强 竞 争 力 的重 要 手 段 ． 了 为 更好 地实施 供应 链管 理 ， 究 供应链 流程 ， 立相 研 建
在 了前面 ． 工作 流 管 理协 会 早 在 其 成 立 的第 二 年
中图分 类号 ： ３ ． ９ １６
文献标 识码 ： Ａ
文章 编号 ：１０ ９ ０ （ ０ ０ ０ ０ ３ ０ ７— ８ ７ ２ １ ）６— ０ ３—１ １ 理协 会 （ ｏｋｆ ｗ ｍ ｎｇ ｍ ｎ ｃａ ｔ ｎ ＷＦ ｗ ｒ ｏ ａ ａｅ ｅ ｔ ｏｌｉ ， ＭＣ） ｌ ｉｏ 走
Ｆｉ． １ Ｐ ｏ ｅ ｓｔａ ｓｏ ｍａ ｉｎ ｐ ｏ ｅ ｓ ｇ ｒ ｃ ｓ ｒ ｎ ｆｒ ｔ ｒｃ ｓ ｏ
典 和一组 有 限 的规 则 或 约束 （ｕｅ ｒｃｎｔｉｓ ｒｌｓｏ ｏｓａ ） ｒｎ 来 描述一 组模 式 的集 合 （ 能是 无 限 的 ）这 些 规 可 ， 则 或 约 束 详 细 说 明 了 所 允 许 的 字 典 元 素 的 组 合 ¨ 语法 可 以描 述 所有 可 能 模 式 的集 合 ， 时 ． 同 提 供一种 可 以解释这 些集合 的规则 ． 在语 言学 中 ，
作者简介： 严建援 （９ ５ ） １５ 一 ，女 ， 辽宁人 ，博士 ， 教授 ，博士生导师． ｍａ ： ａ ５ ９ ２ ． ｒ Ｅ ｉ ｙｎ５ ５ ＠１６ｃｎ ｌ ｏ
管
ＷＳ ② ＣＩ
理
科
学
学
报
２１ ０ ０年 ６月
、
ｅＸ ￣ Ｂ Ｅ ￣ ｂ ＭＬ ￣ Ｐ Ｌ 等
１ 基 于语 法 的供 应 链 流 程 建模 方 法
述了一个参与和其它服务进行协作交互 的 Ｗｅ ｂ服务所交换 的消息流． ③ ｅＸ ｂ ＭＬ是一组支持模块 化电子商务框架的规范． 是联合 国（ Ｎ Ｃ Ｆ Ｔ， Ｕ ／ Ｅ ＡＣ 贸易促进和 电子商 务中心 ） ＯＡ Ｉ（ 和 ＳＳ 结构化信 息标 准发展组 织） 同倡导、 共 全球参与开发和使用的规范． ④ ２０ ０ ２年 ８月 ９日， ｃｏｏｔ Ｂ Ａ，Ｂ Ｓ Ｐ＆Ｓｅ ｅ联合提交发布了 Ｂ Ｅ Ｍｉ ｓｆ， Ｅ ＩＭ， Ａ ｒ ｉｂｌ Ｐ Ｌ规范 ．Ｂ Ｅ Ｐ Ｌ联合 了一系列规范， 比如 ＸＬ Ｎ ＷＳ Ｌ Ｐ Ｌ Ａ Ｇ， Ｆ ，Ｂ Ｍ ．
过 供应链 流程 定 义语 言进行 转 换 （ 图 Ｉ ， 为 见 ）成
一
中 的研究 热点 ， 因为 这种 特性 可 以让 我们 基 于一
套约束或约束 的变化来预测新 的组织过 程和形
式 ． 基于这 种对应 关 系 ， ｌｎ 等 人在 １９ Ｍａ ｅ ｏ ９３年 提 出 ， 法 的方法用 于过 程 的建模 ， 将语 其语 法模 型
种“ 确认 语 法 的过 程 ” 并 进 一 步提 出 “ ， 组织 形
成 过程 是 一 种 语 法 ， 套 编 码 或 一 剂 处 方 ” 而 一 ． Ｄａｉ和 Ｓｎｅａｄ ６于 １９ ｒｚ ｎ ａｄｌ ｓ１ ｎ １ ９ ２年提 出组织形 成过
② ２ ０ 年 ６月 ２ Ｂ Ａ Ｉ ａ ｏ Ｓ Ｐ Ｓｎ四家公司提出了基于 ｘ ｌ Ｗ Ｃ 规范 ， ０２ ６１ Ｅ ， ｔ ｉ， ， ３， ｎｌ Ａ ｕ ｍ 的 ＳＩ 推动 Ｗｅ 服务进入 了一个全新的阶段． ｂ 这个规范主要描
由于 Ｘ Ｄ Ｐ Ｌ在 定 义 模 型 方 面 的 局 限性 ， Ｐ 发 Ｂ ＭＩ
布 了 Ｂ ＭＬ ｂ ｓ ｅｓｐｏ ｅｓｍ ｄ ｌ ａ ｇ ａｅ 规 Ｐ （ ｕｉ ｓ ｒｃｓ ｏ ｅ ｌｎ ｕ ｇ ） ｎ
现 ， 而它们 往往 使用 的标 准各 不相 同 ， 然 也难 以实 现相 互之 间 的交 流 和 共 享 Ｊ在 供 应 链 流 程 管 ． 理 中实现流 程 的查询 、 存储 和优 化之 前 ， 有一个 重
＼￣
～
－
－
：
ＸＭ Ｌｓ ）＿ Ｉ
■
／
＼
．．
ｔ
Ｉ ＸＩ １ Ｍ
／ ／ ～ ～
ｌ 真 擎ｌ 仿引
ｌ 行 擎ｌ 执引
图 １ 流 程 转 换 的 过 程
ｌ控擎 监 引
语 法化方 法最早 出现在 对语 言学 中的重要 概 念语法 的研究 中 ． 语法 就是 运用 一个 有 限 的字 样 ， 实现了供应链
管理 的建模 、 理 和优 化工 具 与供 应 链 流程 引 擎 管 之 间的相 互 转 换 ， 时 使 得 由不 同 软 件 开 发 商 同 提供 的 流 程 模 型 可 以 在 Ｘ ＭＬ的 平 台 上 进 行
交互 ．
，
他 在 １７ ９９年将 “ 织形 成过程 ” 组 定义 为
＜ ：＿ 义供 链 程 义模！ ：蔓 语 的 应 流 定兀 ：于 ）
一 ． —
／
Ｊ ｒ ～＼
。
基 于语 法 的供 应链流 程定 义元模 型是在语 法 建模 方法 的基础 上提 出 的 ， 因此 有必 要 回顾 一 下
论
导入 ／ ｝ 层 导＿ ｝ ＿ ｛ 导 八 ／ 出层 导
ｌｊ Ｉ
建模 工具 ｃ
导人 ／ 导出层
语 法建 模和基 于语 法 的供应 链流 程建模 方法 ．
１ １ 语 法建模 ．
基 于语 法 的过 程建模 方法通 过供应 链过程 分 析来研 究事 件发 生 的序 列 ， 并从 中发 现 有助 于 供 应 链过 程表 达与创 新 的规律 ， 供 应链 过 程 及语 将 言 的核 心概 念进行 对 比映 射 ， 根据 一 个有 限 的字 典和一 组有 限 的规 则或约束 来产 生一组 模式 的集 合， 进而 为供应 链过 程 的再 造提供一 组解 空间 ， 以 供 应链 上 的各 企业 和伙伴进 行决策 Ｊ ．
有 从有 限的字 典 和规 则 中生 成 无 限句 集 的 能力 ．
同样 ， 可 繁 殖性 ” ｇｎ ｒｔ ｉ ） “ （ ｅｅａｉ ｔ 同样 是 组 织 理论 ｖｙ