您的位置： 专家智库 > >

吴晓庆

作品数：1 被引量：0H指数：0
供职机构：中国科学院计算技术研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇WEB服务

机构

  • 1篇中国科学院

作者

  • 1篇马越
  • 1篇曹存根
  • 1篇眭跃飞
  • 1篇吴晓庆

传媒

  • 1篇计算机科学

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
描述Web服务的一阶动态逻辑
2011年
Web服务有几种形式化表示:WSMO(Web服务建模本体)和OWL-S(Web服务本体语言)。为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML。这里的一阶动态逻辑与传统的PDL不同,后者是用来表示程序改变变量的动态性质的,而描述Web服务的一阶动态逻辑除了描述改变变量的程序动作的动态性质之外,还需要描述改变关系的服务动作的动态性质。给出了描述Web服务的PDL的语法和语义,并且用一个例子说明了PDL是如何表示Web服务的静态属性和动态属性的,以及改变变量和改变关系的动作的动态性质。
吴晓庆马越曹存根眭跃飞
关键词：WEB服务
全选 清除 导出
共1页<1>
聚类工具0