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

高技术通讯2007年11月第17卷第11期 基于时态描述逻辑的Web服务行为匹配① 李勇②杨放春苏森 (北京邮电大学网络与交换技术国家重点实验室 北京100876) 摘要服务的行为匹配在服务自动发现中扮演重要角色，本文分析了web服务的行为 描述要求和服务行为自动发现的特点，建立了服务行为的语义标注和描述框架；给出了服 务行为的语义建模方法；通过使用描述逻辑时态扩展的方法匹配服务行为，实现7基于服 务行为语义描述和匹配的web服务自动发现。 关键词服务发现，web服务，服务行为，语义服务，时态逻辑 描述的复杂性，服务行为的描述越来越受到重视。 O 引言 为了说明服务行为，让我们考虑一个购买服务 的例子。假设组合服务需要发现一个旅行服务满足 随着互联网技术和规模的不断发展，分布式软 以下要求： 件服务正在成为新一代互联网服