Institute of Computing Technology, Chinese Academy IR
| 描述Web服务的一阶动态逻辑 | |
| 吴晓庆 | |
| 2011 | |
| 发表期刊 | 计算机科学
 |
| ISSN | 1002-137X |
| 卷号 | 38.0期号:011页码:109 |
| 摘要 | Web服务有几种形式化表示：WSMO（Web服务建模本体）和OWL-S（Web服务本体语言）。为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML。这里的一阶动态逻辑与传统的PDL不同,后者是用来表示程序改变变量的动态性质的,而描述Web服务的一阶动态逻辑除了描述改变变量的程序动作的动态性质之外,还需要描述改变关系的服务动作的动态性质。给出了描述Web服务的PDL的语法和语义,并且用一个例子说明了PDL是如何表示Web服务的静态属性和动态属性的,以及改变变量和改变关系的动作的动态性质。 |
| 关键词 | 一阶动态逻辑 Web服务模型本体 Web服务 程序 赋值 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/33019 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 吴晓庆. 描述Web服务的一阶动态逻辑[J]. 计算机科学,2011,38.0(011):109. |
| APA | 吴晓庆.(2011).描述Web服务的一阶动态逻辑.计算机科学,38.0(011),109. |
| MLA | 吴晓庆."描述Web服务的一阶动态逻辑".计算机科学 38.0.011(2011):109. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [吴晓庆]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [吴晓庆]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [吴晓庆]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论