基于π-演算的Web服务事务补偿模型的研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 第一章 绪论 | 第11-15页 |
| ·选题背景 | 第11-12页 |
| ·本文主要研究内容 | 第12-13页 |
| ·本文结构 | 第13-15页 |
| 第二章 Web服务技术及π-演算概述 | 第15-26页 |
| ·Web服务简述 | 第15-18页 |
| ·Web服务的概念及特点 | 第15-16页 |
| ·Web服务的体系结构 | 第16-17页 |
| ·Web服务的组合 | 第17-18页 |
| ·Web服务的基础技术 | 第18-21页 |
| ·XML | 第19页 |
| ·SOAP | 第19-20页 |
| ·WSDL | 第20-21页 |
| ·UDDI | 第21页 |
| ·π-演算简述 | 第21-25页 |
| ·π-演算的优越性 | 第22-23页 |
| ·π-演算的语法及语义 | 第23-25页 |
| ·小结 | 第25-26页 |
| 第三章 Web服务的事务处理 | 第26-32页 |
| ·传统事务的属性 | 第26页 |
| ·Web服务事务的特点 | 第26-27页 |
| ·Web服务事务的补偿处理 | 第27-31页 |
| ·带补偿的CSP模型 | 第28页 |
| ·c-BPEL模型 | 第28-29页 |
| ·Webπ∞模型 | 第29-30页 |
| ·其他补偿模型 | 第30-31页 |
| ·小结 | 第31-32页 |
| 第四章 一般动态的补偿模型 | 第32-43页 |
| ·引言 | 第32页 |
| ·Exπ模型的语法及语义 | 第32-36页 |
| ·Exπ模型的类型系统 | 第36-40页 |
| ·模型的应用及特点 | 第40-41页 |
| ·小结 | 第41-43页 |
| 第五章 补偿模型的比较 | 第43-52页 |
| ·引言 | 第43页 |
| ·三类补偿模型的语法及语义 | 第43-46页 |
| ·三类补偿演算之间的编码 | 第46-50页 |
| ·编码条件 | 第46-47页 |
| ·静态和并行动态具有相同的表达能力 | 第47-50页 |
| ·Exπ的表达能力比静态和并行动态强 | 第50页 |
| ·小结 | 第50-52页 |
| 第六章 结束语 | 第52-54页 |
| ·本文工作的总结 | 第52-53页 |
| ·进一步工作的讨论 | 第53-54页 |
| 参考文献 | 第54-58页 |
| 攻读硕士学位期间发表的文章 | 第58-59页 |
| 致谢 | 第59-61页 |
