Lanzhou University of Technology Institutional Repository (LUT_IR)
题名 | 基于动态逻辑的语义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服务组合方案,并保证了服务组合结果的正确性和完整性。 |
其他摘要 | With the rapid development of Web service technologies,more and more Web services are running on the Internet.However,a single Web Service's function is limited,which make it difficult to meet the growing and changing user need.Therefore how to compose the Web services of heterogeneous plantforms to provide the user with a more powerful and valuable function has becomes a hot topic of Research in the field of Web Service.The purpose of Semantic Web Services is to use semantic specific technologies of semantic Web to label Web Services,which can automate the discovery,invocation,composition Web services by computers and Agents.Currently,many research institutions at home or abroad has began to sudy the semantic Web services composition and achieved some success.However,there are still some problems need to solve. |
页数 | 55 |
语种 | 中文 |
学号 | 092081202002 |
文献类型 | 学位论文 |
条目标识符 | https://ir.lut.edu.cn/handle/2XXMBERH/99046 |
专题 | 兰州理工大学 |
作者单位 | 兰州理工大学 |
第一作者单位 | 兰州理工大学 |
推荐引用方式 GB/T 7714 | 刘冬. 基于动态逻辑的语义Web服务组合研究[D]. 兰州理工大学,2009. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
查看访问统计 |
谷歌学术 |
谷歌学术中相似的文章 |
[刘冬]的文章 |
百度学术 |
百度学术中相似的文章 |
[刘冬]的文章 |
必应学术 |
必应学术中相似的文章 |
[刘冬]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论