| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第一章 绪论 | 第10-15页 |
| ·引言 | 第10-11页 |
| ·WEB SERVICES 和WS-BPEL | 第11-13页 |
| ·本文的研究背景及内容 | 第13-15页 |
| 第二章 基本概念和性质 | 第15-22页 |
| ·Webπ_∞的语法定义 | 第15-16页 |
| ·Webπ_∞的归约语义 | 第16-18页 |
| ·结构同余 | 第16-17页 |
| ·归约关系 | 第17-18页 |
| ·Webπ_∞的LTS 及其性质 | 第18-22页 |
| ·Webπ_∞的LTS | 第18-22页 |
| 第三章 Webπ_∞的强互模拟 | 第22-33页 |
| ·强互模拟与弱互模拟 | 第22页 |
| ·强B-互模拟 | 第22-23页 |
| ·强互模拟技术 | 第23-33页 |
| 第四章 强封闭互模拟的可靠性及其UP-TO 证明技术. | 第33-46页 |
| ·UP-TO 证明技术 | 第33-44页 |
| ·进化的概念及其性质 | 第33-34页 |
| ·强安全函数及其性质 | 第34-44页 |
| ·强封闭互模拟的可靠性 | 第44-46页 |
| 第五章 强封闭互模拟的完备性 | 第46-54页 |
| ·图像有限性 | 第46-49页 |
| ·强互模拟的分层及完备性定理 | 第49-54页 |
| 第六章 总结与展望 | 第54-55页 |
| ·全文总结 | 第54页 |
| ·进一步的工作 | 第54-55页 |
| 参考文献 | 第55-58页 |
| 致谢 | 第58-59页 |
| 在学期间的研究成果及发表的学术论文 | 第59页 |