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

摘要：

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

关键词：答案集编程、Petri网、OWL-S、验证

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61063002,60803033;中国博士后基金20090450211;广西自然科学基金2011GXNSFA018164,2011GXNSFA018166;广西研究生创新基金2009105950812M22;广西高等学校优秀人才资助计划等资助

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：131-134,161