| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 1 绪论 | 第10-13页 |
| 1．1 课题的背景和意义 | 第10-11页 |
| 1．2 研究内容 | 第11页 |
| 1．3 论文章节内容 | 第11-13页 |
| 2 研究基础 | 第13-29页 |
| 2．1 相关概念 | 第13-16页 |
| 2．2 工作流技术的应用背景 | 第16-17页 |
| 2．3 国内外研究水平和现状 | 第17-23页 |
| 2．3．1 典型建模方法与分析 | 第17-22页 |
| 2．3．2 目前工作流模型的描述语言 | 第22页 |
| 2．3．3 工作流研究的学术机构 | 第22-23页 |
| 2．4 工作流建模技术的标准化 | 第23-26页 |
| 2．5 实现技术 | 第26-29页 |
| 2．5．1 Java技术 | 第26-27页 |
| 2．5．2 XML技术 | 第27-29页 |
| 3 模型设计 | 第29-39页 |
| 3．1 WfMC在工作流建模方面所做的工作 | 第29-33页 |
| 3．2 基于活动网络的工作流建模 | 第33-34页 |
| 3．3 基于Petri网的工作流建模 | 第34-37页 |
| 3．3．1 Petri网的基本概念 | 第34-36页 |
| 3．3．2 Petri网的优点 | 第36-37页 |
| 3．4 两种建模方法的比较 | 第37-39页 |
| 4 模型的具体实现 | 第39-60页 |
| 4．1 过程建模 | 第39-56页 |
| 4．1．1 建模工具的表示模型 | 第39-41页 |
| 4．1．2 建模工具的计算模型 | 第41-47页 |
| 4．1．3 将基于活动网络的建模和基于Petri网的建模结合起来 | 第47-49页 |
| 4．1．4 用Petri网表示的过程控制结构 | 第49-54页 |
| 4．1．5 建模工具的部分类实现 | 第54-56页 |
| 4．2 组织建模 | 第56-59页 |
| 4．2．1 组织模型结构 | 第56-57页 |
| 4．2．2 基于对象的组织建模方法 | 第57-59页 |
| 4．3 资源建模 | 第59-60页 |
| 5 工作流模型验证 | 第60-68页 |
| 5．1 引言 | 第60页 |
| 5．2 工作流模型的表述 | 第60-61页 |
| 5．3 过程模型中的结构冲突 | 第61-62页 |
| 5．4 工作流模型验证的两个步骤 | 第62-63页 |
| 5．5 归约规则 | 第63-68页 |
| 5．5．1 顺序归约规则 | 第63-64页 |
| 5．5．2 循环归约规则 | 第64页 |
| 5．5．3 邻接归约规则 | 第64-65页 |
| 5．5．4 闭合归约规则 | 第65页 |
| 5．5．5 重叠归约规则 | 第65-68页 |
| 6 结论 | 第68-69页 |
| 参考文献 | 第69-72页 |
| 在学研究成果 | 第72-73页 |
| 致谢 | 第73页 |