《信息科学技术学术著作丛书》序
前言
第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的文档操作语言XMamLa
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 不同层之间服务匹

以数据为中心是业务流程管理发展的一个新趋势，Artifact是记录业务流程的数据实体，围绕Artifact的业务流程管理正在成为业务流程管理研究的一个热点。本书主要介绍以Artifact为中心的业务流程建模、分析和实现方法，共15章，其中第1章和第2章介绍业务流程管理及Artifact基础知识；第3～11章介绍以Artifact为中心的业务流程建模及相关分析方法；第12～15章介绍基于云计算平台，以Artifact为中心的业务流程管理系统的体系结构设计和实现方法。
本书可以作为计算机和信息管理专业高年级本科生、研究生的参考教材，也适用于科研人员、业务流程管理系统开发人员、对以数据为中心的业务流程管理技术领域感兴趣的人士参考。