| 摘要 | 第1-6页 |
| Abstract | 第6-14页 |
| 第1章 绪论 | 第14-32页 |
| ·研究背景和意义 | 第14-19页 |
| ·传统的业务流程建模和分析方法 | 第19-23页 |
| ·基于有向图的模型 | 第19页 |
| ·基于形式化的模型 | 第19-21页 |
| ·多视图结构 | 第21-22页 |
| ·标准化流程定义语言 | 第22-23页 |
| ·业务 Artifact 信息模型研究现状 | 第23-25页 |
| ·用属性-值对表示 Artifact 信息模型 | 第23-24页 |
| ·用对象模型表示 Artifact 信息模型 | 第24-25页 |
| ·以 Artifact 为中心的业务流程建模研究现状 | 第25-27页 |
| ·ACOM 模型 | 第25-26页 |
| ·BALSA 模型 | 第26-27页 |
| ·以 Artifact 为中心的业务流程分析研究现状 | 第27-30页 |
| ·基于 Petri 网的分析方法 | 第27-28页 |
| ·基于有穷状态机的分析方法 | 第28-29页 |
| ·基于描述性语义的分析方法 | 第29-30页 |
| ·论文主要工作 | 第30-31页 |
| ·论文结构 | 第31-32页 |
| 第2章 基于 XAr/T-net 的业务流程建模与分析 | 第32-52页 |
| ·用基本 Petri 网建模业务流程 | 第32-34页 |
| ·用高级 Petri 网建模业务流程 | 第34-35页 |
| ·Artifact 嵌套结构的表示 | 第35-37页 |
| ·用嵌套关系表示 Artifact | 第35-36页 |
| ·用 XML 文档表示 Artifact | 第36-37页 |
| ·Artifact 结构的图形描述 | 第37-43页 |
| ·图形化 XML 模式定义语言 GXSL | 第37-41页 |
| ·基于 GXSL 的文档操作语言 XManiLa | 第41-43页 |
| ·XAr/T-net 业务流程建模 | 第43-45页 |
| ·XAr/T-net 业务流程分析 | 第45-51页 |
| ·结构分析 | 第45-48页 |
| ·覆盖图分析 | 第48-51页 |
| ·本章小结 | 第51-52页 |
| 第3章 以 Artifact 为中心的业务流程概念模型 | 第52-69页 |
| ·业务流程举例 | 第52-53页 |
| ·X_ArtiFlow 模型基本元素 | 第53-56页 |
| ·X_ArtiFlow 模式 | 第53-54页 |
| ·库元素 | 第54页 |
| ·服务元素 | 第54-55页 |
| ·传输管道元素 | 第55页 |
| ·业务规则 | 第55-56页 |
| ·基于 XML 的模型存储格式 | 第56-57页 |
| ·X_ArtiFlow 模型设计方法 | 第57-60页 |
| ·模型设计步骤 | 第57-58页 |
| ·模型基本结构 | 第58-60页 |
| ·模型设计规则 | 第60页 |
| ·X_ArtiFlow 模型检查 | 第60-68页 |
| ·X_ArtiFlow 模型的物理存储结构的设计 | 第61-62页 |
| ·Artifact 持久性检查 | 第62页 |
| ·Artifact 唯一性检查 | 第62-65页 |
| ·X_ArtiFlow 模型完整性检查 | 第65-68页 |
| ·本章小结 | 第68-69页 |
| 第4章 Artifact 生命周期可满足性分析 | 第69-87页 |
| ·业务流程中的 Artifact | 第69-70页 |
| ·Artifact 的生命周期 | 第70-78页 |
| ·Artifact 属性赋值顺序 | 第71-75页 |
| ·Artifact 生命周期定义 | 第75-78页 |
| ·Artifact 在 X_ArtiFlow 中的状态变化 | 第78-83页 |
| ·服务的描述 | 第78-80页 |
| ·Artifact 的状态变化树 | 第80-83页 |
| ·可满足性验证算法 | 第83-86页 |
| ·本章小结 | 第86-87页 |
| 第5章 业务流程中 Artifact 的有效性分析 | 第87-99页 |
| ·Artifact 形式化定义 | 第87-88页 |
| ·业务要求和有效性 | 第88-89页 |
| ·基于 TPN 的业务要求模型 | 第89-91页 |
| ·业务要求模型的时间特性 | 第91-95页 |
| ·Artifact 有效性判定算法 | 第95-98页 |
| ·本章小结 | 第98-99页 |
| 第6章 X_ArtiFlow 模型在以 Artifact 为中心的业务流程管理系统中的应用 | 第99-108页 |
| ·业务流程管理系统 | 第99-100页 |
| ·以 Artifact 为中心的业务流程管理体系结构 | 第100-102页 |
| ·X_ArtiFlow 模型管理器的实现 | 第102-107页 |
| ·开发环境 | 第102页 |
| ·设计器测试 | 第102-104页 |
| ·检查器测试 | 第104-106页 |
| ·Artifact 有效性分析测试 | 第106-107页 |
| ·本章小结 | 第107-108页 |
| 结论 | 第108-110页 |
| 参考文献 | 第110-119页 |
| 攻读博士学位期间承担的科研任务与主要成果 | 第119-121页 |
| 致谢 | 第121-122页 |
| 作者简介 | 第122页 |
