基于XPFL的工作流验证—FlowLyzerXP的研究与实现
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-18页 |
| ·工作流概述 | 第7-12页 |
| ·发展和应用 | 第7-8页 |
| ·基本概念 | 第8-10页 |
| ·工作流视图 | 第10-11页 |
| ·WFMC参考模型 | 第11-12页 |
| ·工作流验证概述 | 第12-16页 |
| ·工作流验证的必要性和要求 | 第12-13页 |
| ·工作流验证的定义和研究内容 | 第13-14页 |
| ·目前的研究状况 | 第14-16页 |
| ·论文研究背景及内容组织 | 第16-17页 |
| ·小结 | 第17-18页 |
| 第二章 XPFL工作流元模型 | 第18-26页 |
| ·工作流定义语言XPFL概述 | 第18-19页 |
| ·XPFL中的流程模型 | 第19-21页 |
| ·流程 | 第19页 |
| ·任务 | 第19-21页 |
| ·迁移 | 第21页 |
| ·元模型有效性 | 第21-25页 |
| ·无死任务 | 第21-22页 |
| ·可完成性 | 第22-23页 |
| ·正确完成性 | 第23-25页 |
| ·流程的正确完成与任务的正确完成 | 第24-25页 |
| ·小结 | 第25-26页 |
| 第三章 算法模型 | 第26-47页 |
| ·WF_(XP)网模型 | 第26-34页 |
| ·Petri网介绍 | 第26-31页 |
| ·Petri网 | 第26-28页 |
| ·Petri系统 | 第28-30页 |
| ·Petri网的事件序列事件图 | 第30-31页 |
| ·WF_(XP)网模型 | 第31-34页 |
| ·WFXP网 | 第32-33页 |
| ·WF_(XP)系统的准可靠性 | 第33-34页 |
| ·WF_(XP)系统的可能正确完成性 | 第34页 |
| ·CAR网模型 | 第34-40页 |
| ·基本定义 | 第34-36页 |
| ·CAR网的着色 | 第36-38页 |
| ·CAR网的验证 | 第38-40页 |
| ·活锁 | 第38-39页 |
| ·死锁 | 第39-40页 |
| ·匹配网模型 | 第40-46页 |
| ·基本定义 | 第40-42页 |
| ·算法模型 | 第42-44页 |
| ·匹配网验证 | 第44-46页 |
| ·小结 | 第46-47页 |
| 第四章 模型的验证 | 第47-56页 |
| ·XPFL模型的过滤和化简 | 第47-50页 |
| ·其它视图信息的过滤 | 第47-49页 |
| ·资源视图的提取 | 第47-48页 |
| ·数据视图和触发器的提取 | 第48-49页 |
| ·任务内容和操作的提取 | 第49页 |
| ·模型结构的化简 | 第49-50页 |
| ·模型的转换 | 第50-54页 |
| ·WF_(XP)网的转换 | 第50-52页 |
| ·CAR网的转换 | 第52-53页 |
| ·匹配网的转换 | 第53-54页 |
| ·验证流程 | 第54-55页 |
| ·小结 | 第55-56页 |
| 第五章 FlowLyzer_(XP)的实现 | 第56-64页 |
| ·FlowS_(XP)的体系结构 | 第56-57页 |
| ·FlowLyzer_(XP)的体系结构 | 第57-58页 |
| ·一个客户投诉处理案例 | 第58-63页 |
| ·客户投诉流程的验证过程 | 第60-63页 |
| ·小结 | 第63-64页 |
| 第六章 总结与展望 | 第64-67页 |
| ·论文主要工作介绍 | 第64-65页 |
| ·论文主要工作 | 第64-65页 |
| ·论文创新之处 | 第65页 |
| ·未来工作展望 | 第65-67页 |
| 参考文献 | 第67-71页 |
| 致谢 | 第71页 |
