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

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