业务流程建模、分析与实现——以Artifact为中心的业务流
作 者: 刘海滨 等 著
定 价: 95
出 版 社: 科学出版社
出版日期: 2019年11月01日
页 数: 210
装 帧: 平装
ISBN: 9787030613202
●《信息科学技术学术著作丛书》序
前言
章 绪论
第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 理论分析
0章 业务流程模型聚类及服务组合模式挖掘分析
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 服务频繁模式的业务流挖掘
1章 流程模型中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 实例分析
2章 以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三层体系结构的优势
3章 逻辑层的设计
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 逻辑层与物理层服务语义匹配算法
4章 物理层的设计
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 原子服务组合方法
5章 管理层的设计
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服务调整算法和分析
参考文献
内容简介
以数据为中心是业务流程管理发展的一个新趋势，Artifact是记录业务流程的数据实体，围绕Artifact的业务流程管理正在成为业务流程管理研究的一个热点。《业务流程建模、分析与实现——以Artifact为中心的业务流程管理》主要介绍以Artifact为中心的业务流程建模、分析和实现方法，共15章，其中章和第2章介绍业务流程管理及Artifact基础知识；第3~11章介绍以Artifact为中心的业务流程建模及相关分析方法；2~15章介绍基于云计算平台，以Artifact为中心的业务流程管理系统的体系结构设计和实现方法。
评论晒单