基于形式化模式分析的工作流执行网
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-18页 |
| 第1章 引言 | 第18-26页 |
| ·工作流技术发展近况 | 第18-21页 |
| ·研究目标 | 第21-23页 |
| ·研究方法 | 第23-24页 |
| ·研究内容 | 第24-25页 |
| ·论文结构 | 第25页 |
| ·本章小结 | 第25-26页 |
| 第2章 相关研究综述 | 第26-42页 |
| ·PETRI-NET | 第26-31页 |
| ·应用领域的工作流建模方法 | 第31-38页 |
| ·工作流模式 | 第38-39页 |
| ·工作流与资源 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 第3章 工作流运算的基本概念体系 | 第42-48页 |
| ·以规则为中心的工作流概念模型 | 第42-44页 |
| ·以交互为中心的工作流组件模型 | 第44-45页 |
| ·基于规则的响应式工作流运算原理 | 第45-47页 |
| ·本章小结 | 第47-48页 |
| 第4章 过程流转模式的形式化分析 | 第48-68页 |
| ·基本定义 | 第48-51页 |
| ·分支 | 第51-54页 |
| ·汇聚 | 第54-63页 |
| ·多实例 | 第63-67页 |
| ·本章小结 | 第67-68页 |
| 第5章 任务执行模式的形式化分析 | 第68-84页 |
| ·任务执行问题的解耦 | 第68-72页 |
| ·任务分配模式 | 第72-83页 |
| ·本章小结 | 第83-84页 |
| 第6章 工作流执行网 | 第84-112页 |
| ·WE-NET 基本概念 | 第84-86页 |
| ·WE-NET 结构元素 | 第86-90页 |
| ·WE-NET 行为算法 | 第90-100页 |
| ·WE-NET 标准子网 | 第100-111页 |
| ·本章小结 | 第111-112页 |
| 第7章 工作流执行网的建模示例与应用原型 | 第112-138页 |
| ·WE-NET 建模示例 | 第112-119页 |
| ·基于WE-NET 的工作流引擎OPENJET | 第119-123页 |
| ·OPENJET 工作流运算示例 | 第123-137页 |
| ·本章小结 | 第137-138页 |
| 第8章 结束语 | 第138-141页 |
| ·总结 | 第138-139页 |
| ·展望 | 第139-141页 |
| 参考文献 | 第141-151页 |
| 致谢 | 第151-152页 |
| 攻读博士学位期间发表的学术论文目录 | 第152页 |
