| 摘要 | 第1-8页 |
| ABSTRACT | 第8-10页 |
| 第1章.绪论 | 第10-15页 |
| ·研究背景与意义 | 第10页 |
| ·研究现状 | 第10-13页 |
| ·本文研究内容 | 第13-14页 |
| ·本文组织结构 | 第14-15页 |
| 第2章.CSP对工作流模型的语义描述 | 第15-24页 |
| ·CSP简介 | 第15-18页 |
| ·工作流过程元模型 | 第18-20页 |
| ·工作流模型语义的CSP描述 | 第20-23页 |
| ·本章小结 | 第23-24页 |
| 第3章.XPDL与CSP进程的映射方法 | 第24-33页 |
| ·XPDL标准及其实体元素 | 第24-26页 |
| ·XPDL到CSP进程的映射方法 | 第26-31页 |
| ·本章小结 | 第31-33页 |
| 第4章.工作流模型的语义分析检测 | 第33-50页 |
| ·工作流模型的语义正确性 | 第33-37页 |
| ·使用模型检测工具FDR分析工作流模型 | 第37-40页 |
| ·与其他工作流模型分析方法的比较 | 第40-42页 |
| ·工作流模型CSP语义描述分析实例 | 第42-49页 |
| ·本章小结 | 第49-50页 |
| 第5章.工作流模型的CSP描述分析在工作流系统中的应用 | 第50-54页 |
| ·工作流定义工具 | 第50-52页 |
| ·工作流模型分析检测模块结构 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第6章.总结与展望 | 第54-56页 |
| ·本文工作总结 | 第54页 |
| ·进一步工作展望 | 第54-56页 |
| 附录 | 第56-58页 |
| 参考文献 | 第58-61页 |
| 致谢 | 第61页 |