作者:林永兴 王鹏英 邱剑锋 徐海长 王玥语义服务服务组合描述逻辑线性逻辑
摘要:介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机。根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证。同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社