摘要 | 第1-6页 |
Abstract | 第6-7页 |
目录 | 第7-9页 |
第1章 绪论 | 第9-14页 |
·研究背景 | 第9-10页 |
·研究现状 | 第10-11页 |
·研究内容 | 第11-12页 |
·研究意义 | 第12-13页 |
·本文组织结构 | 第13-14页 |
第2章 基础知识概述 | 第14-23页 |
·引言 | 第14页 |
·Artifact 的基本概念及重要特性 | 第14-16页 |
·Artifact 的基本概念 | 第14-15页 |
·Artifact 的重要特性 | 第15-16页 |
·Artifact 相关的形式化定义 | 第16-17页 |
·Artifact 的逻辑操作模型 ArtiFlow | 第17-19页 |
·面向 Artifact 的业务流程管理系统的基本结构 | 第19-20页 |
·时间 Petri 网理论及其性质 | 第20-22页 |
·时间 Petri 网的基本概念 | 第21页 |
·Petri 网的重要性质 | 第21-22页 |
·本章小结 | 第22-23页 |
第3章 给定时刻 Artifact 的有效性验证 | 第23-34页 |
·引言 | 第23页 |
·ArtiFlow 中的服务 | 第23-26页 |
·服务对 Artifact 的影响 | 第23-24页 |
·ArtiFlow 中服务的定义 | 第24-25页 |
·服务之间的关系 | 第25-26页 |
·Artifact 的相关子图 | 第26-29页 |
·业务规则和业务要求 | 第29-30页 |
·业务规则 | 第29页 |
·业务要求 | 第29-30页 |
·Artifact 的快照 | 第30-31页 |
·给定时刻 Artifact 的有效性验证算法 | 第31-33页 |
·本章小结 | 第33-34页 |
第4章 具有完整生命周期 Artifact 的有效性验证 | 第34-46页 |
·引言 | 第34页 |
·时间 Petri 网的分析 | 第34-41页 |
·ArtiFlow 中的模式结构 | 第35-36页 |
·时间 Petri 网的转化 | 第36-38页 |
·业务要求可达树的构造 | 第38-41页 |
·Artifact 的快照推断树 | 第41-43页 |
·Artifact 的有效性及其验证算法 | 第43-45页 |
·本章小结 | 第45-46页 |
第5章 算法的实验验证 | 第46-56页 |
·引言 | 第46页 |
·实验环境 | 第46-47页 |
·实验准备 | 第47-50页 |
·实验案例 | 第47-49页 |
·Web 服务的设计与构建 | 第49-50页 |
·实验验证 | 第50-55页 |
·系统的基本原理 | 第51页 |
·流程检测器的功能测试 | 第51-55页 |
·本章小结 | 第55-56页 |
结论 | 第56-58页 |
参考文献 | 第58-62页 |
攻读硕士学位期间承担的科研任务与主要成果 | 第62-63页 |
致谢 | 第63-64页 |
作者简介 | 第64页 |