进程代数在工作流中的应用研究

摘要	第1-4页
Abstract	第4-8页
第一章 绪论	第8-11页
·论文的研究背景	第8页
·研究现状	第8-10页
·论文的研究内容	第10-11页
第二章 工作流技术	第11-18页
·工作流的定义及相关术语	第11-13页
·工作流模型	第13-14页
·工作流的分类	第14-15页
·工作流技术中存在的不足及其发展趋势	第15-17页
小结	第17-18页
第三章 进程代数在工作流模型中的应用	第18-33页
·工作流模型研究现状	第18-20页
·工作流建模技术存在的问题	第20页
·基于进程代数的工作流建模方法	第20-26页
·进程代数简介	第20-21页
·用CSP 描述工作流模式	第21-26页
·基于CSP 的工作流模型的执行	第26-28页
·基于CSP 的工作流模型的异常处理	第28-31页
·模型验证	第31页
小结	第31-33页
第四章 基于工作流的医院门诊预约系统	第33-46页
·系统分析	第33-35页
·基于CSP 的系统建模	第35-37页
·系统设计	第37-42页
·轻量级工作流引擎设计	第38-40页
·并发控制	第40-42页
·系统中原子性问题验证	第42-43页
·系统预览及系统特色	第43-45页
小结	第45-46页
第五章 结束语	第46-48页
·总结	第46-47页
·进一步工作	第47-48页
致谢	第48-49页
参考文献	第49-51页