基于ZING的Web服务建模和验证-计算机应用技术专业论文.docxVIP

万方数据 万方数据 独创性(或创新性)声明 本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研 究成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中 不包含其他人已经发表或撰写过的研究成果；也不包含为获得桂林电子科技大学 或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所 做的任何贡献均已在论文中做了明确的说明并表示了谢意。 申请学位论文与资料若有不实之处，本人承担一切相关责任。 本人签名： 日期： 关于论文使用授权的说明 本人完全了解桂林电子科技大学有关保留和使用学位论文的规定，即：研究 生在校攻读学位期间论文工作的知识产权单位属桂林电子科技大学。本人保证毕 业离校后，发表论文或使用论文工作成果时署名单位仍然为桂林电子科技大学。 学校有权保留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全 部或部分内容，可以允许采用影印、缩印或其它复制手段保存论文。(保密的论 文在解密后遵守此规定) 本学位论文属于保密在 年解密后适用本授权书。 本人签名： 日期： 导师签名： 日期： 摘 要 摘要 Web服务可视为具有并发性的分布式软件系统，可通过相关标准实现不同应用程 序间的互操作。然而，并发系统往往存在非确定性进程调用，程序员在编写代码时很 难考虑到大量并发进程中所有可能的交互，致使写出的程序的正确性和可靠性难以得 到保证。因此W