基于状态转换的工作流验证的研究与实现

摘要	第1-5页
Abstract	第5-8页
1 绪论	第8-13页
·课题研究背景	第8-10页
·研究的目的和意义	第10页
·本文主要工作与创新	第10-11页
·本文的组织结构	第11-13页
2 工作流与工作流过程模型	第13-23页
·工作流技术	第13-16页
·工作流的起源与发展	第13-14页
·工作流技术相关概念	第14页
·工作流管理系统及参考模型	第14-16页
·工作流过程模型	第16-23页
·几种主要的模型	第16-17页
·工作流过程定义语言	第17-19页
·工作流过程构造型	第19-21页
·工作流过程扩展模型	第21-23页
3 基于状态转换的工作流验证	第23-37页
·工作流验证的研究现状	第23-25页
·工作流及工作流状态	第25-28页
·工作流形式化定义	第25-26页
·工作流状态转换	第26-27页
·工作流结构正确性	第27-28页
·结构异常检测	第28-30页
·死锁	第28-29页
·多实例	第29-30页
·死循环	第30页
·验证算法	第30-34页
·算法描述	第30-32页
·相关算法比较	第32-34页
·循环结构和Overlapping结构	第34-37页
4 JXWfst的设计与实现	第37-52页
·总体设计	第37-40页
·系统背景	第37-38页
·设计目标	第38-39页
·系统架构	第39-40页
·模块设计与实现	第40-47页
·数据处理	第40-42页
·流程绘图	第42-45页
·结构化建模	第45-47页
·模型验证	第47页
·实例应用	第47-52页
·企业招聘过程定义	第47-48页
·验证分析	第48-52页
结论	第52-54页
参考文献	第54-57页
攻读硕士学位期间发表学术论文情况	第57-58页
致谢	第58-59页