计算机与现代化 ›› 2010, Vol. 1 ›› Issue (8): 161-166.doi: 10.3969/j.issn.1006-2475.2010.08.044
林永兴1,王鹏英2,邱剑锋3,徐海长4,王 玥4
LIN Yong-xing1, WANG Peng-ying2, QIU Jian-feng3, XU Hai-chang4, WANG Yue4
摘要: 介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机。根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证。同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要。