| 题名 | 基于动态逻辑的语义Web服务组合研究 |
| 作者 | 刘冬 |
| 答辩日期 | 2009 |
| 文献子类 | 硕士 |
| 授予单位 | 兰州理工大学 |
| 导师 | 李明 |
| 关键词 | 语义网 语义Web服务 服务组合 Web服务本体语言 动态逻辑 自动推理 |
| 学位名称 | 工学硕士 |
| 学位专业 | 计算机软件与理论 |
| 英文摘要 | 随着Web服务技术的迅速发展，越来越多的Web服务运行在Internet上，但单个Web服务功能有限，难以满足日益增长和不断变化的用户需求。因此，如何将已有的、运行在异构平台上的Web服务组合起来，提供给用户更为强大和增值的功能，成为Web服务研究领域中的一个热点。语义Web服务研究的根本任务就是对Web服务进行标记，使Web服务成为用户透明的、计算机可理解的实体，从而方便Web服务的自动发现与组合。目前，许多国内外研究机构对Web服务组合技术展开研究，并取得了一些成果。然而，Web服务组合还有许多需要解决的问题：怎样确定Web服务之间的逻辑及时序关系,以实现自动化的Web服务组合;怎样测试和验证Web服务组合,以保证组合后Web服务执行结果的正确性。针对上述问题，文本提出了基于动态逻辑的Web服务组合方法，通过对OWL-S过程模型的形式描述，建立了语义Web服务的动态逻辑模型，进而利用动态逻辑的公理系统和推理规则产生满足需求的组合服务。该方法能自动地形成了Web服务组合方案，并保证了服务组合结果的正确性和完整性。 |
| 语种 | 中文 |
| 页码 | 55 |
| 内容类型 | 学位论文 |
| 源URL | [http://ir.lut.edu.cn/handle/2XXMBERH/99046]  |
| 专题 | 兰州理工大学 |
| 作者单位 | 兰州理工大学 |
| 推荐引用方式 GB/T 7714 | 刘冬. 基于动态逻辑的语义Web服务组合研究[D]. 兰州理工大学. 2009. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论