%0 Journal Article
%T 描述web服务的一阶动态逻辑
%A 吴晓庆
%A 马越
%A 曹存根
%A 眭跃飞？
%J 计算机科学
%D 2011
%X web服务有几种形式化表示:wsmo(web服务建模本体)和owl-s(web服务本体语言)。为了分析wsml的逻辑特性，提出用一阶动态逻辑来表示wsml。这里的一阶动态逻辑与传统的pdl不同，后者是用来表示程序改变变量的动态性质的，而描述web服务的一阶动态逻辑除了描述改变变量的程序动作的动态性质之外，还需要描述改变关系的服务动作的动态性质。给出了描述web服务的pdi、的语法和语义，并且用一个例子说明了pdl是如何表示web服务的静态属性和动态属性的，以及改变变量和改变关系的动作的动态性质。
%K 一阶动态逻辑
%K web服务模型本体
%K web服务
%K 程序
%K 赋值
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=111125&flag=1