基于着色赋时petri网web服务组合性能分析

《基于着色赋时petri网web服务组合性能分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：签字日期：年月日学位论文版权使用授权书本学位论文作者完全了解江西师范大学研究生院有关保留、使用学位论文的规定，有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人授权江西师范大学研究生院可以将学位论文的全部或部分内容编入

2、有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本授权书）学位论文作者签名：导师签名：签字日期：年月日签字日期：年月日摘要随着Web服务组合的广泛应用，其性能越来越受到人们的重视。通过分析Web服务组合的性能，可以找出性能缺陷，满足用户对性能的Qos需求，因此对Web服务组合进行性能分析是一件十分有必要的事情。由于存在“状态空间爆炸”问题，目前国内外研究中提出的一些性能模型很难分析复杂的Web服务组合的性能。针对这样的问题，本文使用了一种着色赋时Petri网（CTPN）来对业务流程语言BPEL进行性能建模。着色赋时P

3、etri网是一种图形化的建模工具，在描述系统的并行，分支，同步等行为方面具有一定的优势；由于它引入了时间、颜色等概念，有效地抑制了“状态空间爆炸”问题的发生。本文的工作主要集中于BPEL到CTPN模型的转换，以及利用CTPN模型分析工具CPN-Tools分析由BPEL描述的Web服务组合的性能，主要贡献如下：1.本文给出了BPEL中原子活动和结构化活动到CTPN的映射规则，实现了BPEL流程到CTPN模型的转换。2.根据转换规则将一个由BPEL流程描述的Web服务组合实例转换为对应的CPTN模型，并利用CPN-Tools中的两种不同分析工具对模型进行性能分析。首先，它通

4、过状态空间分析工具对CTPN模型生成标准的状态空间报告，该报告说明CTPN模型具有有界性和活性的特性，验证了Web服务组合的合理性。其次，它通过Monitor监控器收集了排队时间、响应时间等性能指标的模拟数据，并分析了在改变客户到达率和Web服务时间时这些性能指标的变化趋势，从而提出了性能优化方法。关键词：Web服务组合；BPEL；着色赋时Petri网；性能分析；IAbstractAlongwiththewideapplicationofWebservicescomposition,theperformanceismoreandmorebeingfocused.Thro

5、ughtheanalysisoftheWebservicescompositionperformance,wecanfindouttheperformancedefectsandsatisfyuser'sQosrequirements.soitisnecessarytoanalyzetheperformanceoftheservicecomposition.Duetothestatespaceexplosion,theperformancemodelproposedrecentlyishardtoanalyzetheperformanceofcomplexWebserv

6、icescomposition.Inthisthesis,thepaperproposesacoloredtimedPetrinet(CTPN)tomodelandanayzetheWebservicescompositionwhichdescricbedbyBPEL.CTPNisakindofgraphicalmodelingtoolwhichhaveanadvantageinthedescriptionofthesystemparallel,branch,synchronization,etc;italsointroducestheconceptsoftimeand

7、color,whichcaneffectivelycontroltheproblemofthestatespaceexplosive.TheworkofthispapermainlyfocusonthetransformationofBPELtoCPTNmodelandtheperformanceanalysisoftheWebservicescompositionusedbyCPN-Tools.Thefollowingisthemaincontributions.1.Thepapergiveamappingmethodfromtheat