郑云翔，男，广东省广州市人，1979年12月生，博士，华南师范大学教育信息技术学院副教授，硕士生导师，广东省高等学校“千百十工程”培养对象。研究方向为软件工程、e-Iearning、个性化学习等，拥有8年以上软件项目开发经验，具有系统分析师资格。2007年6月毕业于中山大学计算机软件与理论专业，获工学博士学位，同年7月进入华南师范大学工作。近年来主持教育部人文社会科学青年基金项目1项、全国教育信息技术研究“十二五”规划课题l项、广东高校优秀青年创新人才培养计划项目2项，参与国家级、省部级课题7项，以第一作者发表学术论文24篇，其中scI收录1篇、EI收录2篇、ISTP收录1篇、lSSHP收录5篇、核心期刊10余篇。

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

第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 应用效果分析
参考文献