工作流中若干问题的研究

摘要	第1-5页
ABSTRACT	第5-12页
第一章 绪论	第12-16页
·工作流技术的研究现状	第12-15页
·课题的研究工作	第15页
·论文组织结构	第15-16页
第二章 工作流简述	第16-18页
·工作流简介	第16页
·工作流中的活动以及活动实例	第16页
·工作流中活动实例的状态	第16-17页
·工作流中的迁移	第17页
·工作流中的资源	第17页
·工作流中的流程以及流程实例	第17-18页
第三章 工作流模型的验证	第18-30页
·问题描述	第18-20页
·用进程代数验证工作流模型	第20-24页
·用运筹学方法验证工作流模型	第24-29页
·本章小结	第29-30页
第四章 工作流无限等待问题的研究	第30-35页
·工作流运行时无限等待问题的描述	第30-31页
·用进程代数解决工作流运行时无限等待状况	第31-34页
·本章小结	第34-35页
第五章 工作流流程发生动态改变如何处理流程实例	第35-42页
·问题描述	第35页
·用进程代数处理流程工作流流程实例问题	第35-40页
·本章小结	第40-42页
第六章 工作流中资源分配问题	第42-55页
·问题描述	第42页
·用运筹学方法解决资源分配问题	第42-54页
·本章小结	第54-55页
第七章 工作流中流程实例执行路径选择问题	第55-67页
·问题描述	第55页
·用运筹学方法解决流程实例路径选择问题	第55-66页
·本章小结	第66-67页
第八章 结束语	第67-69页
参考文献	第69-72页
致谢	第72-73页
在学期间的研究成果及发表的学术论文	第73页