| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第一章 绪论 | 第12-19页 |
| ·可靠性工程和FRACAS 的发展 | 第12-13页 |
| ·FRACAS 与可靠性工程的关系 | 第12页 |
| ·FRACAS 及其软件的发展情况 | 第12-13页 |
| ·商用飞机对FRACAS 软件的要求和现有软件存在的问题 | 第13-15页 |
| ·商用飞机对 FRACAS 软件的要求 | 第13-14页 |
| ·现有软件在商用飞机研制使用中存在的问题 | 第14-15页 |
| ·当前工作流技术研究的基本情况 | 第15-17页 |
| ·课题简介 | 第17-18页 |
| ·课题来源 | 第17页 |
| ·研究内容 | 第17页 |
| ·研究意义 | 第17-18页 |
| ·论文结构 | 第18-19页 |
| 第二章 FRACAS 简介及系统设计 | 第19-29页 |
| ·FRACAS 基本概念 | 第19-21页 |
| ·建立FRACAS 目的与作用 | 第19-20页 |
| ·FRACAS 机构 | 第20-21页 |
| ·FRB | 第20页 |
| ·FRB 办事机构 | 第20页 |
| ·组织机构模型设计 | 第20-21页 |
| ·商用飞机 FRACAS 系统设计 | 第21-27页 |
| ·FRACAS 总体框架设计 | 第21-22页 |
| ·过程模型详细设计 | 第22-27页 |
| ·控制过程模型设计 | 第22-24页 |
| ·故障报告过程模型设计 | 第24-25页 |
| ·故障分析过程模型设计 | 第25-26页 |
| ·纠正措施制定过程模型设计 | 第26-27页 |
| ·纠正措施实施过程模型设计 | 第27页 |
| ·商用飞机 FRACAS 系统事务及其特点 | 第27-28页 |
| ·事务类型 | 第27-28页 |
| ·FRACAS 中的事务特点 | 第28页 |
| ·本章小结 | 第28-29页 |
| 第三章 工作流事务的模型研究 | 第29-36页 |
| ·基本概念 | 第29-31页 |
| ·工作流异常的基本概念及分类 | 第29-30页 |
| ·事务基本概念 | 第30-31页 |
| ·工作流中的事务与传统事务的异同 | 第31-32页 |
| ·高级事务模型 | 第32-35页 |
| ·Saga 高级事务模型 | 第32-33页 |
| ·嵌套事务模型(NTM) | 第33-34页 |
| ·ACTA | 第34页 |
| ·柔性事务模型 | 第34页 |
| ·协同活动模型 | 第34页 |
| ·双层事务模型 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第四章 FRACAS 系统中的事务模型—MSAGA 模型 | 第36-57页 |
| ·商用飞机 FRACAS 系统对高级事务模型的挑战 | 第36-37页 |
| ·事务模型的比较和选择 | 第37页 |
| ·SAGA模型及其局限性 | 第37-39页 |
| ·Saga 模型 | 第37-38页 |
| ·Saga 模型的局限 | 第38-39页 |
| ·基于 SAGA事务模型的扩展—多层 SAGA事务模型 | 第39-42页 |
| ·三层 Saga 模型 | 第39-40页 |
| ·MSaga 事务模型 | 第40-42页 |
| ·MSaga 模型层次结构 | 第41-42页 |
| ·MSaga 与基础模型的比较 | 第42页 |
| ·补偿特性 | 第42页 |
| ·形式化定义 | 第42页 |
| ·安全节点 | 第42页 |
| ·事务异常处理 | 第42页 |
| ·集合论与图论 | 第42-43页 |
| ·集合论 | 第43页 |
| ·图论 | 第43页 |
| ·有向图定义 | 第43页 |
| ·多层 SAGA事务模型的相关概念 | 第43-45页 |
| ·MSaga 流程控制模式 | 第44页 |
| ·安全节点选择 | 第44-45页 |
| ·MSAGA 模型的形式化描述 | 第45-55页 |
| ·MSaga 模型中的基本定义 | 第45-47页 |
| ·全局事务定义图 G(流程图) | 第47-48页 |
| ·执行图 | 第48-50页 |
| ·全局事务执行图 | 第48-49页 |
| ·执行图构造 | 第49-50页 |
| ·补偿图 | 第50-55页 |
| ·完全补偿 | 第51-53页 |
| ·部分补偿 | 第53-54页 |
| ·补偿图优化 | 第54-55页 |
| ·补偿器 | 第55页 |
| ·本章小结 | 第55-57页 |
| 第五章 MSAGA 模型在FRACAS 系统软件中的设计与实现 | 第57-73页 |
| ·技术考虑 | 第57-58页 |
| ·JaWE 软件 | 第57页 |
| ·Shark 工作流引擎 | 第57页 |
| ·Hibernate 技术 | 第57-58页 |
| ·组件技术和语言选择 | 第58页 |
| ·FRACAS 系统MSAGA模型框架结构设计 | 第58-63页 |
| ·系统中事务部分结构设计 | 第58-60页 |
| ·流程定义 | 第60页 |
| ·扩展的 XPDL 语言 | 第60-61页 |
| ·MSaga 事务模型类的设计 | 第61-62页 |
| ·MSaga 事务模型数据库的设计 | 第62-63页 |
| ·执行图和补偿图的表示，存储和访问 | 第63-65页 |
| ·MSAGA模型框架类的实现 | 第65-67页 |
| ·事务的状态 | 第65页 |
| ·事务对象 | 第65-67页 |
| ·事务模型框架实现过程 | 第67-72页 |
| ·创建事务相关的对象 | 第67页 |
| ·记录执行历史信息 | 第67-68页 |
| ·信息发送与接受 | 第68-70页 |
| ·补偿的实现 | 第70页 |
| ·SHARK引擎和长事务管理器的信息交互 | 第70-72页 |
| ·本章小结 | 第72-73页 |
| 第六章 总结与展望 | 第73-75页 |
| ·总结 | 第73页 |
| ·展望 | 第73-75页 |
| 参考文献 | 第75-78页 |
| 致谢 | 第78-79页 |
| 在校期间的研究成果 | 第79页 |
