|
|||||
|
|
| 服务组合中基于线性逻辑的消息语义匹配 | |
| 引用本文： | 林永兴,王鹏英,邱剑锋,徐海长,王玥.服务组合中基于线性逻辑的消息语义匹配[J].计算机与现代化,2010(8):161-166,184. |
| 作者姓名： | 林永兴 王鹏英 邱剑锋 徐海长 王玥 |
| 作者单位： | 1. 浙江理工大学科技与艺术学院,浙江,杭州,311121 2. 浙江理工大学计算机技术教研部,浙江,杭州,310018 3. 道富信息科技有限公司,浙江,杭州,310013 4. 浙大网新系统工程公司,浙江,杭州,310013 |
| 基金项目： | 浙江省教育厅科研计划项目 |
| 摘 要： | 介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机。根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证。同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要。 |
| 关 键 词： | 语义服务 服务组合 描述逻辑 线性逻辑 |
Semantic Service Message Matching Based on Linear Logic in Service Composition |
|
| LIN Yong-xing,WANG Peng-ying,QIU Jian-feng,XU Hai-chang,WANG Yue.Semantic Service Message Matching Based on Linear Logic in Service Composition[J].Computer and Modernization,2010(8):161-166,184. | |
| Authors: | LIN Yong-xing WANG Peng-ying QIU Jian-feng XU Hai-chang WANG Yue |
| Affiliation: | Peng-ying,QIU Jian-feng,XU Hai-chang,WANG Yue (1.Higher Vocational College,Zhejiang Sci-Tech University,Hangzhou 311121,China;2.Instructional Division for Computer Technology,Zhejiang Sci-Tech University,Hangzhou 310018,China;3.State Street Corporation,Hangzhou 310013,China;4.Zhejiang Insigma Group Corporation,Hangzhou 310013,China) |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |