基于答案集的Web服务组合验证

• 作者: 赵岭忠 钱俊彦 黄国旺
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 答案集编程 Petri网 OWL-S 验证
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 软件工程
• 页码范围: 131-134,161
• 分类号: TP393.09
• 字数: 4830字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.12.030

摘要

语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基础.首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势.然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射,并提出由Petri网生成答案集编程的算法.同时将时态约束引入到组合服务验证中,利用时态约束表达待验证性质,将验证问题转换为求解逻辑程序的答案集.最后通过一个具体的实例说明该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	国防科学技术大学并行与分布处理国家重点实验室	86	238	9.0	10.0
3	赵岭忠	桂林电子科技大学计算机科学与工程学院	64	229	8.0	11.0
6	黄国旺	桂林电子科技大学计算机科学与工程学院	1	0	0.0	0.0