魔力平台业务过程建模冲突消解的研究与实现
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-13页 |
| ·论文的选题背景与意义 | 第9-10页 |
| ·国内外研究现状 | 第10-11页 |
| ·论文的主要工作 | 第11-12页 |
| ·论文的组织结构 | 第12-13页 |
| 第2章 相关理论基础 | 第13-29页 |
| ·工作流技术的概念与标准 | 第13-17页 |
| ·工作流概念与相关术语 | 第13-15页 |
| ·工作流管理系统及相关标准 | 第15-17页 |
| ·工作流模型 | 第17-23页 |
| ·工作流建模方法 | 第18-21页 |
| ·工作流过程定义语言 | 第21-23页 |
| ·过程模型结构验证方法 | 第23-28页 |
| ·基于状态转换的方法 | 第24-25页 |
| ·基于Petri网归约的方法 | 第25-27页 |
| ·基于语义推理的方法 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第3章 基于UML图化简的过程模型冲突消解 | 第29-42页 |
| ·过程模型的冲突 | 第29-31页 |
| ·冲突分类 | 第29页 |
| ·结构冲突 | 第29-31页 |
| ·冲突的特点 | 第31页 |
| ·扩展UML活动图 | 第31-33页 |
| ·UML活动图的基本元素及其扩展 | 第31-33页 |
| ·UML活动图的描述 | 第33页 |
| ·基于图化简的冲突检测 | 第33-38页 |
| ·化简规则 | 第33-37页 |
| ·冲突检测算法 | 第37-38页 |
| ·算法分析 | 第38页 |
| ·冲突消解方法 | 第38-39页 |
| ·冲突消解实例 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 第4章 魔力平台冲突消解工具的设计与实现 | 第42-65页 |
| ·魔力平台 | 第42-45页 |
| ·魔力平台概述 | 第42-43页 |
| ·务过程建模 | 第43-44页 |
| ·过程模型的表示 | 第44-45页 |
| ·冲突消解工具的设计 | 第45-52页 |
| ·与外部组件的关系 | 第45页 |
| ·功能分析 | 第45-47页 |
| ·体系结构 | 第47-50页 |
| ·改进的工作流元模型 | 第50-52页 |
| ·冲突消解工具的实现 | 第52-56页 |
| ·结构冲突的描述 | 第52页 |
| ·冲突检测与消解的实现 | 第52-56页 |
| ·冲突消解工具的应用 | 第56-63页 |
| ·务过程实例 | 第56-57页 |
| ·业务过程建模冲突消解 | 第57-61页 |
| ·效果分析 | 第61-63页 |
| ·本章小结 | 第63-65页 |
| 结论 | 第65-66页 |
| 参考文献 | 第66-69页 |
| 攻读硕士学位期间发表的论文和取得的科研成果 | 第69-70页 |
| 致谢 | 第70页 |
