题名 | 基于动态逻辑的语义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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论