目录
《信息科学技术学术著作丛书》序
前言
第1章 绪论 1
第2章 Artifact相关基础知识 5
2.1 Artifact概念及性质 5
2.2 Artifact的信息模型 5
2.2.1 用属性-值对表示Artifact信息模型 6
2.2.2 用对象模型表示Artifact信息模型 6
2.3 Artifact操作模型 7
2.3.1 ACOM模型 7
2.3.2 BALSA模型 9
第3章 基于XAr/T-net的业务流程建模与分析 10
3.1 用基本Petri网建模业务流程 10
3.2 用高级Petri网建模业务流程 12
3.3 Artifact嵌套结构的表示 12
3.3.1 用嵌套关系表示Artifact 13
3.3.2 用XML文档表示Artifact 14
3.4 Artifact结构的图形描述 15
3.4.1 图形化XML模式定义语言GXSL 15
3.4.2 基于GXSL的文档操作语言XMamLa 18
3.5 XAr/T-net业务流程建模 20
3.6 XAr/T-net业务流程分析 22
3.6.1 结构分析 23
3.6.2 覆盖图分析 25
第4章 以Artifact为中心的业务流程概念模型 29
4.1 业务流程举例 29
4.2 ArtiFlow模型基本元素 30
4.2.1 ArtiFlow模式 30
4.2.2 服务元素 31
4.2.3 库元素 30
4.2.4 传输管道元素 30
4.2.5 业务规则 35
4.2.6 ArtiFlow模型 35
4.3 基于XML的模型存储格式 36
4.4 ArtiFlow模型设计方法 38
4.4.1 基本元素的属性设计 38
4.4.2 模型设计步骤 38
4.4.3 模型基本结构 39
4.4.4 模型设计规则 01
4.5 ArtiFlow模型检查 41
4.5.1 ArtiFlow模型的物理存储结构的设计 02
4.5.2 Artifact持久性检査 03
4.5.3 Artifact唯一性检査 03
4.5.4 ArtiFlow模型完整性检査 05
4.6 ArtiFlow模型优化 08
4.6.1 模型判优标准 08
4.6.2 模型优化算法 09
4.6.3 算法分析 50
第5章 Artifact生命周期可满足性分析 52
5.1 业务流程中的Artifact 52
5.2 Artifact的生命周期 53
5.2.1 Artifact属性赋值顺序 50
5.2.2 Artifact生命周期定义 57
5.3 Artifact在ArtiFlow中的状态变化 60
5.3.1 服务的描述 60
5.3.2 Artifact的状态变化树 62
5.4 可满足性验证算法 65
第6章 业务流程中Artifact的有效性分析 68
6.1 Artifact形式化定义 68
6.2 业务要求和有效性 69
6.3 基于时间Petri网的业务要求模型 70
6.4 业务要求模型的时间特性 72
6.5 Artifact有效性判定算法 75
第7章 业务流程中Artifact的可达性分析 79
7.1 Artifact生命周期可达性的概念 79
7.2 Artifact属性划分 80
7.3 基于Artifact属性子集的业务关联规则 81
7.4 基于Petri网分析获得Artifact有效生命周期过程 82
7.5 Artifact生命周期可达性验证算法 85
第8章 业务流程模型结构相似性分析 88
8.1 引言 88
8.2 以Artifact为中心的业务流程二部图模型 89
8.3 二部图模型相似性机制 90
8.4 矩阵等价转换求解图编辑距离 93
8.5 ArtiMatch算法 95
第9章 业务流程模型行为相似性分析 99
9.1 引言 99
9.2 业务流程行为模型 99
9.3 服务依赖关系相似性 102
9.3.1 服务依赖关系集 102
9.3.2 服务依赖关系集相似性 103
9.4 Artifact属性赋值序列相似性 104
9.4.1 Artifact属性赋值序列集 104
9.4.2 Artifact属性赋值序列集相似性 105
9.5 流程行为相似性 105
9.6 理论分析 106
第10章 业务流程模型聚类及服务组合模式挖掘分析 109
14.1 引言 109
14.2 流程模型聚类及匹配 109
14.2.1 流程模型相似特征值提取 109
14.2.2 流程模型聚类及匹配架构 110
14.2.3 流程模型聚类及匹配算法 111
14.3 服务组合模式挖掘 113
14.3.1 基于Artifact的服务关联模式 114
14.3.2 服务组合模式挖掘框架 115
14.3.3 服务频繁模式挖掘 116
14.3.4 服务频繁模式的业务流挖掘 118
第11章 流程模型中Artifact行为一致性分析 121
11.1 引言 121
11.2 基本定义 124
11.3 Artifact行为一致性检查 125
11.3.1 问题描述 126
11.3.2 Artifact快照推导 127
11.3.3 问题转换 129
11.3.4 拟合度计算 131
11.4 理论分析 132
11.5 实例分析 133
第12章 以Artifact为中心的BPMS的三层体系结构 137
12.1 云计算平台下以Artifact为中心的BPMS的体系结构设计 137
12.2 云计算平台下以Artifact为中心的BPMS的逻辑层模块设计 139
12.2.1 ArtiFlow管理器 139
12.2.2 SerFlow转换器 140
12.3 云计算平台下以Artifact为中心的BPMS的物理层模块设计 140
12.3.1 服务选择器 140
12.3.2 流程生成器 141
12.3.3 流程执行器 141
12.4 云计算平台下以Artifact为中心的BPMS的管理层模块设计 141
12.4.1 流程器 141
12.4.2 数据管理器 142
12.5 云计算平台下以Artifact为中心的BPMS三层体系结构的优势 142
142第13章 逻辑层的设计 144
13.1 SerFlow逻辑模型 144
13.1.1 基本定义 100
13.1.2 基本元素的描述 105
13.2 ArtiFlow向SerFlow的转换 106
13.2.1 转换规则 106
13.2.2 转换算法 106
13.2.3 转换实例 148
13.3 SerFlow向BPEL转换过程中的服务匹配 152
13.3.1 SerFlow中服务接口间的依赖关系 152
13.3.2 不同层之间服务匹配的过程 153
13.3.3 物理服务搜索算法 150
13.3.4 逻辑层与物理层服务语义匹配算法 156
第14章 物理层的设计 159
14.1 云数据库服务的分类与选择 159
14.1.1 云数据库的分类 159
14.1.2 从可扩展性角度选择云数据库服务 162
14.1.3 从成本角度选择云数据库服务 163
14.2 Web服务的发现和组合技术 164
14.2.1 服务元数据 160
14.2.2 服务元数据的倒排序索引 165
14.2.3 基于倒排序索引的原子服务选择方法 166
14.2.4 原子服务组合方法 168
第15章 管理层的设计 171
15.1 Artifact的存储与云数据库服务 171
15.1.1 利用云数据库服务存储Artifact 171
15.1.2 利用云数据库服务存储Artifact的安全性分析 172
15.2 云数据库中基于INTERFERE定理的密文索引技术 172
15.2.1 基本定义 173
15.2.2 INTERFERE定理 170
15.2.3 基于INTERFERE定理的密文索引方法 175
15.2.4 基于INTERFERE定理的密文索引算法及分析 177
15.2.5 实例分析 178
15.3 云数据库密文索引引起Artifact泄露的衡量与消减 179
15.3.1 Artifact泄露的衡量标准 179
15.3.2 Artifact泄露的静态消减方法 180
15.3.3 Artifact泄露的动态多层Bucket消减方法 183
15.4 云数据库中Artifact的查询技术 184
15.4.1 基本定义 184
15.4.2 査询条件的重写 185
15.4.3 Artifact的査询重写算法及分析 186
15.4.4 实例分析 187
15.5 云数据库中的查询优化 187
15.5.1 云数据库服务中的关系代数操作 188
15.5.2 云数据库中的査询优化策略 189
15.6 Web服务的追踪方法 191
15.7 Web服务超时判断 193
15.7.1 基本定义 193
15.7.2 静态弹性时间超时判断法 193
15.7.3 动态弹性时间超时判断法 195
15.8 Web服务操作正确性判断 197
15.8.1 基本定义 197
15.8.2 流程约束的描述 198
15.8.3 生命进程正确性判断 199
15.8.4 Web服务正确性判断算法 201
15.9 Web服务的调整方法 204
15.9.1 基本定义和调整原则 204
15.9.2 Web服务调整算法和分析 204
参考文献 206
展开
