工作流开发平台框架的研究和工作流形式化建模
| 摘要 | 第1-4页 |
| Abstract | 第4-10页 |
| 图目录 | 第10-11页 |
| 第一章 绪论 | 第11-22页 |
| ·工作流技术简介 | 第11-12页 |
| ·工作流的有关定义 | 第11页 |
| ·工作流管理系统与实施 | 第11-12页 |
| ·国内外工作流的研究现状与发展 | 第12-18页 |
| ·工作流建模研究 | 第13-14页 |
| ·工作流验证方法的研究 | 第14-15页 |
| ·工作流运行体系结构的研究 | 第15-17页 |
| ·存在缺陷与下一步研究方向 | 第17-18页 |
| ·本课题的主要工作 | 第18-20页 |
| ·研究设想 | 第18-19页 |
| ·研究难点和技术路线 | 第19页 |
| ·创新之处 | 第19-20页 |
| ·论文的组织 | 第20-22页 |
| 第二章 工作流的标准和工作流开发平台的设计 | 第22-33页 |
| ·产品实现模型 | 第22-25页 |
| ·工作流参考模型 | 第25-29页 |
| ·概述 | 第25页 |
| ·工作流执行服务 | 第25-26页 |
| ·过程定义 | 第26-27页 |
| ·工作流客户应用 | 第27页 |
| ·应用程序调用 | 第27-28页 |
| ·工作流互操作性 | 第28页 |
| ·系统管理与监控 | 第28-29页 |
| ·工作流开发平台框架的研究与设计 | 第29-32页 |
| ·工作流开发平台框架的提出 | 第29页 |
| ·系统定位 | 第29-30页 |
| ·工作流开发平台的框架 | 第30-32页 |
| ·本章小节 | 第32-33页 |
| 第三章 基于活动网络图建模工具的设计与实现 | 第33-60页 |
| ·工作流过程定义元模型及过程定义语言 | 第33-41页 |
| ·工作流过程定义元模型介绍 | 第33-34页 |
| ·XPDL过程定义语言与其对象模型 | 第34-40页 |
| ·活动网络图向XPDL映射 | 第40-41页 |
| ·建模工具的设计 | 第41-43页 |
| ·建模工具的设计思想 | 第41-42页 |
| ·工作流建模工具总体设计 | 第42-43页 |
| ·工作流建模工具的功能 | 第43页 |
| ·建模工具的实现 | 第43-51页 |
| ·视图类的设计 | 第43-44页 |
| ·视图类的实现 | 第44-47页 |
| ·逻辑类的设计与实现 | 第47-49页 |
| ·程序难点实现技术介绍 | 第49-51页 |
| ·设计模式 | 第51-54页 |
| ·MVC模式 | 第51-52页 |
| ·关系环 | 第52-54页 |
| ·工作流模型验证 | 第54-55页 |
| ·支持的工作流模式 | 第55-59页 |
| ·本章小结 | 第59-60页 |
| 第四章 工作流引擎系统的设计与实现 | 第60-80页 |
| ·工作流引擎设计理念和技术定位 | 第60页 |
| ·工作流引擎的设计 | 第60-69页 |
| ·工作流引擎的功能 | 第60页 |
| ·工作流引擎的体系结构设计 | 第60-64页 |
| ·工作流引擎系统的总体设计 | 第64-65页 |
| ·数据库的设计 | 第65-67页 |
| ·EJB的设计 | 第67-69页 |
| ·细化引擎系统 | 第69-79页 |
| ·用户接口 | 第69-71页 |
| ·工作流引擎接口 | 第71页 |
| ·过程管理器、实例管理器和执行者管理器 | 第71-76页 |
| ·流程执行处理器 | 第76-78页 |
| ·工作流引擎中异常处理机制 | 第78-79页 |
| ·日志 | 第79页 |
| ·本章小结 | 第79-80页 |
| 第五章 基于进程代数的工作流建模 | 第80-100页 |
| ·验证是工作流系统的重要环节 | 第80-81页 |
| ·形式化验证方法的要求 | 第81页 |
| ·基于进程代数的工作流建模 | 第81-97页 |
| ·CCS的形式定义 | 第82-84页 |
| ·基于pi演算的工作流建模方法 | 第84-90页 |
| ·基于BPE演算的工作流建模方法 | 第90-97页 |
| ·基于进程代数的模型验证 | 第97-99页 |
| ·本章小结 | 第99-100页 |
| 第六章 应用实例 | 第100-107页 |
| ·实例描述 | 第100-101页 |
| ·实例建模 | 第101-102页 |
| ·模型验证 | 第102-103页 |
| ·实例实现 | 第103-106页 |
| ·本章小节 | 第106-107页 |
| 第七章 总结与展望 | 第107-109页 |
| 参考文献 | 第109-112页 |
| 附录1 过程模型元素对象的设计 | 第112-113页 |
| 附录2 工作流引擎功能一览表 | 第113-114页 |
| 附录3 术语 | 第114-115页 |
| 附录4 工作流引擎的API | 第115-118页 |
| 附录5 攻读硕士期间发表的学术论文 | 第118-119页 |
| 附录6 致谢 | 第119-120页 |
| 附录7 湖南师范大学学位论文原创性声明 | 第120页 |
