包邮信息科学技术学术著作丛书业务流程建模.分析与实现:以ARTIFACT为中心的业务流程管理

目录《信息科学技术学术著作丛书》序前言第1章 绪论 1第2章 Artifact相关基础知识 52.1 Artifact概念及性质 52.2 Artifact的信息模型 52.2.1 用属性-值对表示Artifact信息模型 62.2.2 用对象模型表示Artifact信息模型 62.3 Artifact操作模型 72.3.1 ACOM模型 72.3.2 BALSA模型 9第3章 基于XAr/T-net的业务流程建模与分析 103.1 用基本Petri网建模业务流程 103.2 用高级Petri网建模业务流程 123.3 Artifact嵌套结构的表示 123.3.1 用嵌套关系表示Artifact 133.3.2 用XML文档表示Artifact 143.4 Artifact结构的图形描述 153.4.1 图形化XML模式定义语言GXSL 153.4.2 基于GXSL的文档操作语言XMamLa 183.5 XAr/T-net业务流程建模 203.6 XAr/T-net业务流程分析 223.6.1 结构分析 233.6.2 覆盖图分析 25第4章 以Artifact为中心的业务流程概念模型 294.1 业务流程举例 294.2 ArtiFlow模型基本元素 304.2.1 ArtiFlow模式 304.2.2 服务元素 314.2.3 库元素 304.2.4 传输管道元素 304.2.5 业务规则 354.2.6 ArtiFlow模型 354.3 基于XML的模型存储格式 364.4 ArtiFlow模型设计方法 384.4.1 基本元素的属性设计 384.4.2 模型设计步骤 384.4.3 模型基本结构 394.4.4 模型设计规则 014.5 ArtiFlow模型检查 414.5.1 ArtiFlow模型的物理存储结构的设计 024.5.2 Artifact持久性检査 034.5.3 Artifact**性检査 034.5.4 ArtiFlow模型完整性检査 054.6 ArtiFlow模型优化 084.6.1 模型判优标准 084.6.2 模型优化算法 094.6.3 算法分析 50第5章 Artifact生命周期可满足性分析 525.1 业务流程中的Artifact 525.2 Artifact的生命周期 535.2.1 Artifact属性赋值顺序 505.2.2 Artifact生命周期定义 575.3 Artifact在ArtiFlow中的状态变化 605.3.1 服务的描述 605.3.2 Artifact的状态变化树 625.4 可满足性验证算法 65第6章 业务流程中Artifact的有效性分析 686.1 Artifact形式化定义 686.2 业务要求和有效性 696.3 基于时间Petri网的业务要求模型 706.4 业务要求模型的时间特性 726.5 Artifact有效性判定算法 75第7章 业务流程中Artifact的可达性分析 797.1 Artifact生命周期可达性的概念 797.2 Artifact属性划分 807.3 基于Artifact属性子集的业务关联规则 817.4 基于Petri网分析获得Artifact有效生命周期过程 827.5 Artifact生命周期可达性验证算法 85第8章 业务流程模型结构相似性分析 888.1 引言 888.2 以Artifact为中心的业务流程二部图模型 898.3 二部图模型相似性机制 908.4 矩阵等价转换求解图编辑距离 938.5 ArtiMatch算法 95第9章 业务流程模型行为相似性分析 999.1 引言 999.2 业务流程行为模型 999.3 服务依赖关系相似性 1029.3.1 服务依赖关系集 1029.3.2 服务依赖关系集相似性 1039.4 Artifact属性赋值序列相似性 1049.4.1 Artifact属性赋值序列集 1049.4.2 Artifact属性赋值序列集相似性 1059.5 流程行为相似性 1059.6 理论分析 106第10章 业务流程模型聚类及服务组合模式挖掘分析 10914.1 引言 10914.2 流程模型聚类及匹配 10914.2.1 流程模型相似特征值提取 10914.2.2 流程模型聚类及匹配架构 11014.2.3 流程模型聚类及匹配算法 11114.3 服务组合模式挖掘 11314.3.1 基于Artifact的服务关联模式 11414.3.2 服务组合模式挖掘框架 11514.3.3 服务频繁模式挖掘 11614.3.4 服务频繁模式的业务流挖掘 118第11章 流程模型中Artifact行为一致性分析 12111.1 引言 12111.2 基本定义 12411.3 Artifact行为一致性检查 12511.3.1 问题描述 12611.3.2 Artifact快照推导 12711.3.3 问题转换 12911.3.4 拟合度计算 13111.4 理论分析 13211.5 实例分析 133第12章 以Artifact为中心的BPMS的三层体系结构 13712.1 云计算平台下以Artifact为中心的BPMS的体系结构设计 13712.2 云计算平台下以Artifact为中心的BPMS的逻辑层模块设计 13912.2.1 ArtiFlow管理器 13912.2.2 SerFlow转换器 14012.3 云计算平台下以Artifact为中心的BPMS的物理层模块设计 14012.3.1 服务选择器 14012.3.2 流程生成器 14112.3.3 流程执行器 14112.4 云计算平台下以Artifact为中心的BPMS的管理层模块设计 14112.4.1 流程器 14112.4.2 数据管理器 14212.5 云计算平台下以Artifact为中心的BPMS三层体系结构的优势 142142第13章 逻辑层的设计 14413.1 SerFlow逻辑模型 14413.1.1 基本定义 10013.1.2 基本元素的描述 10513.2 ArtiFlow向SerFlow的转换 10613.2.1 转换规则 10613.2.2 转换算法 10613.2.3 转换实例 14813.3 SerFlow向BPEL转换过程中的服务匹配 15213.3.1 SerFlow中服务接口间的依赖关系 15213.3.2 不同层之间服务匹配的过程 15313.3.3 物理服务搜索算法 15013.3.4 逻辑层与物理层服务语义匹配算法 156第14章 物理层的设计 15914.1 云数据库服务的分类与选择 15914.1.1 云数据库的分类 15914.1.2 从可扩展性角度选择云数据库服务 16214.1.3 从成本角度选择云数据库服务 16314.2 Web服务的发现和组合技术 16414.2.1 服务元数据 16014.2.2 服务元数据的倒排序索引 16514.2.3 基于倒排序索引的原子服务选择方法 16614.2.4 原子服务组合方法 168第15章 管理层的设计 17115.1 Artifact的存储与云数据库服务 17115.1.1 利用云数据库服务存储Artifact 17115.1.2 利用云数据库服务存储Artifact的安全性分析 17215.2 云数据库中基于INTERFERE定理的密文索引技术 17215.2.1 基本定义 17315.2.2 INTERFERE定理 17015.2.3 基于INTERFERE定理的密文索引方法 17515.2.4 基于INTERFERE定理的密文索引算法及分析 17715.2.5 实例分析 17815.3 云数据库密文索引引起Artifact泄露的衡量与消减 17915.3.1 Artifact泄露的衡量标准 17915.3.2 Artifact泄露的静态消减方法 18015.3.3 Artifact泄露的动态多层Bucket消减方法 18315.4 云数据库中Artifact的查询技术 18415.4.1 基本定义 18415.4.2 査询条件的重写 18515.4.3 Artifact的査询重写算法及分析 18615.4.4 实例分析 18715.5 云数据库中的查询优化 18715.5.1 云数据库服务中的关系代数操作 18815.5.2 云数据库中的査询优化策略 18915.6 Web服务的追踪方法 19115.7 Web服务超时判断 19315.7.1 基本定义 19315.7.2 静态弹性时间超时判断法 19315.7.3 动态弹性时间超时判断法 19515.8 Web服务操作正确性判断 19715.8.1 基本定义 19715.8.2 流程约束的描述 19815.8.3 生命进程正确性判断 19915.8.4 Web服务正确性判断算法 20115.9 Web服务的调整方法 20415.9.1 基本定义和调整原则 20415.9.2 Web服务调整算法和分析 204参考文献 206