工作流模型的形式化研究
| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-10页 |
| 第一章 绪论 | 第10-20页 |
| ·工作流技术简介 | 第10-14页 |
| ·工作流技术的产生及发展 | 第10-11页 |
| ·工作流的有关定义 | 第11-12页 |
| ·工作流管理系统与实施 | 第12-14页 |
| ·工作流技术的研究现状和发展方向 | 第14-18页 |
| ·研究现状 | 第14-15页 |
| ·目前工作流产品的缺陷 | 第15-16页 |
| ·发展趋势 | 第16-18页 |
| ·本课题的主要工作 | 第18页 |
| ·研究内容 | 第18页 |
| ·研究难点和技术路线 | 第18页 |
| ·创新之处 | 第18页 |
| ·论文的组织 | 第18-20页 |
| 第二章 π演算基本理论 | 第20-28页 |
| ·引言 | 第20页 |
| ·π演算基本语法 | 第20-22页 |
| ·π演算约简关系 | 第22-23页 |
| ·π演算迁移关系 | 第23-25页 |
| ·π演算行为等价理论 | 第25-26页 |
| ·强等价关系 | 第25页 |
| ·弱等价关系 | 第25-26页 |
| ·本章小结 | 第26-28页 |
| 第三章 工作流模型 | 第28-37页 |
| ·概述 | 第28-29页 |
| ·典型的工作流模型 | 第29-35页 |
| ·典型的工作流模型简介 | 第29-33页 |
| ·模型的分类与比较 | 第33-35页 |
| ·工作流模型的发展 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 第四章 工作流模型的π演算形式化描述研究 | 第37-60页 |
| ·引言 | 第37-39页 |
| ·选择π演算来形式化工作流模型的理由 | 第39-41页 |
| ·基于π演算的工作流建模方法 | 第41-46页 |
| ·不同类型活动的π演算形式化 | 第41-43页 |
| ·依赖的定义 | 第43-45页 |
| ·基于π演算的工作流建模方法的实例研究 | 第45-46页 |
| ·基于ECA 规则的各种工作流模式的π演算形式化 | 第46-59页 |
| ·工作流模式简介 | 第47-49页 |
| ·工作流模式的π演算形式化方法 | 第49-58页 |
| ·实例研究 | 第58-59页 |
| ·本章小结 | 第59-60页 |
| 第五章 工作流模型的分析 | 第60-69页 |
| ·验证是工作流管理系统中不可缺少的重要环节 | 第60-61页 |
| ·验证问题及复杂度 | 第61-62页 |
| ·现存的结构验证方法及特点 | 第62页 |
| ·合理性分析 | 第62-64页 |
| ·基于π演算的工作流模型分析 | 第64-68页 |
| ·工作流模型结构验证的预备知识 | 第64-66页 |
| ·过程图的结构合理性验证 | 第66-67页 |
| ·懒惰合理性验证 | 第67-68页 |
| ·本章小结 | 第68-69页 |
| 结语 | 第69-71页 |
| 一. 主要结论 | 第69-70页 |
| 二.进一步研究工作 | 第70-71页 |
| 参考文献 | 第71-75页 |
| 附录 | 第75-76页 |
| 致谢 | 第76页 |
