基于peti网动态web服务组合分析和验证

《基于peti网动态web服务组合分析和验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、摘要摘要随着Internet由传统意义下的信息发布平台逐渐演变为一个开放的分布式计算平台，越来越多的数据资源、计算资源及应用资源以“服务一的方式进行封装和抽象后被获取和访问，而实现资源的充分利用和优化配置的有效手段就是动态服务组合。伴随着Web服务技术体系的进一步规范化，使得Web服务已成为服务实现的主流，从而动态Web服务组合技术成为服务组合的代名词，是研究之热点。本文以企业应用中需要对不同异构系统进行集成，满足用户动态变化的业务需求为背景，展开对动态Web服务组合的相关技术的研究，侧重于利用Petri网对组合方案进行优化、分析、验证。针对Web服务自动组合、

2、合成服务流程验证、合成服务优化等Web服务研究方面仍然存在大量问题亟待解决，我们做了以下工作：(1)针对服务组合过程中，当存在多个满足用户需求的服务组合方案时候，如何选择性能最优的组合方案的问题，提出一种基于Petri网的动态Web服务组合的选择策略。与当前众多Web服务组合相关研究的创新之处在于，提出直接从Web服务库和用户需求构建非齐次线性方程组，并通过非齐次线性方程组的基础解系，确定满足用户需求的所有组合方案。然后对于每一种组合方案，使用GSPN评估服务组合方案的性能，选择出性能最优的组合方案。(2)为了使服务组合方案性能最优，提出一种基于Petri网行为

3、关系的Web服务组合优化算法，该算法在满足用户需求的同时，根据已有的Web服务，自动获取性能最优的服务组合方案。利用Petri网进行建模，采用可达图进行分析，通过提取网中变迁之间以及变迁序列之间的各种行为关系，得到费用最廉的组合结构。(3)针对选择组合服务过程中仅考虑功能需求不足以满足用户需求在行为方面的约束，提出采用’Petri网作为Web服务过程描述的形式化工具，同时对用户组合服务需求中的行为约束，建立Petri网模型。然后根据提出的服务组合行为一致判定算法，选择出满足行为约束条件的组合服务，从而提高选择的准确性。为了使判定过程简便快捷，我们采用Visual

4、C++编制了原型系统。图[193表[43参[573关键词：Web服务；Petri网；动态服务组合；组合优化；行为约束分类号：TP302．1摘要AbstractTheInteractisnowundergoingallevolutionfromatraditionalplatformforsharinginformationtoallopendistributedcomputingin向s伽lcnⅡ℃．Withmollgandmoredataresources，computingresourcesandapplicationswrappedandabstracte

5、dby“services”tobeaccessibleviatheInternetforpublicusage，∞rvi∞compositionbecomesthenaturalwayfordynamicrcsourc2aggregationandflexibleappfi蒯onintergration．Especially,alongwiththeappearanceandpromotionofWebServicesasthemainstreamtechnologyforserviceprovision,inrecentyearsdynamicservicec

6、ompositionbasedonWebServicesconsequentlyhasbeenregarded鹤ahotresearchtopicintheareaofdistributedcomputing．Toaddresstherequirementsofintegrationamongdifferenthe钯rogencoussystemsinenterpriseapplication,thenmeetthedynamicclientrequirementsofbusiness,wehaveinvestigatedsomerelatedissuesofd

7、ynamicserviceeomosition,focusingonusingthePetrinettooptimize，analyseandverifythesa[3ticecompositionplan．ForthesituationwheretherehavestillbeenmanyproblemsinWebSCI弋／icecompositionresearchswhichinvolveWebserviceautomaticalcomposition,syntheticservi∞processverification,syntheticserviceo

8、ptimization,