第1章 绪论

第2章 Artifact相关基础知识

2.1 Artifact概念及性质

2.2 Artifact的信息模型

2.2.1 用属性-值对表示Artifact信息模型

2.2.2 用对象模型表示Artifact信息模型

2.3 Artifact操作模型

2.3.1 ACOM模型

2.3.2 BALSA模型

第3章 基于XAr/T-net的业务流程建模与分析

3.1 用基本Petri网建模业务流程

3.2 用高级Petri网建模业务流程

3.3 Artifact嵌套结构的表示

3.3.1 用嵌套关系表示Artifact

3.3.2 用XML文档表示Artifact

3.4 Artifact结构的图形描述

3.4.1 图形化XML模式定义语言GXSL

3.4.2 基于GXSL的文档操作语言XManiLa

3.5 XAr/T-net业务流程建模

3.6 XAr/T-net业务流程分析

3.6.1 结构分析

3.6.2 覆盖图分析

第4章 以Artifact为中心的业务流程概念模型

4.1 业务流程举例

4.2 ArtiFlow模型基本元素

4.2.1 ArtiFlow模式

4.2.2 服务元素

4.2.3 库元素

4.2.4 传输管道元素

4.2.5 业务规则

4.2.6 ArtiFlow模型

4.3 基于XML的模型存储格式

4.4 ArtiFlow模型设计方法

4.4.1 基本元素的属性设计

4.4.2 模型设计步骤

4.4.3 模型基本结构

4.4.4 模型设计规则

4.5 ArtiFlow模型检查

4.5.1 ArtiFlow模型的物理存储结构的设计

4.5.2 Artifact持久性检查

4.5.3 Artifact唯一性检查

4.5.4 ArtiFlow模型完整性检查

4.6 ArtiFlow模型优化

4.6.1 模型判优标准

4.6.2 模型优化算法

4.6.3 算法分析

第5章 Artifact生命周期可满足性分析

5.1 业务流程中的Artifact

5.2 Artifact的生命周期

5.2.1 Artifact属性赋值顺序

5.2.2 Artifact生命周期定义

5.3 Artifact在ArtiFlow中的状态变化

5.3.1 服务的描述

5.3.2 Artifact的状态变化树

5.4 可满足性验证算法

第6章 业务流程中Artifact的有效性分析

6.1 Artifact形式化定义

6.2 业务要求和有效性

6.3 基于时间Petri网的业务要求模型

6.4 业务要求模型的时间特性

6.5 Artifact有效性判定算法

第7章 业务流程中Artifact的可达性分析

7.1 Artifact生命周期可达性的概念

7.2 Artifact属性划分

7.3 基于Artifact属性子集的业务关联规则

7.4 基于Petri网分析获得Artifact有效生命周期过程

7.5 Artifact生命周期可达性验证算法

第8章 业务流程模型结构相似性分析

8.1 引言

8.2 以Artifact为中心的业务流程二部图模型

8.3 二部图模型相似性机制

8.4 矩阵等价转换求解图编辑距离

8.5 ArtiMatch算法

第9章 业务流程模型行为相似性分析

9.1 引言

9.2 业务流程行为模型

9.3 服务依赖关系相似性

9.3.1 服务依赖关系集

9.3.2 服务依赖关系集相似性

9.4 Artifact属性赋值序列相似性

9.4.1 Artifact属性赋值序列集

9.4.2 Artifact属性赋值序列集相似性

9.5 流程行为相似性

9.6 理论分析

第10章 业务流程模型聚类及服务组合模式挖掘分析

10.1 引言

10.2 流程模型聚类及匹配

10.2.1 流程模型相似特征值提取

10.2.2 流程模型聚类及匹配架构

10.2.3 流程模型聚类及匹配算法

10.3 服务组合模式挖掘

10.3.1 基于Artifact的服务关联模式

10.3.2 服务组合模式挖掘框架

10.3.3 服务频繁模式挖掘

10.3.4 服务频繁模式的业务流挖掘

第11章 流程模型中Artifact行为一致性分析

11.1 引言

11.2 基本定义

11.3 Artifact行为一致性检查

11.3.1 问题描述

11.3.2 Artifact快照推导

11.3.3 问题转换

11.3.4 拟合度计算

11.4 理论分析

11.5 实例分析

第12章 以Artifact为中心的BPMS的三层体系结构

12.1 云计算平台下以Artifact为中心的BPMS的体系结构设计

12.2 云计算平台下以Artifact为中心的BPMS的逻辑层模块设计

12.2.1 ArtiFlow管理器

12.2.2 SerFlow转换器

12.3 云计算平台下以Artifact为中心的BPMS的物理层模块设计

12.3.1 服务选择器

12.3.2 流程生成器

12.3.3 流程执行器

12.4 云计算平台下以Artifact为中心的BPMS的管理层模块设计

12.4.1 流程监控器

12.4.2 数据管理器

12.5 云计算平台下以Artifact为中心的BPMS三层体系结构的优势

第13章 逻辑层的设计

13.1 SerFlow逻辑模型

13.1.1 基本定义

13.1.2 基本元素的描述

13.2 ArtiFlow向SerFlow的转换

13.2.1 转换规则

13.2.2 转换算法

13.2.3 转换实例

13.3 SerFlow向BPEL转换过程中的服务匹配

13.3.1 SerFlow中服务接口间的依赖关系

13.3.2 不同层之间服务匹配的过程

13.3.3 物理服务搜索算法

13.3.4 逻辑层与物理层服务语义匹配算法

第14章 物理层的设计

14.1 云数据库服务的分类与选择

14.1.1 云数据库的分类

14.1.2 从可扩展性角度选择云数据库服务

14.1.3 从成本角度选择云数据库服务

14.2 Web服务的发现和组合技术

14.2.1 服务元数据

14.2.2 服务元数据的倒排序索引

14.2.3 基于倒排序索引的原子服务选择方法

14.2.4 原子服务组合方法

第15章 管理层的设计

15.1 Artifact的存储与云数据库服务

15.1.1 利用云数据库服务存储Artifact

15.1.2 利用云数据库服务存储Artifact的安全性分析

15.2 云数据库中基于INTERFERE定理的密文索引技术

15.2.1 基本定义

15.2.2 INTERFERE定理

15.2.3 基于INTERFERE定理的密文索引方法

15.2.4 基于INTERFERE定理的密文索引算法及分析

15.2.5 实例分析

15.3 云数据库密文索引引起Artifact泄露的衡量与消减

15.3.1 Artifact泄露的衡量标准

15.3.2 Artifact泄露的静态消减方法

15.3.3 Artifact泄露的动态多层Bucket消减方法

15.4 云数据库中Artifact的查询技术

15.4.1 基本定义

15.4.2 查询条件的重写

15.4.3 Artifact的查询重写算法及分析

15.4.4 实例分析

15.5 云数据库中的查询优化

15.5.1 云数据库服务中的关系代数操作

15.5.2 云数据库中的查询优化策略

15.6 Web服务的追踪方法

15.7 Web服务超时判断

15.7.1 基本定义

15.7.2 静态弹性时间超时判断法

15.7.3 动态弹性时间超时判断法

15.8 Web服务操作正确性判断

15.8.1 基本定义

15.8.2 流程约束的描述

15.8.3 生命进程正确性判断

15.8.4 Web服务正确性判断算法

15.9 Web服务的调整方法

15.9.1 基本定义和调整原则

15.9.2 Web服务调整算法和分析

参考文献