| 摘要 | 第3-5页 |
| Abstract | 第5-6页 |
| 第一章 绪论 | 第10-28页 |
| 1.1 研究背景 | 第10-21页 |
| 1.1.1 BPM及Artifact方法 | 第10-13页 |
| 1.1.2 业务流程的合规性研究 | 第13-14页 |
| 1.1.3 国内外相关工作 | 第14-21页 |
| 1.2 以artifact为中心的BPM中合规性研究的挑战性课题 | 第21-24页 |
| 1.3 本文的工作与贡献 | 第24-25页 |
| 1.3.1 本文工作 | 第24-25页 |
| 1.3.2 本文贡献 | 第25页 |
| 1.4 论文的组织结构 | 第25-28页 |
| 第二章 满足artifact生命周期约束的合规业务流程生成 | 第28-52页 |
| 2.1 场景示例 | 第29-30页 |
| 2.2 合规性规则及其表示 | 第30-39页 |
| 2.3 以artifact为中心的业务流程模型 | 第39-42页 |
| 2.3.1 业务流程模型ArtiFlow | 第39-41页 |
| 2.3.2 基于着色Petri网的ArtiFlow形式化描述 | 第41-42页 |
| 2.4 合规业务流程模型的生成 | 第42-48页 |
| 2.4.1 业务流程合规性定义 | 第42-46页 |
| 2.4.2 合规ArtiFlow的生成 | 第46-48页 |
| 2.5 工具系统原型 | 第48-49页 |
| 2.6 本章小结 | 第49-52页 |
| 第三章 基于artifact生命周期的流程一致性合规检验 | 第52-72页 |
| 3.1 Artifact生命周期模型 | 第53-55页 |
| 3.2 业务流程执行日志 | 第55-59页 |
| 3.3 业务流程一致性检验 | 第59-67页 |
| 3.3.1 模型赋值事件流的生成 | 第60-64页 |
| 3.3.2 执行赋值事件流的生成 | 第64页 |
| 3.3.3 一致性计算尺度 | 第64-66页 |
| 3.3.4 一致性检验算法 | 第66-67页 |
| 3.4 实验分析 | 第67-70页 |
| 3.5 本章小结 | 第70-72页 |
| 第四章 运行时以artifact为中心的流程合规性问题 | 第72-82页 |
| 4.1 基本定义 | 第72-76页 |
| 4.2 运行时合规性检测 | 第76-81页 |
| 4.2.1 问题描述 | 第76页 |
| 4.2.2 可判定性 | 第76-77页 |
| 4.2.3 正则artifact生命周期和上下文无关artifact生命周期 | 第77-81页 |
| 4.3 本章小结 | 第81-82页 |
| 第五章 ABPM系统中合规性保障的实现 | 第82-92页 |
| 5.1 系统体系结构 | 第82-84页 |
| 5.2 系统中合规性保障的实现 | 第84-89页 |
| 5.2.1 流程设计阶段的合规性保障 | 第84页 |
| 5.2.2 流程部署实施阶段的合规性保障 | 第84-89页 |
| 5.2.3 流程诊断阶段的合规性保障 | 第89页 |
| 5.3 原型系统中合规性保障功能展示 | 第89-91页 |
| 5.3.1 系统开发环境 | 第89-90页 |
| 5.3.2 原型系统中合规性功能展示 | 第90-91页 |
| 5.4 本章小结 | 第91-92页 |
| 第六章 结论与展望 | 第92-94页 |
| 6.1 研究结论 | 第92-93页 |
| 6.2 工作展望 | 第93-94页 |
| 参考文献 | 第94-104页 |
| 攻读博士学位期间发表论文 | 第104-106页 |
| 参与的课题 | 第106-108页 |
| 致谢 | 第108-109页 |
