基于动态逻辑的语义Web服务组合研究

题名	基于动态逻辑的语义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.