描述Web服务的一阶动态逻辑
文献类型：期刊论文
| 作者 | 吴晓庆 |
| 刊名 | 计算机科学
 |
| 出版日期 | 2011 |
| 卷号 | 38.0期号:011页码:109 |
| 关键词 | 一阶动态逻辑 Web服务模型本体 Web服务 程序 赋值 |
| ISSN号 | 1002-137X |
| 英文摘要 | Web服务有几种形式化表示：WSMO（Web服务建模本体）和OWL-S（Web服务本体语言）。为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML。这里的一阶动态逻辑与传统的PDL不同,后者是用来表示程序改变变量的动态性质的,而描述Web服务的一阶动态逻辑除了描述改变变量的程序动作的动态性质之外,还需要描述改变关系的服务动作的动态性质。给出了描述Web服务的PDL的语法和语义,并且用一个例子说明了PDL是如何表示Web服务的静态属性和动态属性的,以及改变变量和改变关系的动作的动态性质。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/33018]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 吴晓庆. 描述Web服务的一阶动态逻辑[J]. 计算机科学,2011,38.0(011):109. |
| APA | 吴晓庆.(2011).描述Web服务的一阶动态逻辑.计算机科学,38.0(011),109. |
| MLA | 吴晓庆."描述Web服务的一阶动态逻辑".计算机科学 38.0.011(2011):109. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。