数据感知工作流的建模与验证
| 摘要 | 第1-4页 |
| Abstract | 第4-10页 |
| 第1章 绪论 | 第10-34页 |
| ·论文选题的目的和意义 | 第10-13页 |
| ·国内外研究现状 | 第13-25页 |
| ·工作流建模与验证基本概念 | 第15-17页 |
| ·工作流过程维度建模与验证 | 第17-21页 |
| ·数据感知的工作流形式化建模与验证 | 第21-25页 |
| ·理论基础 | 第25-27页 |
| ·研究思路 | 第27-31页 |
| ·当前研究中存在的问题 | 第27-28页 |
| ·本文研究思路 | 第28-31页 |
| ·论文的主要贡献 | 第31页 |
| ·论文的章节安排 | 第31-34页 |
| 第2章 数据感知的工作流建模 | 第34-48页 |
| ·数据感知工作流的概念模型 | 第34-41页 |
| ·工作流数据 | 第34-36页 |
| ·数据感知工作流的概念模型 | 第36-37页 |
| ·过程模型 | 第37-38页 |
| ·工作流相关数据 | 第38-40页 |
| ·工作流应用数据 | 第40-41页 |
| ·数据感知的工作流网DWF-nets | 第41-47页 |
| ·条件感知 | 第42-45页 |
| ·对象操作感知集合 | 第45-46页 |
| ·数据感知的工作流网DWF-nets | 第46-47页 |
| ·小结 | 第47-48页 |
| 第3章 条件感知工作流的合理性分析 | 第48-81页 |
| ·问题引出 | 第48-52页 |
| ·条件感知DWF-nets的行为语义 | 第52-57页 |
| ·与状态空间约简有关的技术 | 第57-63页 |
| ·DWF-net静态结构的约简技术 | 第57页 |
| ·循环执行的约简技术 | 第57-63页 |
| ·可达性分析算法复杂度 | 第63-65页 |
| ·条件感知的DWF-net覆盖图算法 | 第63页 |
| ·条件感知的DWF-net覆盖图算法复杂度 | 第63-65页 |
| ·DWF-net合理性检查工具 | 第65-70页 |
| ·DWF-nets的XML Schema | 第65-66页 |
| ·DWF-net的条件感知构造部分 | 第66-68页 |
| ·覆盖图生成模块 | 第68-69页 |
| ·合理性检查 | 第69-70页 |
| ·实验评估 | 第70-79页 |
| ·实验数据收集 | 第70-71页 |
| ·工具应用 | 第71页 |
| ·合理性验证 | 第71-73页 |
| ·运行效率评估 | 第73-79页 |
| ·小结 | 第79-81页 |
| 第4章 对象操作感知工作流的一致性分析 | 第81-128页 |
| ·问题引出 | 第81-85页 |
| ·一致性检查 | 第85-97页 |
| ·标注对象操作的过程模型 | 第85-87页 |
| ·语法一致性 | 第87-89页 |
| ·行为一致性 | 第89-91页 |
| ·对象操作一致性检查 | 第91-97页 |
| ·合理性检验与推理 | 第97-113页 |
| ·对象操作一致性检查工具 | 第113-119页 |
| ·VWF-net XML Schema | 第113-114页 |
| ·对象操作标注的过程模型构造 | 第114-115页 |
| ·语法一致性检查 | 第115-116页 |
| ·WF-net转换组件 | 第116-117页 |
| ·合理性检查组件 | 第117-119页 |
| ·行为一致性解释组件 | 第119页 |
| ·实验评估 | 第119-123页 |
| ·实验数据收集 | 第119-120页 |
| ·工具应用 | 第120页 |
| ·验证结果 | 第120-123页 |
| ·应用价值评估 | 第123-127页 |
| ·调查问卷 | 第124-125页 |
| ·评估方法 | 第125页 |
| ·反馈结果与分析 | 第125-127页 |
| ·小结 | 第127-128页 |
| 第5章 总结与展望 | 第128-130页 |
| ·本文的工作总结 | 第128页 |
| ·进一步的工作 | 第128-130页 |
| 参考文献 | 第130-138页 |
| 致谢 | 第138-140页 |
| 附录A 调查问卷 | 第140-141页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第141-142页 |
