基于PDDL的Web服务自动组合的描述
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
用 户 的需 求 。
Ｏ ． ＷＬＳ的设计者们从 Ａ 的角度 ， Ｉ 尤其是面 向 ａｅｔ ｇｎ 的软件工 程 的角度出发对 Ｗｅ ｂ服务建模 ， 这使得 ａｅ ｔ 以从 Ｗｅ ｇｎ 可 ｂ服务 以
及 用 户 需 求 的 描 述 中 获 取 知 识 ， 利 用 Ａ 技 术 进 行 推 理 和 规 并 Ｉ
维普资讯
第２ ５卷第 １ ຫໍສະໝຸດ 期２０ ０ ８年 １月
计 算机 应 用与软件
Ｃｏ ｐ ｔｒＡｐ ｉ ａｉ ｎ ｎ ｏｔ ｒ ｍ ｕ ｅ ｐｌ ｔｏ ｓａ ｄ Ｓ ｆ ｃ ｗａ ｅ
Ｖｏ． ５ １ ２ Ｎｏ １
Ｊｎ２ ０ ａ ．ｏ ８
ａ ｈ ｉ ｕｔｍ ａｉ ｏ ｎｄ ｔ ｅｒ ａ ｏ ｔｃ ｃ ｍｐｏ ｉｉｎ ｙ ｕ ｉｇ ｔ ａ ｉ ｏｔ ｒ ｓｐ ｏ ｓ ｄ． ｅ ｉ ａｏ ｓｎ ｌ ｎ ｎ ｏｔ ｒ ｓ ｄ ｓ ｒｂｅ Ｒｅａｉ ｎ ｓｔｏ ｓ ｂ ｓｎ ｈｅ ＡＩｐｌｎｎｎｇｓ ｆ ｗａ ｅ ｉ ｒ ｐｏ ｅ Ｔｈ ｄｅ ｆｕ ｉｇ ＡＩｐａｎ ｉ ｇ ｓ ｆｗａ ｅ ｉ ｅ ｃ ｉ ｄ． ｌ ｔｏ — ｓｉ ｂｔ ｅ ｈｐ ｅｗｅ ｎ ＰＤＤＬ ， ｄｅｙａ ｃ ｐ ｅ ａ ｕａ ｅｆ ｒｅ ｐ ｅ ｓｎｇｐｌｎ ｎ ｒ ｂｌｍｓａ ｏ ａｗｉ ｌ ｃ ｅ ｔ ｄ ｌｎｇ ｇ ｏ ｘ ｒ ｓ ｉ ａ ｎｉｇ ｐ ｏ ｅ ｎｄ ｄ ｍａｉｓ， ｎ ｅ ｅ ｖｃ ｓｉ ｌｕ ｔａｅ Ｆｉ ｌｙ， ｄ ｎ ａ ｄ Ｗ ｂ ｓ ｒ ｉ ｅ ｓｉｌ ｓｒ ｔｄ． ｎａｌ ａ ｍｏ — ｅ ｓ ｃ ｎ ｔｕ ｔｄ． ｌｉ ｏ ｓｒ ｃ ｅ Ｋｅ ｙｗｏｒ ｄｓ Ｓ ｍａ ｉ Ｗ ｅ Ｗ ｅ ｅｖ ｃ Ａｕｔｍａ ｉ ｅ ｉｅ ｏ ｏ ｉｉｎ ＯＷ Ｌ－ ｅ ｎｔ ｃ ｂ ｂ ｓ ｒ ｉｅ ｏ ｔｃ ｓ ｒ ｃ ｓ ｃ ｍｐ ｓｔｏ ｖ Ｓ
Ａ ｂ ｔａｃ ｓｒ ｔ
Ｉ ｓ ｎ ｃ ｓ ａｙ ｔ ｏ ｏ ｅ ｅ ｉｔｎｇＷ ｅ ｅ ｖｃ ｓａ ｔ ｔｉ ｅ ｅ ｓ ｒ ｏ ｃ ｍｐ ｓ ｘｓｉ ｂ ｓ ｒ ｉｅ ｕｏｍａｉａ ｌ ｃ ｏｄｉ ｏ ｕ ｅ ｓ ｅ ｅ ｔ Ａ ｔ ｏ ｆｄ ｓ ｒｂｉ ｅ ｅ ｖｃ ｓ ｔ ｌｙ ａ ｃ ｒ ｎｇｔ ｓ ｒ ’ｒｑｕ ｓ、 ｍｅ ｈ ｄ ｏ ｅ ｃ ｉ ｎｇＷ ｂ ｓ ｒ ｉｅ ｃ
成， 形成功能丰富的企业级服务流程 以达到企业 的商业 目标 ， 已 经成 为一 个迫切需要 解决 的问题 。用语 义 Ｗｅ ｂ标记语 言来描 述服 务的语 义 ， Ｗｅ 务成 为计算 机可 以理 解 的实体 ， 使 ｂ服 以解 决 Ｗｅ ｂ服务 的 自动 组合 问题 已成 为研究 的一 个热点 。本文研 究的是利用人工智能规划工具 ， 述语义 Ｗｅ 描 ｂ服务 的 自动组合 问题 ， 目标是使软件 ａｅｔ ｇｎ 能根据用户 的需求 自动地组合 各种 已 有的 Ｗｅ ｂ服务 、 使服务 协 同工作完 成用 户的 任务 ， 灵活 地满 足
合序列 ， 该序 列能 够达到从 初始状 态到 目标 状态 的演 变。相应
０ 引 言
Ｗｅ ｂ服务 作为一种 崭新 的 分布 式计算 模 型 已经在 电子 商 务、 企业应用集成 等领域扮 演着越 来越 重要 的角色 。如何 有效
的， 初始状态 和 目标 状态分别与 ｓ ｎ和 Ｇ相对应 ， 于组合 的可 用 能的服务集合和 Ａ相对 应 ， Ｗｅ 即 ｂ服务和 动作 相对应 ， 个服 每 务完成 的功能与 ｒ相对应 。 为 了能够清楚地 描述 服务 自动组合时计算机可理解 的 Ｗｅ ｂ 服务 的功能 属性 ， 本文采用 Ｏ — 标 识语 言描述服务 组合所 ＷＬＳ 需 的语 义信 息。Ｏ — ＷＬＳ从两个方 面描述服 务功能 ： 个是信息 一
转 换 方 面 ， 要 是 通 过 输 入 、 出来 表 示 ； 一 个 是 服 务 执 行 所 主 输 另 产 生的状 态 改 变 方 面 ， 要 是 通 过前 提 条 件 和 结 果 来 表 示 。 主
地组合分布 于 Ｉｔ ｅ 中 的各 类 服务 ， ｎｅ ｔ ｕ ｒ 实现 服 务之 间 的无缝 集
划， 从而 为 Ｗｅ ｂ服务 自动组 合奠 定 了基 础。 由于 Ｏ — ＷＬＳ中的 服务可以看成是 Ａ 中的动作（ ｃｏ ） 因此在 自动服务组合 时 ， Ｉ ａｔ ｎ ， ｉ
只要将服务的这些输入输 出参数 、 提条件 和结 果等标记 映射 前
关 键 词 语 义 Ｗｅ Ｗｅ 务 ｂ ｂ服 服 务 自动 组 合 Ｏ — ＷＬＳ
ＤＥＳＣＲＩ ＴＩ ＢＩ ｏＮ ｏＦ ＡＵＴｏＭ ＡＴＩ Ｗ ＥＢ Ｃ ＳＥＲＶＩ ＣＥＳ ＣｏＭ Ｐｏ Ｓ ＴＩ Ｉ ｏＮ ＢＡＳ ＥＤ Ｎ ｏ ＰＤＤＬ
Ｌｉ ｕ ｎ ｎ Ｃｈ ａ
（ ｅｚｏ ｎｖｒｔ， ｅｚｏ ２ ００，ｈｊ ｎ ， ｈｎ ） Ｗ ｎｈ ｕＵ ｉ ｓｙ Ｗ ｎｈ ｕ３ ５０ Ｚ ｅａ ｇ Ｃ ｉａ ｅｉ ｉ
基 于 Ｐ ＤＬ的 Ｗｅ Ｄ ｂ服 务 自动 组 合 的描 述
林 川
（ 州大学 温 浙 江 温州 ３５ ０ ） ２ ０ ０
摘 要
在 Ｗｅ ｂ环境 下， 如何有效地根据用 户请 求， 进行 Ｗｅ ｂ服务的 自动组合 ， 为一个迫切 需要解决的 问题。提 出了一种利用 成
人工智能 的规划 问题 ， Ｗｅ 对 ｂ服务及其 组合进 行形式化描述 以实现服务 自动组合 的方 法。说 明了基 于智能规划 实现 服务 自动组合 的思想 ， 讨论 了智能规划的标准描述语言 Ｐ Ｄ Ｄ Ｌ与 Ｗｅ ｂ服务的对应关 系， 后建立 了一个实际的模型。 最
Ｏ ． ＷＬＳ的设计者们从 Ａ 的角度 ， Ｉ 尤其是面 向 ａｅｔ ｇｎ 的软件工 程 的角度出发对 Ｗｅ ｂ服务建模 ， 这使得 ａｅ ｔ 以从 Ｗｅ ｇｎ 可 ｂ服务 以
及 用 户 需 求 的 描 述 中 获 取 知 识 ， 利 用 Ａ 技 术 进 行 推 理 和 规 并 Ｉ
维普资讯
第２ ５卷第 １ ຫໍສະໝຸດ 期２０ ０ ８年 １月
计 算机 应 用与软件
Ｃｏ ｐ ｔｒＡｐ ｉ ａｉ ｎ ｎ ｏｔ ｒ ｍ ｕ ｅ ｐｌ ｔｏ ｓａ ｄ Ｓ ｆ ｃ ｗａ ｅ
Ｖｏ． ５ １ ２ Ｎｏ １
Ｊｎ２ ０ ａ ．ｏ ８
ａ ｈ ｉ ｕｔｍ ａｉ ｏ ｎｄ ｔ ｅｒ ａ ｏ ｔｃ ｃ ｍｐｏ ｉｉｎ ｙ ｕ ｉｇ ｔ ａ ｉ ｏｔ ｒ ｓｐ ｏ ｓ ｄ． ｅ ｉ ａｏ ｓｎ ｌ ｎ ｎ ｏｔ ｒ ｓ ｄ ｓ ｒｂｅ Ｒｅａｉ ｎ ｓｔｏ ｓ ｂ ｓｎ ｈｅ ＡＩｐｌｎｎｎｇｓ ｆ ｗａ ｅ ｉ ｒ ｐｏ ｅ Ｔｈ ｄｅ ｆｕ ｉｇ ＡＩｐａｎ ｉ ｇ ｓ ｆｗａ ｅ ｉ ｅ ｃ ｉ ｄ． ｌ ｔｏ — ｓｉ ｂｔ ｅ ｈｐ ｅｗｅ ｎ ＰＤＤＬ ， ｄｅｙａ ｃ ｐ ｅ ａ ｕａ ｅｆ ｒｅ ｐ ｅ ｓｎｇｐｌｎ ｎ ｒ ｂｌｍｓａ ｏ ａｗｉ ｌ ｃ ｅ ｔ ｄ ｌｎｇ ｇ ｏ ｘ ｒ ｓ ｉ ａ ｎｉｇ ｐ ｏ ｅ ｎｄ ｄ ｍａｉｓ， ｎ ｅ ｅ ｖｃ ｓｉ ｌｕ ｔａｅ Ｆｉ ｌｙ， ｄ ｎ ａ ｄ Ｗ ｂ ｓ ｒ ｉ ｅ ｓｉｌ ｓｒ ｔｄ． ｎａｌ ａ ｍｏ — ｅ ｓ ｃ ｎ ｔｕ ｔｄ． ｌｉ ｏ ｓｒ ｃ ｅ Ｋｅ ｙｗｏｒ ｄｓ Ｓ ｍａ ｉ Ｗ ｅ Ｗ ｅ ｅｖ ｃ Ａｕｔｍａ ｉ ｅ ｉｅ ｏ ｏ ｉｉｎ ＯＷ Ｌ－ ｅ ｎｔ ｃ ｂ ｂ ｓ ｒ ｉｅ ｏ ｔｃ ｓ ｒ ｃ ｓ ｃ ｍｐ ｓｔｏ ｖ Ｓ
Ａ ｂ ｔａｃ ｓｒ ｔ
Ｉ ｓ ｎ ｃ ｓ ａｙ ｔ ｏ ｏ ｅ ｅ ｉｔｎｇＷ ｅ ｅ ｖｃ ｓａ ｔ ｔｉ ｅ ｅ ｓ ｒ ｏ ｃ ｍｐ ｓ ｘｓｉ ｂ ｓ ｒ ｉｅ ｕｏｍａｉａ ｌ ｃ ｏｄｉ ｏ ｕ ｅ ｓ ｅ ｅ ｔ Ａ ｔ ｏ ｆｄ ｓ ｒｂｉ ｅ ｅ ｖｃ ｓ ｔ ｌｙ ａ ｃ ｒ ｎｇｔ ｓ ｒ ’ｒｑｕ ｓ、 ｍｅ ｈ ｄ ｏ ｅ ｃ ｉ ｎｇＷ ｂ ｓ ｒ ｉｅ ｃ
成， 形成功能丰富的企业级服务流程 以达到企业 的商业 目标 ， 已 经成 为一 个迫切需要 解决 的问题 。用语 义 Ｗｅ ｂ标记语 言来描 述服 务的语 义 ， Ｗｅ 务成 为计算 机可 以理 解 的实体 ， 使 ｂ服 以解 决 Ｗｅ ｂ服务 的 自动 组合 问题 已成 为研究 的一 个热点 。本文研 究的是利用人工智能规划工具 ， 述语义 Ｗｅ 描 ｂ服务 的 自动组合 问题 ， 目标是使软件 ａｅｔ ｇｎ 能根据用户 的需求 自动地组合 各种 已 有的 Ｗｅ ｂ服务 、 使服务 协 同工作完 成用 户的 任务 ， 灵活 地满 足
合序列 ， 该序 列能 够达到从 初始状 态到 目标 状态 的演 变。相应
０ 引 言
Ｗｅ ｂ服务 作为一种 崭新 的 分布 式计算 模 型 已经在 电子 商 务、 企业应用集成 等领域扮 演着越 来越 重要 的角色 。如何 有效
的， 初始状态 和 目标 状态分别与 ｓ ｎ和 Ｇ相对应 ， 于组合 的可 用 能的服务集合和 Ａ相对 应 ， Ｗｅ 即 ｂ服务和 动作 相对应 ， 个服 每 务完成 的功能与 ｒ相对应 。 为 了能够清楚地 描述 服务 自动组合时计算机可理解 的 Ｗｅ ｂ 服务 的功能 属性 ， 本文采用 Ｏ — 标 识语 言描述服务 组合所 ＷＬＳ 需 的语 义信 息。Ｏ — ＷＬＳ从两个方 面描述服 务功能 ： 个是信息 一
转 换 方 面 ， 要 是 通 过 输 入 、 出来 表 示 ； 一 个 是 服 务 执 行 所 主 输 另 产 生的状 态 改 变 方 面 ， 要 是 通 过前 提 条 件 和 结 果 来 表 示 。 主
地组合分布 于 Ｉｔ ｅ 中 的各 类 服务 ， ｎｅ ｔ ｕ ｒ 实现 服 务之 间 的无缝 集
划， 从而 为 Ｗｅ ｂ服务 自动组 合奠 定 了基 础。 由于 Ｏ — ＷＬＳ中的 服务可以看成是 Ａ 中的动作（ ｃｏ ） 因此在 自动服务组合 时 ， Ｉ ａｔ ｎ ， ｉ
只要将服务的这些输入输 出参数 、 提条件 和结 果等标记 映射 前
关 键 词 语 义 Ｗｅ Ｗｅ 务 ｂ ｂ服 服 务 自动 组 合 Ｏ — ＷＬＳ
ＤＥＳＣＲＩ ＴＩ ＢＩ ｏＮ ｏＦ ＡＵＴｏＭ ＡＴＩ Ｗ ＥＢ Ｃ ＳＥＲＶＩ ＣＥＳ ＣｏＭ Ｐｏ Ｓ ＴＩ Ｉ ｏＮ ＢＡＳ ＥＤ Ｎ ｏ ＰＤＤＬ
Ｌｉ ｕ ｎ ｎ Ｃｈ ａ
（ ｅｚｏ ｎｖｒｔ， ｅｚｏ ２ ００，ｈｊ ｎ ， ｈｎ ） Ｗ ｎｈ ｕＵ ｉ ｓｙ Ｗ ｎｈ ｕ３ ５０ Ｚ ｅａ ｇ Ｃ ｉａ ｅｉ ｉ
基 于 Ｐ ＤＬ的 Ｗｅ Ｄ ｂ服 务 自动 组 合 的描 述
林 川
（ 州大学 温 浙 江 温州 ３５ ０ ） ２ ０ ０
摘 要
在 Ｗｅ ｂ环境 下， 如何有效地根据用 户请 求， 进行 Ｗｅ ｂ服务的 自动组合 ， 为一个迫切 需要解决的 问题。提 出了一种利用 成
人工智能 的规划 问题 ， Ｗｅ 对 ｂ服务及其 组合进 行形式化描述 以实现服务 自动组合 的方 法。说 明了基 于智能规划 实现 服务 自动组合 的思想 ， 讨论 了智能规划的标准描述语言 Ｐ Ｄ Ｄ Ｌ与 Ｗｅ ｂ服务的对应关 系， 后建立 了一个实际的模型。 最