基于petri网web服务组合行为的分析论文

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

1、中图分类号：!￡3Q2：!学科分类号：—520．1—099论文编号：密级：公珏安徽理工大学硕士学位论文基于Petri网的Web服务组合行为分析作者姓名：王姐专业名称：廑旦数堂研究方向：￡旦主!i圆理论拯墓应用导师姓名：友贤塞数援导师单位：塞邀理王太堂答辩委员会主席：筮±篮教援论文答辩日期：2012年6月5日安徽理工大学研究生处2012年6月'日ADissertationinAppliedMathematicsTheBehaviorAnalysisofWebServiceCompositionBasedonPetriNetCandidate：WangJuanSupervisor：Pr

2、of．FangXianwenMajorofAppliedMathematicsAnHuiUniversityofScienceandTechnologyNo．168，ShungengRoad，Huainan，232001，P．R．CHINA独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地方以外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得塞筮堡王太堂或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：强日期

3、：2业年j月t日学位论文版权使用授权书本学位论文作者完全了解塞邀堡王太堂有保留、使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属于塞徽堡王太堂。学校有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人授权安徽理工大学可以将学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。(保密的学位论文在解密后适用本授权书)学位论文作者签名：函啊导师签名：弓链曼签字日期：沁f六年6月夕日签字日期：加1脾6月7日摘要摘要目前，Web服务组合的研究主要集中于需求的可满足性，主要从功能角度进行研究，在服

4、务行为方面考虑较少。本文从服务行为角度入手，主要研究了以下两个方面的内容：(1)组合Web服务的正确性主要是通过合理性来判定，服务组合的行为合理性引起了国内外学者的关注，这些工作大多基于Petri网、有限状态机或者自动机理论展开。但对于合理性的判定是困难的，且对于组合服务的正确性判定来说，其要求也较高。所以本文考虑的是弱合理性。本文针对已提出的行为一致相关性判定算法仅在T一不变量存在的情况是可行的，而对于T一不变量不存在时，该方法则无法使用。所以本文利用开放Petri网对Web服务进行建模，接着基于服务树的理论提出了判定多个Web服务组合后满足行为弱合理性的算法，以此来实现对组合W

5、eb服务的正确性的分析。最后通过具体实例分析了该方法的有效性。(2)一个服务型系统是由独立的软件单元，即服务，通过信息交换来交互组成的。这种系统的正常运行取决于每个个体服务能否按其它服务期望的运行。由于服务可能会被独立地执行或发展，所以假设服务永远不变是不现实的。这就引起了一个问题：服务的实际行为是否符合它的期望行为?本文利用Petri网对服务的期望行为建模，并将实际行为转化为一组变迁序列，然后从合适性和恰当性这两个测量标准对Petri网模型和变迁序列进行了一致性检验。一致性检验又称为一致性分析，是用来发觉进程模型和它的相应的执行日志间的不一致的地方。所谓合适性是用来刻画执行序列被

6、Petri网模型接受的程度，恰当性则是刻画执行序列在Petri网模型所表示的所有行为序列中所占的比重。恰当性又可以从结构恰当性和行为恰当性两个方面来评价。接着提出了基于一致性的服务组合行为可预期性算法，最后仿真实验说明了该方法的优越性。图[163表[23参[583关键词：Web服务；Petri网；开放Petri网；一致性检验；弱合理性分类号：TP302．1；AbstractAtpresent，theWebservicecompositionresearchfocusesondemand．Itthinksaboutthefunctionperspectivemorethanthese

7、rvicebehaviorperspective．Thispaper，fromtheservicebehaviorperspective，mainlystudiesthefollowingtwocontents：(1)Atpresent，thecorrectnessoftheWebservicecompositionisprimarilyanalyzedbysoundness，andthesoundnesshascausedtheattentionofscholars