web服务组合与验证相关技术研究计算机科学与技术专业论文.docxVIP

Related Related TechnoIogy Research on Web Ser、，ice ComLjom DositionDOSltlon andana V．eriIficationVerlIlCatlon SpeciaIty： ￡Q墅P坠!曼r S坌i曼n曼皇垦n查!堡垒hnQ!Q舣 Master Degree Candidate：№ng』i垒ng Supervisor： Prof Jianhua Li School of Information Science and Engineering Central South UniVersi锣 Changsha Hunan P．R．China 原创性声明本人声明，所呈交的学位论文是本人在导师指导下进行的研究工作 原创性声明 本人声明，所呈交的学位论文是本人在导师指导下进行的研究工作 及取得的研究成果。尽我所知，除了论文中特别加以标注和致谢的地方 外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获 得中南大学或其他单位的学位或证书而使用过的材料。与我共同工作的 同志对本研究所作的贡献均已在论文中作了明确的说明。 作者签名：i凌函 日期： 狸!f“月上日 学位论文版权使用授权书 本人了解中南大学有关保留、使用学位论文的规定，即：学校有权 保留学位论文并根据国家或湖南省有关部门规定送交学位论文，允许学 位论文被查阅和借阅；学校可以公布学位论文的全部或部分内容，可以 采用复印、缩印或其它手段保存学位论文。同时授权中国科学技术信息 研究所将本学位论文收录到《中国学位论文全文数据库》，并通过网络向 社会公众提供信息服务。 作者签名：匕臣哑一导师 日期：盟年』月上日 ‘ 摘要随着W曲服务技术的快速发展，越来越多的稳定易用的W曲服务共 摘要 随着W曲服务技术的快速发展，越来越多的稳定易用的W曲服务共 享在网络上，但是单个W，eb服务的功能一般比较简单，很多情况下不能 满足用户的实际需要，为了更加充分地利用这些共享的W|eb服务，有必 要将这些W．eb服务组合起来，提供更为强大的功能，满足用户的实际需 求。W曲服务组合验证能提前发现W曲服务组合中存在的缺陷，是提高 W-eb服务组合执行的成功率和增强用户满意度的关键，对W．eb服务组合 的正确运行具有十分重要的意义。本文的主要工作如下： 1．提出一种基于与或图的W曲服务组合方法。该组合方法可分为两 个步骤，首先根据已有可用的W．eb服务和用户提出的服务请求，从服务 请求的输出对象到输入对象反向生成服务参数与或图。然后在与或图中 搜索能够满足服务请求的服务组合图，该方法可以提高服务组合的效率 和成功率。 2．提出一种利用Pi演算对W|eb服务组合的正确性进行验证的方法。 先用Pi演算对W曲服务组合进行建模，然后在Pi演算辅助工具MWB 中验证该服务组合方案是否存在死锁和是否满足用户需求。 3．利用Pi演算对W曲服务组合中一个服务是否可以被另一个服务 替换进行验证。先用Pi演算对进行服务替换后新的组合服务进行建模， 并根据新的组合服务是否兼容来判断该服务替换的可行性。 本文对W曲服务组合和W．eb服务组合验证进行了深入的研究，提出 了有效的解决方案，对于推进W|eb服务组合技术的理论研究和应用具有 一定的价值。 关键词W曲服务，Wreb服务组合，服务组合验证，服务替换 ABSTRACTWith ABSTRACT With the rapid deVelopment of W曲service technology，more and more stable and ease．to．use W色b services are shared on me Intemet．But the function of a single W曲service is simple，it can not meet the actual needs of users in many cases．In order to utilize the shaured W曲services more如1lyit is necessa眄to combine these W曲services together so that these W曲serVices can provide more powerml mnctions and meet the actual needs of users． V．e“fication of Web service composition can find existed defbcts in Web service composition in advance．It is a key to improve the success