基于Petri网的BPEL流程调试工具的研究与实现
| 摘要 | 第1-4页 |
| Abstracts | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景和意义 | 第7-8页 |
| ·研究现状 | 第8-10页 |
| ·课题来源 | 第10-11页 |
| ·本文研究内容 | 第11页 |
| ·本文组织结构 | 第11-13页 |
| 第二章 BPEL流程理论概述 | 第13-21页 |
| ·BPEL发展历史 | 第13-14页 |
| ·BPEL关键活动 | 第14-15页 |
| ·BPEL过程组件 | 第15-17页 |
| ·合作伙伴链接 | 第15-16页 |
| ·变量 | 第16页 |
| ·关联集合 | 第16页 |
| ·异常处理机制 | 第16-17页 |
| ·事务与补偿机制 | 第17页 |
| ·BPEL设计原则及相关技术 | 第17-20页 |
| ·设计原则 | 第17-18页 |
| ·BPEL相关技术 | 第18-20页 |
| ·小结 | 第20-21页 |
| 第三章 BPEL流程的Petri网建模 | 第21-32页 |
| ·Petri网理论分析 | 第21-25页 |
| ·Petri网的基本概念 | 第21-23页 |
| ·Petri网主要性质 | 第23-24页 |
| ·Petri网标记语言 | 第24-25页 |
| ·BPEL流程的Petri网建模 | 第25-29页 |
| ·PNBP定义和图形化表示 | 第25-26页 |
| ·BPEL流程的PNBP建模 | 第26-29页 |
| ·BPEL流程的正确性验证 | 第29-31页 |
| ·安全性验证 | 第29-30页 |
| ·可达性验证 | 第30-31页 |
| ·死锁验证 | 第31页 |
| ·小结 | 第31-32页 |
| 第四章 调试工具的设计与实现 | 第32-53页 |
| ·流程调试工具与外部组件的关系 | 第32-34页 |
| ·BPEL Editor组件 | 第33页 |
| ·BPEL Engine组件 | 第33-34页 |
| ·流程调试工具功能分析 | 第34-38页 |
| ·流程调试工具架构设计 | 第38-40页 |
| ·系统实现 | 第40-52页 |
| ·PNML文件转换模块 | 第40-45页 |
| ·流程逻辑验证模块 | 第45-48页 |
| ·流程仿真模块 | 第48-49页 |
| ·系统实现包图 | 第49-50页 |
| ·系统实现类图 | 第50-51页 |
| ·系统GUI实现 | 第51-52页 |
| ·小结 | 第52-53页 |
| 第五章 调试工具应用 | 第53-61页 |
| ·贷款审批流程分析 | 第53-54页 |
| ·贷款审批流程建模 | 第54-58页 |
| ·流程的BPEL描述 | 第54-57页 |
| ·BPEL流程抽象与建模 | 第57-58页 |
| ·贷款审批流程调试 | 第58-60页 |
| ·小结 | 第60-61页 |
| 第六章 总结与展望 | 第61-63页 |
| ·全文总结 | 第61页 |
| ·下一步工作 | 第61-63页 |
| 参考文献 | 第63-67页 |
| 攻读硕士学位期间研究工作 | 第67-68页 |
| 致谢 | 第68页 |
