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

摘要：

服务的行为匹配在服务自动发现中扮演重要角色,本文分析了Web服务的行为描述要求和服务行为自动发现的特点,建立了服务行为的语义标注和描述框架;给出了服务行为的语义建模方法;通过使用描述逻辑时态扩展的方法匹配服务行为,实现了基于服务行为语义描述和匹配的Web服务自动发现.

关键词：服务发现、Web服务、服务行为、语义服务、时态逻辑

所属期刊栏目：17

分类号：TN91

资助基金：国家重点基础研究发展计划973计划2003CB314806;国家高技术研究发展计划863计划2006AA01Z164;教育部跨世纪优秀人才培养计划NCET-05-0114;教育部长江学者和创新团队发展计划

在线出版日期：2008-03-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1112-1116