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

Matchmaking of Web service behavior based on temporal description logic

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

This paper analyzes the characteristics of web service behavior description and automatic discovery. Service behavior semantic marking and description framework are established for web service matching. Service behavior semantic modeling method is described. By the proposed service behavior match-making approach using temporal description logic, web service behavior description and automatic discovery are achieved.