基于并发事务逻辑的语义Web服务组合

• 作者: 王雪松 赵岭忠 钱俊彦 高荣亮
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 语义Web服务 服务组合 并发事务逻辑 霍恩子句
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 软件工程
• 页码范围: 139-142,156
• 分类号: TP18
• 字数: 5969字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.10.030

摘要

并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理.采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法.基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子科技大学计算机科学与工程学院	86	238	9.0	10.0
2	赵岭忠	桂林电子科技大学计算机科学与工程学院	64	229	8.0	11.0
3	王雪松	桂林电子科技大学电子工程与自动化学院	13	26	3.0	5.0
4	高荣亮	桂林电子科技大学计算机科学与工程学院	2	2	1.0	1.0