%0 Journal Article
%T Answer Set Programming Based Verification of Semantic Web Service Composition<br>基于答案集的Web服务组合验证
%A QIAN J un-yan
%A HUANG Guo-wang
%A ZHAO Ling-zhong
%A <br>钱俊彦
%A 黄国旺
%A 赵岭忠
%J 计算机科学
%D 2011
%I 
%X 语义Web服务组合的形式化描述和验证，是保证组合服务能正确运行的重要前提基拙。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法，并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射，并提出由Petri网生成答案集编程的算法。同时将时态约束引入到 组合服务验证中，利用时态约束表达待验证性质，将验证问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。
%K Answer set programming
%K Petri-net
%K OWL-S
%K Verification<br>答案集编程，Petri网，OWL-S
%K 验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=17DDCED190714E790F268314F42BD37C&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=59906B3B2830C2C5&sid=6DE26652A1045643&eid=3EFB2D3273F18502&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0