文档介绍：合肥工业大学
硕士学位论文
基于模糊Petri网的语义Web服务组合建模与验证
姓名:吴亮
申请学位级别:硕士
专业:计算机软件与理论
指导教师:袁兆山
20090401
基于模糊挠镆錡服务组合建模与验证摘要随着互联网技术与应用的迅速发展,褡魑R恢中滦说腤应用模式及远程访问标准,很好地解决了异构平台上的数据和应用的整合与共享问题。但是,传统的袢狈τ镆逍畔ⅲ镆錡使得网络中竦慕岷喜擞镆錡服务。语义袷褂梦薅逍浴⒓算机可以理解的语言来描述瘢猈服务的自动发现、组合和本文在对现有的褡楹戏椒ǚ治鲋螅谰萦镆錡服务的然而,服务组合过程是一个复杂且易出错的过程,在组合服务执行之前对组合服务进行有效的验证是十分必要的。本文在分析了服务组合结构关键词:语义瘢:齈网,依赖关系,组合模型,验证的所有信息都是有语义的,使计算机能够理解和处理。语义际鹾调用提供了支持。特点,提出了模糊挠镆錡服务组合形式化模型,并根据语义裰涞囊览倒叵担菇ǚ竦娜ň忠览的P停缓蟛捎没赑网的推理方法,从中提取出语义褡楹夏P停迪肿楹夏P偷淖远推理生成。正确性验证的基础上,进行了基于模糊姆褡楹峡煽啃匝橹ぃ保证服务组合的正确性和可靠性。
篠,,珼
插图清单穹⒄⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⒎⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图.:齈网基本结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⑶.⒑⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.—⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图.⒓心J健
菩字日期:夕:暄驹聑厂日学位论文作者签名:芰杉舻々学位论文作者签名:?蠼印月签字日期:加独创性声明学位论文版权使用授权书本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究金魍王些太堂已在论文中作了明确的说明并表示谢意。本学位论文作者完全了解金坦王些太堂有关保留、使用学位论文的规定,有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许论文被查阅和借阅。本人授权金罡王些太堂可以将学位论文的全部或部分内容编入有关数据库进行检成果。据我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均签字日期:索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。C艿难宦畚脑诮饷芎笫视帽臼谌ㄊ学位论文作者毕业后去向:工作单位:通讯地址:导师签电话:邮编:
致谢指明前行的道路,给予我谆谆教诲和无微不至关怀。他渊博的知识、严谨感谢在各方面帮助过我的实验室的同窗,是你们的鼓励和支持使我坚最大的支持。他们以自己生活中的一言一行教育我、鼓励我要对自己有信心,要不断超越自我,迎接新的挑战,他们是我学习工作生活中永远的榜作者:吴亮值此论文完成之际,我谨向所有关心和帮助过我的老师、家人、同学以及朋友致以最真诚的谢意衷心感谢我的导师袁兆山教授,在我备感迷茫、徘徊不前的时候给我的治学态度和精益求精的工作作风给我留下最深刻的印象,是我以后学习的楷模。感谢计算机与信息学院的各位领导和老师给予的关心和帮助。定了信心,对于你们的帮助我表示衷心的感谢。感谢我的父母与亲友,他们无私的爱和奉献是我在硕士生学习阶段中样。他们的关爱和支持,永远是我不断进取的动力最后,感谢参加论文评审和答辩的各位老师在百忙之中抽出时间对论文进行评阅和指导年
第一章绪论面向服务的体系结构概述近年来随着软件开发技术的不断发展,需要在极端异构的互联网环境下集成独立开发的应用程序,因此产生了一种新的体系结构需求,这种体系结构应该可以通过一组通用的标准协议用于接口定义、方法调用并解决面向姆植际郊扑愕任侍狻S纱顺鱿值拿嫦蚍裉逑导芄且恢中滦说娜砑辜苄问剑梢杂糜设计下一代企业应用程序,它提供一个整合的和可监控各种松散耦合服务的平台,体现了良好的通用软件体系结构的原则【俊阎鸾コ晌<堂嫦蚬蹋嫦蚨韵蟮燃际跻院蟮闹髁魅砑辜埽是目前计算机软件领域研究的热点。与其他软件开发技术相比,它的基本思想是用服务来封装应用逻辑,服务与服务之间通过公共的通信协议进行交互。幕玖6鹊ヌ迨欠瘢煌谧榧问剑且杂没У囊滴概念来定义的,这使它存在于比组件更加靠近业务逻辑的抽象层次中,因此对它的需求相对不易改变。服务之间松散偶合,使得不同服务之间可以跨网络,跨平台,甚至跨编