%0 Journal Article %T 基于答案集的web服务组合验证 %A 钱俊彦 %A 黄国旺 %A 赵岭忠? %J 计算机科学 %D 2011 %X 语义web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基拙。首先描述基于答案集编程(answersetprogramming)的owl-s建模方法,并分析基于答案集编程建模的优势。然后给出owl-s流程模型中几种控制结构到中间模型petri网的映射,并提出由petri网生成答案集编程的算法。同时将时态约束引入到组合服务验证中,利用时态约束表达待验证性质,将验证问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。 %K 答案集编程 %K petri网 %K owl-s %K 验证 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=111230&flag=1