| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第7-9页 |
| ·国内外研究现状 | 第9-10页 |
| ·研究内容 | 第10-11页 |
| ·论文的组织结构 | 第11-13页 |
| 第二章 相关研究 | 第13-23页 |
| ·问题描述 | 第13-14页 |
| ·建模WS-BPEL活动的典型方法—Petri网理论 | 第14-17页 |
| ·建模WS-BPEL活动的典型方法—自动机理论 | 第17-19页 |
| ·建模WS-BPEL活动的典型方法—进程代数理论 | 第19-22页 |
| ·小结 | 第22-23页 |
| 第三章 π-演算与BPEL | 第23-38页 |
| ·π-演算基础理论 | 第23-29页 |
| ·π-演算的语法定义 | 第23-24页 |
| ·π-演算的约简规则 | 第24-25页 |
| ·π-演算的操作语义 | 第25-26页 |
| ·π-演算中的等价语义 | 第26-28页 |
| ·移动工作台MWB | 第28-29页 |
| ·Web服务业务流程描述语言WS-BPEL | 第29-37页 |
| ·BPEL的发展 | 第29-31页 |
| ·BPEL的特性 | 第31-32页 |
| ·BPEL模型 | 第32-34页 |
| ·BPEL活动 | 第34-37页 |
| ·小结 | 第37-38页 |
| 第四章 WS-BPEL活动的建模与流程的性质分析 | 第38-56页 |
| ·用π-演算建模WS-BPEL活动的研究现状 | 第38-39页 |
| ·选择π-演算建模的原因 | 第39-40页 |
| ·WS-BPEL关键活动的π-演算建模 | 第40-48页 |
| ·业务流程π-演算的转换算法 | 第48-50页 |
| ·流程的性质分析 | 第50-54页 |
| ·小结 | 第54-56页 |
| 第五章 WS-BPEL转换和验证工具B2P的设计与实现 | 第56-64页 |
| ·B2P工具的体系结构 | 第56页 |
| ·B2P工具功能描述 | 第56-57页 |
| ·B2P工具设计与实现 | 第57-62页 |
| ·解析模块类图及类描述 | 第57-61页 |
| ·用户界面介绍及使用 | 第61-62页 |
| ·实例分析 | 第62-63页 |
| ·小结 | 第63-64页 |
| 第六章 总结与展望 | 第64-66页 |
| ·全文的工作总结 | 第64页 |
| ·未来的研究工作 | 第64-66页 |
| 参考文献 | 第66-70页 |
| 攻读硕士学位期间取得的学术成果 | 第70-71页 |
| 致谢 | 第71页 |