| 基于答案集的Web服务组合验证 |
| |
| 引用本文： | 钱俊彦,黄国旺,赵岭忠.基于答案集的Web服务组合验证[J].计算机科学,2011,38(12):131-134,161. |
| |
| 作者姓名： | 钱俊彦 黄国旺 赵岭忠 |
| |
| 作者单位： | 1. 国防科学技术大学并行与分布处理国家重点实验室 长沙410073;桂林电子科技大学计算机科学与工程学院桂林541004
2. 桂林电子科技大学计算机科学与工程学院桂林541004 |
| |
| 基金项目： | 国家自然科学基金(61063002,60803033); 中国博士后基金(20090450211); 广西自然科学基金(2011GXNSFA018164,2011GXNSFA018166); 广西研究生创新基金(2009105950812M22); 广西高等学校优秀人才资助计划等资助 |
| |
| 摘 要： | 语义Web服务组合的形式化描述和验证，是保证组合服务能正确运行的重要前提基拙。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法，并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射，并提出由Petri网生成答案集编程的算法。同时将时态约束引入到
组合服务验证中，利用时态约束表达待验证性质，将验证问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。
|
| 关 键 词： | 答案集编程，Petri网，OWL-S 验证 |
Answer Set Programming Based Verification of Semantic Web Service Composition |
| |
| QIAN J un-yan,HUANG Guo-wang,ZHAO Ling-zhong.Answer Set Programming Based Verification of Semantic Web Service Composition[J].Computer Science,2011,38(12):131-134,161. |
| |
| Authors: | QIAN J un-yan HUANG Guo-wang ZHAO Ling-zhong |
| |
| Affiliation: | QIAN Jun-yan1,2 HUANG Guo-wang2 ZHAO Ling-zhong2(National Laboratory for Parallel and Distributed Processing,National University of Defense Technology,Changsha 410073,China)1(Department of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China)2 |
| |
| Abstract: | |
| |
| Keywords: | Answer set programming Petri-net OWL-S Verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
