声明
1. 绪论
1.1 研究背景
1.2 研究现状
1.3 研究内容
1.4论文结构
2. 工作流相关技术概述
2.1 工作流相关概念
2.2 工作流管理系统
2.3 工作流管理系统参考模型
2.4 WFMC工作流元模型
2.5 事件-状态-规则元模型
3. 工作流中的过程逻辑
3.1 SelectLogic表达式
3.2工作流模式
3.3 数理逻辑在数量表达上的局限性
3.4 选择逻辑
4．过程逻辑的形式化表示方法
4.1 过程逻辑的形式化分析
4.2 基本控制流模式
4.3 高级分支和同步模式
4.4 多实例模式
4.5 基于状态的模式
4.6 结构模式
4.7 取消模式
5.规则文法分析
5.1 逻辑规则文法分析
5.2基于规则解释器的工作流引擎
6．建模和重构实例
6.1业务实例
6.2重构实例
7．总结与展望
7.1 总结
7.2展望
参考文献
致谢
