| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 第1章 绪论 | 第12-22页 |
| ·业务流程管理方法的研究背景 | 第12-14页 |
| ·以数据为中心的业务流程管理 | 第14-17页 |
| ·以 product 为中心的思想 | 第15-16页 |
| ·以 Artifact 为中心的思想 | 第16-17页 |
| ·云计算 | 第17-19页 |
| ·云计算的定义 | 第17页 |
| ·云计算的三种基本模式 | 第17-18页 |
| ·现有的云计算平台 | 第18-19页 |
| ·课题研究的主要内容 | 第19-20页 |
| ·论文结构 | 第20-22页 |
| 第2章 基础理论 | 第22-34页 |
| ·Artifact | 第22-24页 |
| ·Artifact 概念及性质 | 第22-23页 |
| ·Artifact 相关概念的形式化定义 | 第23-24页 |
| ·以 Artifact 为中心的操作模型 | 第24页 |
| ·业务流程管理的相关技术 | 第24-28页 |
| ·流程设计 | 第25-26页 |
| ·流程部署 | 第26-27页 |
| ·流程监控 | 第27-28页 |
| ·云计算平台下的 Web 服务 | 第28-30页 |
| ·云计算平台下 Web 服务的架构 | 第28-29页 |
| ·云计算平台下 Web 服务的发现 | 第29-30页 |
| ·云计算平台中的数据库 | 第30-33页 |
| ·关系型云数据库的数据模型 | 第31-32页 |
| ·关系型云数据库的访问模式 | 第32页 |
| ·云数据库的优点 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 第3章 云计算平台下以 Artifact 为中心的 BPMS 的三层体系结构 | 第34-42页 |
| ·云计算平台下以 Artifact 为中心的 BPMS 的体系结构设计 | 第34-35页 |
| ·云计算平台下以 Artifact 为中心的 BPMS 的逻辑层模块设计 | 第35-38页 |
| ·Artiflow 管理器 | 第35-37页 |
| ·Serflow 转换器 | 第37-38页 |
| ·云计算平台下以 Artifact 为中心的 BPMS 的物理层模块设计 | 第38-39页 |
| ·服务选择器 | 第38页 |
| ·流程生成器 | 第38页 |
| ·流程执行器 | 第38-39页 |
| ·云计算平台下以 Artifact 为中心的 BPMS 的管理层模块设计 | 第39-40页 |
| ·流程监控器 | 第39页 |
| ·数据管理器 | 第39-40页 |
| ·云计算平台下以 Artifact 为中心的 BPMS 三层体系结构的优势 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第4章 逻辑层的设计方案 | 第42-66页 |
| ·Atiflow 模型的设计方法 | 第42-49页 |
| ·基本定义 | 第42-44页 |
| ·基本元素的描述 | 第44-46页 |
| ·Atiflow 模型的建立 | 第46-47页 |
| ·实例描述 | 第47-49页 |
| ·Artiflow 模型的检查 | 第49-51页 |
| ·Artifact-service 进出定理 | 第49页 |
| ·Artifact-service 进出检查算法 | 第49-50页 |
| ·算法分析 | 第50-51页 |
| ·Artiflow 模型的优化 | 第51-55页 |
| ·模型判优标准 | 第51-53页 |
| ·模型优化算法 | 第53-54页 |
| ·算法分析 | 第54-55页 |
| ·Serflow 模型的设计方法 | 第55-58页 |
| ·基本定义 | 第55页 |
| ·基本元素的描述 | 第55-56页 |
| ·实例描述 | 第56-58页 |
| ·Artiflow 向 Serflow 的转换 | 第58-65页 |
| ·转换规则 | 第59页 |
| ·转换算法 | 第59-60页 |
| ·算法分析 | 第60页 |
| ·转换实例 | 第60-65页 |
| ·本章小结 | 第65-66页 |
| 第5章 物理层的设计方案 | 第66-78页 |
| ·云数据库服务的分类与选择 | 第66-70页 |
| ·云数据库的分类 | 第66-68页 |
| ·从可扩展性角度选择云数据库服务 | 第68-70页 |
| ·从成本角度选择云数据库服务 | 第70页 |
| ·Web 服务的发现和组合技术 | 第70-77页 |
| ·服务元数据 | 第71页 |
| ·服务元数据的倒排序索引 | 第71-72页 |
| ·基于倒排序索引的原子服务选择方法 | 第72-75页 |
| ·原子服务组合方法 | 第75-77页 |
| ·本章小结 | 第77-78页 |
| 第6章 管理层的设计方案 | 第78-116页 |
| ·Artifact 的存储与云数据库服务 | 第78-80页 |
| ·利用云数据库服务存储 Artifact | 第78-79页 |
| ·利用云数据库服务存储 Artifact 的安全性分析 | 第79-80页 |
| ·云数据库中基于 INTERFERE 定理的密文索引技术 | 第80-87页 |
| ·基本定义 | 第80-82页 |
| ·INTERFERE 定理 | 第82-83页 |
| ·基于 INTERFERE 定理的密文索引方法 | 第83-84页 |
| ·基于 INTERFERE 定理的密文索引算法及分析 | 第84-86页 |
| ·实例分析 | 第86-87页 |
| ·云数据库密文索引引起 Artifact 泄露的衡量与消减 | 第87-92页 |
| ·Artifact 泄露的衡量标准 | 第87-88页 |
| ·Artifact 泄露的静态消减方法 | 第88-90页 |
| ·Artifact 泄露的动态多层 Bucket 消减方法 | 第90-92页 |
| ·云数据库中 Artifact 的查询技术 | 第92-96页 |
| ·基本定义 | 第92-93页 |
| ·查询条件的重写 | 第93-94页 |
| ·Artifact 的查询重写算法及分析 | 第94-95页 |
| ·实例分析 | 第95-96页 |
| ·云数据库中的查询优化 | 第96-100页 |
| ·云数据库服务中的关系代数操作 | 第96-97页 |
| ·云数据库中的查询优化策略 | 第97-100页 |
| ·Web 服务的追踪方法 | 第100-101页 |
| ·Web 服务超时判断 | 第101-106页 |
| ·基本定义 | 第101-102页 |
| ·静态弹性时间超时判断法 | 第102-104页 |
| ·动态弹性时间超时判断法 | 第104-106页 |
| ·Web 服务操作正确性判断 | 第106-113页 |
| ·基本定义 | 第106-108页 |
| ·流程约束的描述 | 第108页 |
| ·生命进程正确性判断 | 第108-110页 |
| ·Web 服务正确性判断算法 | 第110-113页 |
| ·Web 服务的调整方法 | 第113-115页 |
| ·基本定义和调整原则 | 第113-114页 |
| ·Web 服务调整算法和分析 | 第114-115页 |
| ·本章小结 | 第115-116页 |
| 第7章 原型系统的实现 | 第116-126页 |
| ·开发环境 | 第116-117页 |
| ·云计算平台配置 | 第116页 |
| ·原型系统开发环境 | 第116-117页 |
| ·东华云的登陆与服务申请 | 第117-118页 |
| ·原型系统 | 第118-125页 |
| ·用户注册和登录 | 第118-119页 |
| ·Artiflow 模型的设计和检查 | 第119-122页 |
| ·Artiflow 模型到 Serflow 模型的转化 | 第122-123页 |
| ·云计算平台下服务的匹配和流程的部署 | 第123-124页 |
| ·流程实施和监控 | 第124-125页 |
| ·本章小结 | 第125-126页 |
| 结论 | 第126-128页 |
| 参考文献 | 第128-138页 |
| 攻读博士学位期间承担的科研任务与主要成果 | 第138-141页 |
| 致谢 | 第141-142页 |
| 作者简介 | 第142页 |
