基于Petri网的Web服务组合的分析与验证.pdf

《基于Petri网的Web服务组合的分析与验证.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、＇．：．一苦－ＪＩ’；ｒ早‘户．‘：１＇Ｖ．－早单＾賴厳密＇．ｖ背＇＇．．叫／ｒ．Ｖ－？：．＾’－：；灯；；＇：Ｋ＇’．；ｉ若，Ｊ．＾今Ｖ．ｆ－Ｖ．ｒ．；貧．：鮮巧：％＇讀＾聲＾－Ｖ－＇．ｔ寒舊；■辜．，ｕ．－．化ｓｔ硕ｆ禾．４緣谗■＇ｒ爲．；－？，＇一．．－苗．：１Ｗ＇ｆ．．Ｉ；Ｖ．弦無秦＇Ｖ：＇：‘ｔ．苗．；／ｈ．胆£■１擎：－！｝獲巧＜ｗ‘Ｖ．．’＇Ｉ．ｖ＇／；．；１為ｆ．．＇＼；．，ｖＭ、：，

2、ｖ．：．．．＜．，＞．．？＊ｚ；；：‘：，，，致．．目基加Ｉ浊服组合的与？献醇＾’：，＇；＇．．‘‘＇．．ｖ，起＞ｖ．５－一，Ｖ—ｒｉ，ｕ＇！；＇亏．：．ｕ学。Ｃ絹４’＾＾ｒ１．若：＇－；ｖ＇；巧’．；．．鸣＇；姓名与齡．高、ｉ＇ｒ－＇：资．＇武＇ＶＪ０导师，ｖ张鹏姜、－＼．，、＇；／：＇、、．；导．＊专学类别＂５訓＇二若ｖ卢＇＇、类型：ｔ＾全刖－‘■＇：？＇：相请．：．专．域．■、．－；鄉巧＇

3、．．，－／．ｖ．「ｒ＇，．．论提日期，一＾弓＼ｗ－吃＼貧．＇．．‘ｆ令：；．＇．＾．．．ｖｒ、＼；＇冬，‘ｔ為＇＾、．：．产．／ｉ＇Ｖ，．言，ｓ這＞Ｃ衔；．－；．．．＇＞．‘ｆ，；＜．；Ｖ，、＼二满ｙ？＜詰；Ａ，這TheAnalysisandVerificationofWebServiceCompositionBasedonPetriNetsThesisSubmittedtoNanjing

4、UniversityofPostsandTelecommunicationsfortheDegreeofMasterofEngineeringByHaiyanGaoSupervisor:Prof.YingzhouZhangMarch2015摘要Web服务(WebService)是自描述、自包含的可用网络模块，执行具体的业务功能，进一步扩展了“软件即服务”的概念。Web服务组合的运行环境是动态的、异构的、广域分布的，因此验证Web服务组合质量方法的重要性日益突出。Petri网不仅具有直观的图形描述方法

5、，而且具有严谨的数学描述方法，其既强化了描述系统的方法，又提供了分析系统行为的技术，所以本文采用了Petri网的分析方法来验证Web服务组合质量问题。本文在调研了Petri网及其特点、应用等的基础上，使用Petri网分析技术对Web服务组合进行分析，所做的工作包括：（1）选择Web服务组合BPEL文件，利用工具生成Petri网模型；（2）利用Petri网化简规则对生成的Petri网模型进行化简；（3）使用Petri网算法对化简后的模型生成状态可达图；（4）分析状态可达图，并使用相关工具验证；（5）提

6、出Petri网优化算法对可达图进行优化。本文的创新点如下：（1）本文采用Petri网化简规则与可达状态图相结合的方法来分析Petri网的重要性质，这样对于比较库所、变迁数量庞大的复杂的Petri网进行分析时，可以提高分析的效率；对于分析结果，本文使用有关工具来验证分析结果，实验证明这种方法是正确的、可行的。（2）本文根据Petri网相关定理及推论提出了Petri网优化方法，并根据优化方法对可达状态图进行优化，最后使用相关定理及推论对优化后的状态图进行分析，实验证明本文所提出的优化方法是正确的、可行的

7、。关键词：Web服务，BPEL，Petri网，可达状态图IAbstractWebServiceisaself-describing,self-containedandavailablenetworkmodulethatperformsspecificbusinessfunction,interpretingtheconceptof"asoftwareasaservice".TheenvironmentofWebservicescompositionisdynamic,heterogeneous,wi

8、delydistributed.Italsoinvolvescollaborationandinteractionamongmultipleautonomousorganizations.HencetheimportanceofverifyingthequalityofWebservicescompositionmethodsisbecomingincreasinglysignificant.Petrinetsnotonlysimulatetheoperationof