业务流程建模与应用

第1章 绪论

第2章 业务流程建模语言

2.1 相关概念

2.2 流程图

2.3 数据流图

2.4 自动机

2.5 角色活动图

2.6 集成计算机辅助制造定义系列

2.7 Petri网

2.8 统一建模语言

2.9 工作流

2.10 事件驱动过程链

2.11 业务流程执行语言

2.12 业务流程建模符号

2.13 各种业务流程建模语言对比与分类

第3章 基于双状态的业务流程描述模型DSBPDM

3.1 理论基础

3.2 模型详细

第4章 DsBPDM模型的形式化描述

4.1 流程模型的形式化定义

4.2 调度模型的形式化定义

4.3 实例分析

4.4 关于业务流程的讨论

第5章 业务流程推进

5.1 对约束CF的解释

5.2 业务流程的推进过程

5.3 业务流程推进实例

第6章 业务流程模型的应用

6.1 辅助开发平台

6.2 电子政务中的应用

6.3 电子商务中的应用

6.4 科研项目管理中的应用

6.5 业务流程推进的应用

6.6 流程再造中的应用

6.7 应用效果分析

参考文献

《业务流程建模与应用》为高水平专著，适合于对业务流程建模，流程分析感兴趣的学者、研究生以及运用业务流程进行业务系统开发的各类信息技术人员参考。书中首先介绍了CBS系统的开发现状，对国内外常见的业务流程描述方法和模型进行了综述。然后针对开发cBs存在的问题，着重介绍了一种基于双状态的业务流程描述模型DSBPDM，并详细给出了DSBPDM模型的形式化定义，以此为基础给出各种业务流程模式的严格定义，并借鉴谓词逻辑定义语义的方法和步骤，推导出“业务流程的推进过程等同于其实例格局不断变迁”的结论，把对业务流程的研究转化为对表单实例格局的研究。