基于petri网的web服务组合的分析与验证-软件工程专业论文.docxVIP

万方数据 万方数据 南京邮电大学学位论文原创性声明 本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。 尽我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过 的研究成果，也不包含为获得南京邮电大学或其它教育机构的学位或证书而使用过的材料。 与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。 本人学位论文及涉及相关资料若有不实，愿意承担一切相关的法律责任。 研究生签名： 日期： 南京邮电大学学位论文使用授权声明 本人授权南京邮电大学可以保留并向国家有关部门或机构送交论文的复印件和电子文 档；允许论文被查阅和借阅；可以将学位论文的全部或部分内容编入有关数据库进行检索； 可以采用影印、缩印或扫描等复制手段保存、汇编本学位论文。本文电子文档的内容和纸质 论文的内容相一致。论文的公布（包括刊登）授权南京邮电大学研究生院办理。 涉密学位论文在解密后适用本授权书。 研究生签名： 导师签名： 日期： 摘要 Web 服务(Web Service)是自描述、自包含的可用网络模块，执行具体的业务功能，进一 步扩展了“软件即服务”的概念。Web 服务组合的运行环境是动态的、异构的、广域分布的， 因此验证 Web 服务组合质量方法的重要性日益突出。 Petri 网不仅具有直观的图形描述方法，而且具有严谨的数学描述方法，其既强化了描述 系统的方法，又提供了分析系统行为的技术，所以本文采用了 Petri 网的分析方法来验证 Web 服务组合质量问题。 本文在调研了 Petri 网及其特点、应用等的基础上，使用 Petri 网分析技术对 Web 服务组 合进行分析，所做的工作包括：（1）选择 Web 服务组合 BPEL 文件，利用工具生成 Petri 网 模型；（2）利用 Petri 网化简规则对生成的 Petri 网模型进行化简；（3）使用 Petri 网算法对 化简后的模型生成状态可达图；（4）分析状态可达图，并使用相关工具验证；（5）提出 Petri 网优化算法对可达图进行优化。 本文的创新点如下： （1）本文采用 Petri 网化简规则与可达状态图相结合的方法来分析 Petri 网的重要性质， 这样对于比较库所、变迁数量庞大的复杂的 Petri 网进行分析时，可以提高分析的效率；对于 分析结果，本文使用有关工具来验证分析结果，实验证明这种方法是正确的、可行的。 （2）本文根据 Petri 网相关定理及推论提出了 Petri 网优化方法，并根据优化方法对可达 状态图进行优化，最后使用相关定理及推论对优化后的状态图进行分析，实验证明本文所提 出的优化方法是正确的、可行的。 关键词：Web 服务，BPEL，Petri 网，可达状态图 I Abstract Web Service is a self-describing, self-contained and available network module that performs specific business function,interpreting the concept of a software as a service. The environment of Web services composition is dynamic, heterogeneous, widely distributed.It also involves collaboration and interaction among multiple autonomous organizations. Hence the importance of verifying the quality of Web services composition methods is becoming increasingly significant. Petri nets not only simulate the operation of a system, but also describe the structural properties of the system. So Petri nets dynamically reflect the actual operation of a complex system. Therefore, we use Petri nets to validate the quality of Web services composition. The main work of this paper includes: (1) we use Tools4BPEL to genera