过程感知的信息系统

过程感知的信息系统，软件测试：跨越整个软件开发生命周期，软件测试实践：成为一个高效能的测试专家，机器视觉算法与应用，数值方法（C++描述），Web技术。

本书全面讲述了过程感知的信息系统（PAIS系统）相关理论、技术和工程体系。全书共15章，分为四个部分。第Ⅰ部分阐述了PAIS系统基本概念，深入讨论了人与应用（P2A）、人与人（P2P）、应用与应用（A2A）等三类PAIS系统。第Ⅱ部分介绍了过程建模语言，包括统一建模语言（UML）、扩展的事件驱动过程链（eEPC）和形式化过程建模语言（Petri Net），并且介绍了用于评价不同语言能力及其特性的过程模式。第Ⅲ部分介绍了PAIS系统实施与开发技术，包括过程设计与再造、过程挖掘和事务型过程管理等技术。第Ⅳ部分介绍了PAIS系统标准和工具，包括工作流管理联盟标准、可执行业务过程语言（WS-BPEL）、紧架构P2A系统Staffware和松架构P2A系统FLOWer。 本书可以作为信息系统或软件工程专业研究生或高年级本科生教材，也可以作为相关研究人员和工程开发者的参考书。

第一部分 概念 第1章 绪论 1.1 从程序和数据到过程 1.2 PAIS：定义与基本原理 1.3 技术与工具 1.4 分类 1.5 关于本书 参考文献 第2章 Person-to-Application过程：工作流管理 2.1 引言 2.2 工作流术语 2.3 工作流建模 2.4 工作流管理系统 2.5 展望 2.6 练习 参考文献 第3章 Person-to-Person过程：计算机支持的协同工作 3.1 引言 3.2 人与人交互的特征 3.3 人与人系统的特点 3.4 P2P系统实例 3.5 小结 3.6 练习 参考文献 第4章 企业应用集成（EAI）和B2B集成过程 4.1 引言 4.2 EAi和B2B过程举例 4.3 概念、体系结构和工具 4.4 未来发展 4.5 练习 参考文献 第二部分 建模语言 第5章 使用UML进行过程建模 5.1 引言 5.2 使用活动图对控制流进行建模 5.3 对象与对象流建模 5.4 组织结构建模 5.5 对业务伙伴之间的交互进行建模 5.6 系统特定过程建模 5.7 小结 5.8 练习 参考文献 第6章 用事件驱动过程链进行过程建模 6.1 引言 6.2 EPC概述 6.3 ARIS业务过程元模型 6.4 EPC建模指导 6.5 ARIS体系结构 6.6 展望 6.7 练习 参考文献 第7章 Petri网过程建模 第8章 过程建模模式 第三部分 技术 第9章 过程设计与再设计 第10章 过程挖掘 第11章 事务型业务过程 第四部分 标准和工具 第12章 工作流定义和执行的相关标准 第13章 基于Web Service的业务过程 执行语言 第14章 Staffware中的工作流管理 第15章 FLOWer案例处理方法：超越工作流管理 附录 术语表