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

计算机科学 ›› 2011, Vol. 38 ›› Issue (12): 131-134.

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

钱俊彦，黄国旺，赵岭忠

(国防科学技术大学并行与分布处理国家重点实验室长沙410073);(桂林电子科技大学计算机科学与工程学院桂林541004)

出版日期:2018-12-01 发布日期:2018-12-01

Answer Set Programming Based Verification of Semantic Web Service Composition

Online:2018-12-01 Published:2018-12-01

摘要/Abstract

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

关键词: 答案集编程，Petri网，OWL-S,验证

Abstract: Formal description and verification of semantic Web service composition arc the premise of the correctness of running composite services. The paper described a method to modeling OWL-S(Semantic Web service description language) based on answer set programming and analysed the advantages of this method, and the mapping of several kinds of basic control constructs in process model of OWL-S to Petri net which is the mid-mode was provided and an algorithm for generating the answer set programming was proposed. Meanwhile, introduced temporal constraints to the composite service verification to represent the property to be checked. Finally, a specific instance of the modeling and verification was applied into a case.

Key words: Answer set programming, Petri-net, OWL-S, Verification

钱俊彦，黄国旺，赵岭忠. 基于答案集的Web服务组合验证[J]. 计算机科学, 2011, 38(12): 131-134. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed