网络分布计算中的事务工作流研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 第一章 绪论 | 第11-17页 |
| ·研究背景 | 第11-13页 |
| ·论文工作 | 第13-14页 |
| ·论文组织 | 第14-17页 |
| 第二章 事务和事务工作流技术 | 第17-33页 |
| ·事务处理技术 | 第17-20页 |
| ·并发控制 | 第17-18页 |
| ·恢复处理 | 第18-19页 |
| ·原子提交协议 | 第19-20页 |
| ·平面事务模型 | 第20-23页 |
| ·资源管理器 | 第20页 |
| ·事务监控器 | 第20-21页 |
| ·应用服务器 | 第21-22页 |
| ·事务服务规范 | 第22-23页 |
| ·扩展事务模型 | 第23-26页 |
| ·扩展事务模型举例 | 第23-25页 |
| ·扩展事务框架和系统 | 第25-26页 |
| ·工作流和事务工作流 | 第26-29页 |
| ·WfMC参考模型 | 第26-27页 |
| ·事务工作流系统 | 第27-29页 |
| ·问题总结 | 第29-30页 |
| ·小结 | 第30-33页 |
| 第三章 事务工作流模型ISTWM | 第33-47页 |
| ·概述 | 第33页 |
| ·ISTWM模型 | 第33-39页 |
| ·事务类型和事务实例 | 第33-34页 |
| ·事务工作流的结构 | 第34-35页 |
| ·事务工作流的执行 | 第35-38页 |
| ·事务工作流的调度 | 第38-39页 |
| ·良构性验证 | 第39-44页 |
| ·良构性的定义 | 第39-40页 |
| ·事务工作流执行的完成特性及其计算 | 第40-41页 |
| ·事务工作流活动的完成特性集及其计算 | 第41-42页 |
| ·良构性判断定理 | 第42-44页 |
| ·小结 | 第44-47页 |
| 第四章 事务工作流的调度算法 | 第47-55页 |
| ·事务工作流的调度 | 第47-48页 |
| ·循环冲突问题 | 第48页 |
| ·冲突检测粒度 | 第48页 |
| ·基于混合粒度冲突检测的事务工作流调度 | 第48-53页 |
| ·事务实例冲突和事务类型冲突 | 第49页 |
| ·事务实例锁和后继事务类型集 | 第49-50页 |
| ·后继事务类型集的构造 | 第50-51页 |
| ·调度算法描述 | 第51-53页 |
| ·相关工作和讨论 | 第53-54页 |
| ·小结 | 第54-55页 |
| 第五章 事务工作流描述语言ISTWL | 第55-69页 |
| ·概述 | 第55页 |
| ·事务类型的描述 | 第55-57页 |
| ·事务类型声明 | 第55-56页 |
| ·冲突函数定义 | 第56-57页 |
| ·事务工作流的描述 | 第57-60页 |
| ·上下文变量 | 第57-58页 |
| ·事务调用 | 第58页 |
| ·控制结构 | 第58-60页 |
| ·正确性检查 | 第60-62页 |
| ·完整性 | 第60-61页 |
| ·良构性 | 第61-62页 |
| ·应用实例 | 第62-63页 |
| ·相关工作和比较 | 第63-66页 |
| ·通用工作流描述语言 | 第63-64页 |
| ·事务工作流描述语言 | 第64-66页 |
| ·ISTWL和其他语言比较 | 第66页 |
| ·小结 | 第66-69页 |
| 第六章 事务工作流的支撑环境 | 第69-97页 |
| ·概述 | 第69页 |
| ·消息通信中间件ISMQ 3.0 | 第69-81页 |
| ·总体结构 | 第69-70页 |
| ·用于事务恢复处理的面向对象框架ISTM | 第70-75页 |
| ·通用网络编程接口包UniChannels | 第75-81页 |
| ·分布事务监控器ISTX 1.0 | 第81-95页 |
| ·系统概述 | 第82-83页 |
| ·事务管理子系统 | 第83-88页 |
| ·恢复管理子系统 | 第88-90页 |
| ·连接管理子系统 | 第90-95页 |
| ·小结 | 第95-97页 |
| 第七章 事务工作流原型系统ISTW | 第97-109页 |
| ·系统概述 | 第97-98页 |
| ·系统的总体结构 | 第97-98页 |
| ·基于J2EE的分布计算环境 | 第98-100页 |
| ·J2EE中的关键服务 | 第98-99页 |
| ·企业JavaBean | 第99-100页 |
| ·事务工作流的定义和实施工具 | 第100-104页 |
| ·一致性检查和良构性检查 | 第100-103页 |
| ·事务工作流的实施 | 第103-104页 |
| ·事务工作流执行引擎 | 第104-107页 |
| ·工作流执行上下文 | 第104-105页 |
| ·主要数据结构 | 第105-106页 |
| ·工作流调度器 | 第106页 |
| ·活动管理器 | 第106页 |
| ·恢复管理器 | 第106-107页 |
| ·事务工作流的故障处理 | 第107页 |
| ·相关工作和小结 | 第107-109页 |
| 第八章 结束语 | 第109-113页 |
| ·论文的主要贡献 | 第109-111页 |
| ·进一步的工作 | 第111-113页 |
| 附录A ISTWL语言定义 | 第113-117页 |
| A. 1 词法定义 | 第113-114页 |
| A. 1.1 关键字 | 第113页 |
| A. 1.2 特殊符号 | 第113页 |
| A. 1.3 其他符号 | 第113页 |
| A. 1.4 空白符号 | 第113页 |
| A. 1.5 注释 | 第113-114页 |
| A. 2 语法定义 | 第114-117页 |
| 参考文献 | 第117-125页 |
| 发表文章目录 | 第125-127页 |
| 致谢 | 第127页 |
