| 详细摘要 | 第1页 |
| 一、 研究现状和问题 | 第10-11页 |
| 二、 过程定义的元模型——WPDL模型 | 第11-12页 |
| 三、 过程定义的模型——扩展的信牌驱动模型 | 第12-13页 |
| 四、 过程定义的控制模型——非确定Petri网和正则Petri网模型 | 第13-14页 |
| 五、 本文的组织和内容安排 | 第14-118页 |
| 第一章 序言 | 第15-27页 |
| §1．1 研究背景 | 第15-17页 |
| 1．1．1 计算机支持的协同工作（CSCW） | 第15-16页 |
| 1．1．2 过程管理 | 第16-17页 |
| §1．2 工作流管理系统 | 第17-27页 |
| 1．2．1 工作流管理系统的应用与研究 | 第18-19页 |
| 1．2．2 过程定义中的基本概念 | 第19-20页 |
| 1．2．3 WfMC的体系结构及功能介绍 | 第20-22页 |
| 1．2．4 工作流管理系统中的研究方向及关键问题 | 第22-27页 |
| 1．2．4．1 分布式工作流及其集成 | 第22-23页 |
| 1．2．4．2 工作流的安全性 | 第23页 |
| 1．2．4．3 工作流过程模型 | 第23-27页 |
| 第二章 工作流的元模型——WPDL模型 | 第27-38页 |
| §2．1 WPDL的元模型及其语义解析 | 第28-32页 |
| 2．1．1 工作流元模型的信息 | 第28-30页 |
| 2．1．2 过程元模型的信息 | 第30页 |
| 2．1．3 活动属性的信息 | 第30-32页 |
| 2．1．4 转移属性的信息 | 第32页 |
| §2．2 WPDL的语法 | 第32-34页 |
| 2．2．1 WPDL的语法约定 | 第33页 |
| 2．2．2 WPDL语法的基本成份 | 第33-34页 |
| §2．3 工作流元模型的WPDL描述示意 | 第34-37页 |
| §2．4 本章小结 | 第37-38页 |
| 第三章 工作流的模型——扩展的信牌驱动模型 | 第38-61页 |
| §3．1 扩展的信牌驱动模型的静态结构 | 第39-42页 |
| 3．1．1 活动 | 第39-41页 |
| 3．1．2 信牌箱 | 第41页 |
| 3．1．3 转移 | 第41-42页 |
| §3．2 扩展的信牌驱动模型的数据 | 第42-45页 |
| 3．2．1 相关数据 | 第43页 |
| 3．2．2 环境数据 | 第43页 |
| 3．2．3 组织机构信息数据 | 第43-45页 |
| §3．3 扩展的信牌驱动模型的动态执行规则 | 第45-47页 |
| §3．4 扩展的信牌驱动模型的形式化讨论 | 第47-60页 |
| 3．4．1 AND-JOIN的配对解决方案 | 第50-55页 |
| 3．4．2 AND-JOIN的同步区解决方案 | 第55-60页 |
| §3．5 本章小结 | 第60-61页 |
| 第四章 工作流的控制模型——非确定Petri网与正则Petri网 | 第61-82页 |
| §4．1 Petri网的基本概念 | 第62-68页 |
| §4．2 非确定Petri网 | 第68-71页 |
| §4．3 具有优先级别的Petri网 | 第71-78页 |
| §4．4 正则Petri网 | 第78-81页 |
| §4．5 本章小结 | 第81-82页 |
| 第五章 扩展的信牌驱动模型到Petri网模型的转换 | 第82-91页 |
| §5．1 扩展的信牌驱动模型中典型控制结构 | 第82-86页 |
| §5．2 扩展的信牌驱动模型到Petri网的转化 | 第86-90页 |
| §5．3 本章小结 | 第90-91页 |
| 第六章 扩展的信牌驱动模型的分析 | 第91-99页 |
| §6．1 Petri网的分析 | 第91-98页 |
| 6．1．1 可达树分析 | 第92-98页 |
| 6．1．2 伴随矩阵分析 | 第98页 |
| §6．2 Petri网的模拟与验证 | 第98页 |
| §6．3 本章小结 | 第98-99页 |
| 第七章 过程定义与检查工具 | 第99-115页 |
| §7．1 过程定义子系统的需求分析 | 第99-106页 |
| 7．1．1 过程定义子系统的功能需求 | 第99-104页 |
| 7．1．1．1 过程定义工具的功能需求 | 第100-102页 |
| 7．1．1．2 过程管理工具的功能需求 | 第102页 |
| 7．1．1．3 过程检查工具的功能需求 | 第102-104页 |
| 7．1．1．4 xml-WPDL格式的需求 | 第104页 |
| 7．1．2 过程定义子系统的用例图 | 第104-105页 |
| 7．1．3 过程定义子系统的序列图 | 第105-106页 |
| §7．2 过程定义子系统的设计 | 第106-111页 |
| 7．2．1 过程定义子系统客户端的设计 | 第107-110页 |
| 7．2．2 过程定义子系统服务端的设计 | 第110-111页 |
| 7．2．3 过程定义子系统中数据结构的设计 | 第111页 |
| §7．3 过程定义子系统的部分实现 | 第111-115页 |
| 第八章 结束语 | 第115-118页 |
| §8．1 现有相关工作的比较 | 第115-116页 |
| 8．1．1 PSL模型 | 第115-116页 |
| 8．1．2 WIDE模型 | 第116页 |
| 8．1．3 WF-net模型 | 第116页 |
| §8．2 进一步研究工作的展望 | 第116-118页 |
| 参考文献 | 第118-122页 |
| 攻读博士学位期间发表论文目录 | 第122-123页 |
| 致谢 | 第123页 |
