| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 第一章 绪论 | 第11-16页 |
| ·课题研究背景 | 第11页 |
| ·国内外研究现状概况 | 第11-14页 |
| ·研究历程 | 第11-13页 |
| ·现状分析以及存在的问题 | 第13-14页 |
| ·本文的主要工作 | 第14页 |
| ·论文组织结构 | 第14-16页 |
| 第二章 研究基础 | 第16-26页 |
| ·基于构件的工作流建模工具基础 | 第16-22页 |
| ·工作流定义 | 第16页 |
| ·工作流管理系统 | 第16-17页 |
| ·工作流参考模型 | 第17-19页 |
| ·构件及其描述 | 第19页 |
| ·基于构件的软件开发过程 | 第19-20页 |
| ·π演算 | 第20-21页 |
| ·软件体系结构分析方法SAAM | 第21-22页 |
| ·开发技术概述 | 第22-26页 |
| ·Eclipse和RCP(Rich Client Platform) | 第22-24页 |
| ·GEF技术 | 第24-26页 |
| 第三章 基于构件的工作流建模工具的体系结构设计与评估 | 第26-34页 |
| ·工作流建模工具体系结构基础 | 第26-27页 |
| ·基于构件的工作流建模工具的体系结构 | 第27-31页 |
| ·流程设计工具构件 | 第27-28页 |
| ·工作流引擎构件 | 第28-30页 |
| ·应用程序库 | 第30-31页 |
| ·服务总线 | 第31页 |
| ·基于构件的工作流建模工具体系结构评估 | 第31-33页 |
| ·本章小结 | 第33-34页 |
| 第四章 工作流模型的形式化描述及验证 | 第34-41页 |
| ·π演算的语法和语义 | 第34-36页 |
| ·基于π演算的工作流模型的形式化描述 | 第36-38页 |
| ·对活动形式化 | 第36-37页 |
| ·对迁移形式化 | 第37-38页 |
| ·实例说明 | 第38-39页 |
| ·基于π演算的工作流模型验证 | 第39-41页 |
| ·验证可达性 | 第39页 |
| ·验证死锁 | 第39-41页 |
| 第五章 基于构件的工作流建模工具的实现 | 第41-58页 |
| ·系统的功能模型与交互模型 | 第41-42页 |
| ·基于构件的工作流建模工具的详细设计 | 第42-49页 |
| ·构件详细设计 | 第42-48页 |
| ·界面设计 | 第48-49页 |
| ·系统实现 | 第49-52页 |
| ·单一构件的实现 | 第49-50页 |
| ·组合构件的实现 | 第50页 |
| ·构件组装 | 第50页 |
| ·界面的实现 | 第50-52页 |
| ·应用实例 | 第52-57页 |
| ·物流配送业务分析 | 第52-54页 |
| ·物流配送业务建模 | 第54-55页 |
| ·仿真测试 | 第55-57页 |
| ·本章小结 | 第57-58页 |
| 第六章 总结 | 第58-59页 |
| ·本文主要工作 | 第58页 |
| ·后续研究 | 第58-59页 |
| 参考文献 | 第59-63页 |
| 在校期间参与的科研项目 | 第63-64页 |
| 致谢 | 第64页 |