《基于时态描述逻辑的Web服务行为匹配》.pdfVIP

高技术通讯2007年11月第17卷第11期 基于时态描述逻辑的Web服务行为匹配① 李勇②杨放春苏森 (北京邮电大学网络与交换技术国家重点实验室 北京100876) 摘要服务的行为匹配在服务自动发现中扮演重要角色，本文分析了web服务的行为 描述要求和服务行为自动发现的特点，建立了服务行为的语义标注和描述框架；给出了服 务行为的语义建模方法；通过使用描述逻辑时态扩展的方法匹配服务行为，实现7基于服 务行为语义描述和匹配的web服务自动发现。 关键词服务发现，web服务，服务行为，语义服务，时态逻辑 描述的复杂性，服务行为的描述越来越受到重视。 O 引言 为了说明服务行为，让我们考虑一个购买服务 的例子。假设组合服务需要发现一个旅行服务满足 随着互联网技术和规模的不断发展，分布式软 以下要求： 件服务正在成为新一代互联网服务的重要组成部 R1：此服务在旅行服务类别中，并由A旅行代 分。web服务作为一种面向服务架构的分布式计算 理公司提供； 技术，具有松耦合和良好的互操作性等特点，这使之 R2：服务提供带有输入消息和输出消息的web 逐渐成为新一代互联网上的标准应用范型。互联网 服务描述语言(wSDL)操作文件； 环境下的集成服务和组合服务等，需要一个可扩展 R3：服务需要满足下列前置条件： 的、自动的服务发现机制。服务行为的描述和发现 (P1)预定机票行为需要先于预定旅馆行为； 是服务发现的关键之一。然而目前的服务发现主要 (P2)顾客需要在使用服务之前登录系统，完成 是通过关键字或者使用本体对服务接口和操作进行 后需要退出系统； 匹配，并没有考虑服务行为的匹配，而服务行为的匹 (P3)当预定机票和旅店均成功后才使用信用 配可以支持更准确地选取服务，提高服务发现的准 卡； 确率。结合语义网技术的语义服务模型使服务的自 (P4)支付费用后才开始送票； 动匹配和发现成为可能。按照服务清求，服务发现 (P5)信用卡只被使用一次。 需要关注已发布服务的不同方面：服务类别、服务接 在服务请求的描述中，Rl和R2的匹配可以使 口和服务语义。目前的服务发现研究主要关注基于 用统一描述、发现和集成(uDDI)及现有的服务发现 服务的接口和类别的发现。本文提出了基于服务行 技术实现’1一。而R3中的描述是需要时序约束的服 为的服务自动发现方法，该方法通过使用时态描述 务行为，现有的服务发现技术无法描述和匹配具有 逻辑对服务时序行为进行语义描述，使自动匹配和 时序约束的服务行为。shen等L2J提出了使用自动 发现服务行为成为服务发现中的重要一环。 机模型描述具有执行顺序约束的服务行为，然而，自 动机模型无法实现时序描述和机器的自动处理。 1服务行为与服务发现 语义web服务将语义网技术与web服务相结 合，使以机器可处理可理解为目标的服务自动化成 服务的行为包括服务的会话、服务的事件、活 为了可能。语义web服务的描述语言。阢，s㈣描 动，以及服务的功能，体现为服务前置条件和后置条 述了服务的输入输出、前置条件和后置条件，其中． 件(IOPE)、执行步骤以及相互作用。由于web服务服务的前置条件和后置条件