导语

  

内容提要

  

    为了满足企业建立动态化、智能化的自适应业务流程的需求，本书首先提出RGPS引导与模型检测相结合的业务流程可变性配置管理框架；然后从用户和目标的约束、数据流之间依赖关系约束及业务合规规则的一致性分析出发，实现不同视角、粒度的业务流程可变性配置管理技术的研究。
    在相关研究方法的基础上，本书设计了相应的业务流程可变性配置管理原型系统，用于进行业务流程可变性配置管理的实证分析，并实现了部分简单的模块和性能。
    本书适用于软件工程及业务流程管理领域的研究生和科研工作者。

第1章  绪论
  1.1  背景和意义
  1.2  研究现状
    1.2.1  业务流程管理
    1.2.2  流程感知信息系统
    1.2.3  参考流程模型
  1.3  业务流程建模语言
    1.3.1  EPC
    1.3.2  BPMN
    1.3.3  YAWL
    1.3.4  BPEL
  1.4  业务流程可变性管理
  1.5  软件可变性管理
    1.5.1  软件配置管理
    1.5.2  特征图
  1.6  形式化流程定义语言
    1.6.1  标签迁移系统
    1.6.2  工作流网
    1.6.3  着色Petri网
  1.7  约束属性的时序逻辑
    1.7.1  线性时序逻辑的语法及语义
    1.7.2  计算树逻辑的语法及语义
    1.7.3  ASK-CTL时序逻辑
  本章小结
第2章  可配置业务流程
  2.1  引言
  2.2  流程重用
  2.3  流程模型的自适应
  2.4  可配置业务流程
    2.4.1  问题陈述
    2.4.2  模型映射
    2.4.3  业务流程的柔性
    2.4.4  配置业务流程模型
  2.5  几种典型的可配置业务流程模型
    2.5.1  C-YAWL
    2.5.2  C-EPC和C-iEPC
  本章小结
第3章  构建可配置流程模型
  3.1  从事件日志中生成可配置流程模型
    3.1.1  处理前的日志文件
    3.1.2  挖掘基础流程模型
  3.2  合并流程模型
  本章小结
第4章  按需服务的可配置业务流程模型
  4.1  引言
  4.2  按需服务RGPS元模型框架
  4.3  需求元模型约束的可配置业务流程模型架构
  4.4  基于R&G约束的可配置业务流程模型
    4.4.1  场景说明
    4.4.2  Cform-net的配置操作
    4.4.3  相关定义
    4.4.4  Cform-net与WF-net之间的转换
  4.5  Cform-net模型的合理性
  4.6  实验分析
  本章小结
第5章  基于目标感知的可配置业务流程分析
  5.1  引言
  5.2  基于目标感知的可配置业务流程分析方法与应用场景
  5.3  GWF-net及其配置
    5.3.1  GWF-net
    5.3.2  GWF-net配置
  5.4  GWF-net配置的正确性分析
    5.4.1  GWF-net需求约束的时序逻辑表示
    5.4.2  GWF-net配置的语义正确性
  本章小结
第6章  基于数据流的可配置业务流程的分析与验证
  6.1  引言
  6.2  研究动机
  6.3  基于数据流的可配置业务流程模型
    6.3.1  整合数据流到业务流程模型
    6.3.2  业务流程的配置
    6.3.3  基于数据流的可配置业务流程模型的分析
  6.4  实验分析
  本章小结
第7章  基于业务规则的可配置业务流程的一致性分析
  7.1  引言
  7.2  业务规则
  7.3  业务规则一致性分析架构及应用场景
  7.4  可配置业务流程模型的一致性分析方法
    7.4.1  可配置着色的Petri网
    7.4.2  可配置业务流程的配置公式
    7.4.3  基于ASK-CTL的可配置业务流程合规性模式
  7.5  实验分析
  本章小结
第8章  云计算环境下的业务流程可变性管理平台分析与设计
  8.1  引言
  8.2  业务流程可变性管理平台设计的整体框架
  8.3  管理平台工具的简单功能界面
  本章小结
参考文献
后记