基于Petri网的Web服务组合验证与化简

摘要	第1-4页
ABSTRACT	第4-8页
第一章 绪论	第8-15页
·研究背景	第8-10页
·研究问题	第10-12页
·研究目的	第12-13页
·论文结构	第13-15页
第二章 相关技术探讨	第15-39页
·WEB 服务概述	第15-20页
·WEB 服务组合	第20-22页
·WEB 服务组合流程	第22-27页
·WEB 服务组合流程建模	第27-35页
·WEB 服务组合流程简化转换	第35-39页
第三章 研究方法设计	第39-63页
·WEB 服务组合验证与简化方法设计理念	第39-40页
·以PETRI-NET 建模WEB 服务组合	第40-48页
·WEB 服务组合结构正确性验证分析	第48-54页
·WEB 服务组合简化	第54-63页
第四章 研究方法实现	第63-79页
·实现架构设计	第63-67页
·BPEL2PNML XSLT 代理	第67-71页
·PNML 正确性验证代理	第71-74页
·PNML28PEL XSLT 代理	第74-75页
·BPEL 代数化简代理	第75-79页
第五章 结束语	第79-83页
·工作总结	第79-80页
·研究成果比较	第80-81页
·今后的工作	第81-83页
参考文献	第83-86页
附录: 顺序模式XSLT 模板	第86-89页
研究生期间发表的论文和参与的项目	第89-90页
致谢	第90页