服务组合中基于线性逻辑的消息语义匹配

Semantic Service Message Matching Based on Linear Logic in Service Composition

介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机。根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证。同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要。

The paper proposes a method for semantic message matching in automatic service composition.It develops a framework in which the exported message description and behavior description of a service,and represents the behavior of a service with a finite state machine.Since the service interface definition can be represented by ontology concepts,and the service behavior can be represented using linear logic formulas,so the inference rules of linear logic can check the match-ability and satisfy-ability of service message.Meanwhile,it extends the inference rules of linear logic for service composition.