描述Web服务的一阶动态逻辑

计算机科学 ›› 2011, Vol. 38 ›› Issue (11): 109-113.

描述Web服务的一阶动态逻辑

吴晓庆，马越，曹存根，眭跃飞

(中国科学院计算技术研究所北京100190)

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受国家自然科学基金项目((61035004)资助。

Features of the Predicate Dynamic Logic for Web Services

WU Xiao-qing,MA Yue,CAO Cun-gen,SUI Yue-fei

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

摘要/Abstract

摘要： Web服务有几种形式化表示:WSMO ( Web服务建模本体)和OWL-S ( Web服务本体语言)。为了分析WSML的逻辑特性，提出用一阶动态逻辑来表示WSML。这里的一阶动态逻辑与传统的PDL不同，后者是用来表示程序改变变量的动态性质的，而描述Web服务的一阶动态逻辑除了描述改变变量的程序动作的动态性质之外，还需要描述改变关系的服务动作的动态性质。给出了描述Web服务的PDI、的语法和语义，并且用一个例子说明了PDL是如何表示Web服务的静态属性和动态属性的，以及改变变量和改变关系的动作的动态性质。

关键词: 一阶动态逻辑，Web服务模型本体，Web服务，程序，赋值

Abstract: There are several formalizations of Web services: WSMO(Web Service Modeling Ontology) and OWI-S(Web Ontology Language for Services). To analyze the logical properties of WSML,we represented WSML in a predicate dynamic logic,where the predicate dynamic logic is different from the traditional PDL which is designed to represent dynamic properties of programs which change the assignments of variables, and the predicate dynamic logic for Web services is designed to represent dynamic properties of services which change the relations. We gave the syntax and semantics of the PDI_ for Web services,and an example to show how to represent the static and dynamic properties of Web services.

Key words: Predicate dynamic logic, Web service modeling ontology, Web service, Program, Assignment

吴晓庆，马越，曹存根，眭跃飞. 描述Web服务的一阶动态逻辑[J]. 计算机科学, 2011, 38(11): 109-113. https://doi.org/

WU Xiao-qing,MA Yue,CAO Cun-gen,SUI Yue-fei. Features of the Predicate Dynamic Logic for Web Services[J]. Computer Science, 2011, 38(11): 109-113. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed