一种验证服务组合中消息语义匹配的方法 |
| |
引用本文: | 林永兴,徐海长.一种验证服务组合中消息语义匹配的方法[J].工业控制计算机,2011,24(4):73-74,77. |
| |
作者姓名: | 林永兴 徐海长 |
| |
作者单位: | 1. 浙江理工大学科技与艺术学院,浙江杭州,311121 2. 浙大网新系统工程公司,浙江杭州,310013 |
| |
摘 要: | 介绍一种服务组合模型中服务消息语义化匹配验证的方法.该方法先介绍基于服务行为模型的服务组合,并将其转换为形式化的有限状态自动机.利用有限状态自动机中服务行为可以转换为线性逻辑表达式描述的原理,使用线性逻辑的演绎方法对服务消息的匹配性可满足性进行验证.
|
关 键 词: | 服务组合 描述逻辑 线性逻辑 |
Semantic Service Message Match Method in Service Composition |
| |
Affiliation: | Lin Yongxing et al |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|