标题：一种验证服务组合中消息语义匹配的方法
作者：林永兴；徐海长
作者单位：浙江理工大学科技与艺术学院，浙江 杭州 311121；浙大网新系统工程公司，浙江 杭州 310013
关键字：服务组合，描述逻辑，线性逻辑
摘要：介绍一种服务组合模型中服务消息语义化匹配验证的方法。该方法先介绍基于服务行为模型的服务组合，并将其转换为形式化的有限状态自动机。利用有限状态自动机中服务行为可以转换为线性逻辑表达式描述的原理，使用线性逻辑的演绎方法对服务消息的匹配性可满足性进行验证。