Web事务的建模及其语义分析
| 论文摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 第一章 引言 | 第12-30页 |
| §1.1 Web服务 | 第12-14页 |
| §1.2 Web服务组合 | 第14-17页 |
| §1.3 Web事务 | 第17-27页 |
| §1.3.1 背景介绍 | 第18-21页 |
| §1.3.2 相关工作 | 第21-25页 |
| §1.3.3 研究方法 | 第25-27页 |
| §1.4 主要贡献 | 第27-30页 |
| 第二章 事务语言t演算 | 第30-40页 |
| §2.1 语法结构 | 第31-36页 |
| §2.2 实例分析 | 第36-37页 |
| §2.3 本章小结 | 第37-40页 |
| 第三章 代数语义模型 | 第40-62页 |
| §3.1 规范型 | 第40-43页 |
| §3.2 代数规则 | 第43-50页 |
| §3.3 代数定律 | 第50-59页 |
| §3.4 本章小结 | 第59-62页 |
| 第四章 操作语义模型 | 第62-80页 |
| §4.1 变迁规则 | 第62-69页 |
| §4.2 互模拟关系 | 第69-77页 |
| §4.3 本章小结 | 第77-80页 |
| 第五章 指称语义模型 | 第80-100页 |
| §5.1 对迹 | 第80-81页 |
| §5.2 迹语义 | 第81-92页 |
| §5.3 等价关系 | 第92-99页 |
| §5.4 本章小结 | 第99-100页 |
| 第六章 服务编制的事务演算TCOS | 第100-114页 |
| §6.1 扩展t演算 | 第100-101页 |
| §6.2 可观察语义模型 | 第101-104页 |
| §6.3 语义解析 | 第104-112页 |
| §6.3.1 原子事务 | 第104-105页 |
| §6.3.2 可补偿事务 | 第105-112页 |
| §6.4 本章小结 | 第112-114页 |
| 第七章 总结与展望 | 第114-120页 |
| §7.1 工作总结 | 第114-116页 |
| §7.2 后期工作的展望 | 第116-120页 |
| 附录 TCOS的扩展语义 | 第120-126页 |
| 参考文献 | 第126-136页 |
| 作者申请博士学位期间完成的工作 | 第136-138页 |
| 致谢 | 第138页 |
