| 基于并发事务逻辑的语义Web服务组合 |
| |
| 引用本文： | 王雪松,钱俊彦,赵岭忠,高荣亮. 基于并发事务逻辑的语义Web服务组合[J]. 计算机科学, 2012, 39(10): 139-142,156 |
| |
| 作者姓名： | 王雪松 钱俊彦 赵岭忠 高荣亮 |
| |
| 作者单位： | 1. 桂林电子科技大学电子工程与自动化学院 桂林541004
2. 桂林电子科技大学计算机科学与工程学院 桂林541004 |
| |
| 基金项目： | 国家自然科学基金，广西科学基金 |
| |
| 摘 要： | 并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路。
|
| 关 键 词： | 语义Web服务 服务组合 并发事务逻辑 霍恩子句 |
Semantic Web Services Composition Based on Concurrent Transaction Logic |
| |
| WANG Xue-song , QIAN Jun-yan , ZHAO Ling-zhong , GAO Rong-liang. Semantic Web Services Composition Based on Concurrent Transaction Logic[J]. Computer Science, 2012, 39(10): 139-142,156 |
| |
| Authors: | WANG Xue-song QIAN Jun-yan ZHAO Ling-zhong GAO Rong-liang |
| |
| Affiliation: | 2(School of Electronic Engineering and Automation,Guilin University of Electronic Technology,Guilin 541004,China)1(School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China)2 |
| |
| Abstract: | Concurrent Transaction Logic (CI}R) is an extension of predicate logic which supports reasoning the automatic composition of semantic Web Services. This paper used CTR as the describing and reasoning tools, and proposed a composition method from the two aspects of OWI: S Web Services:function and behavior. The executing semantics of CTR and the procedural semantics of its Horn clause reduce the reasoning complexity. A polynomial time algorithm was constructed. This paper provided a new method for handling the problem that current mainstream semantic Web service composition methods arc not able to model concurrent behaviors. |
| |
| Keywords: | Semantic Web service Service composition Concurrent transaction logic Horn clause |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
