WF本质论

　　《WF本质论》详细讲解Windows Workflow Foundation（WF）的运作原理，并在解析原理的过程中给出WF的设计初衷。WF使用了一种开创性的方法来编写和执行程序。《WF本质论》两位作者从WF项目立项开始就参与这个项目，负责规划、设计、开发了其中的大部分技术。在《WF本质论》中，作者高屋建瓴地探讨了WF中的关键概念和整体架构，不仅涉及如何使用WF，还涉及为什么这样使用WF，揭开了WF技术的神秘面纱。通过简单而极具说明性的例子，《WF本质论》演示了如何利用WF的可扩展性编程来构造具体领域的程序。WF编程模型关键部分的核心概念和观点。活动的执行模型，包括活动自动机的细节、书签机制、调度策略以及WF运行时的线程模型。高级执行概念，包括活动执行上下文、事务、持久化点、钝化、错误处理、取消操作、补偿和异步。在应用程序中宿主WF运行时。活动组件模型，包括验证的细节、WF程序的编译、序列化以及可视化。数据绑定、XAML、依赖属性以及WF程序元数据。声明性条件及规则、活动设计器以及如何驻留设计器。自定义控制流模式，从简单的顺序和迭代控制流到复杂的图和状态机控制流等各种层次。运行期间对WF程序实例的动态编辑。

　　舒克拉（Dharma Shukla），微软架构师，工作目标为下一代编程模型。他是WF项目组一名支柱成员，在定义WF体系结构的过程中扮演了重要的角色。施密德（Bob Schmidt），微软高级程序经理，他的工作目标也是下一代编程模型。自2003年开始，他的主要精力放在了WF的设计上。他曾获得斯坦福大学计算机科学硕士学位。

第1章 剖析WF
1 1.1 线程进程灵活性 4
1.1.1 书签 6
1.1.2 可恢复语句组件 9
1.2 复合语句组件 11
1.3 控制流 15
1.3.1 复合语句组件 17
1.3.2 控制流的健壮性 19
1.3.3 现实中的控制流 20
1.4 程序的声明 21
1.5 本章小结 23
第2章 WF程序 24
2.1 WF编程模型 24
2.1.1 活动 24
2.1.2 复合活动 28
2.1.3 WF程序 30
2.2 WF运行时 33
2.3 本章小结 38
第3章 活动的执行 40
3.1 调度 41
3.2 活动自动机 42
3.2.1 活动的执行状态和结果 43
3.2.2 活动执行上下文 46
3.2.3 活动的服务 47
3.3 回顾书签 49
3.3.1 WF程序的执行 51
3.3.2 WF程序队列 51
3.3.3 计时器 57
3.4 活动的初始化和终结化 60
3.5 组件活动的执行 64
3.6 WF线程 74
3.7 本章小结 79
第4章 活动执行的进阶话题 80
4.1 活动执行上下文 80
4.1.1 活动执行上下文管理器 82
4.1.2 迭代控制流 84
4.1.3 交错式迭代 93
4.1.4 活动执行上下文的结束 96
4.1.5 AEC和WF程序的钝化 96
4.2 取消 98
4.2.1 取消状态 98
4.2.2 复合活动的取消 104
4.2.3 提早完成 106
4.2.4 取消处理器 107
4.3 错误处理 109
4.3.1 异常状态 109
4.3.2 复合活动的错误处理 112
4.3.3 错误传播 113
4.3.4 错误处理器 113
4.3.5 未处理错误 114
4.3.6 为错误处理建模 114
4.3.7 ThrowActivity活动 119
4.4 补偿 119
4.4.1 补偿状态 120
4.4.2 补偿处理器 122
4.4.3 默认补偿 123
4.4.4 自定义补偿 125
4.5 本章小结 128
第5章 宿主应用程序 129
5.1 WF运行时 129
5.1.1 服务 131
5.3 创建WF程序实例 134
5.4 运行WF程序实例 144
5.5 WF程序实例的钝化 150
5.5.1 运行期间活动序列化 156
5.5.2 基于代理的序列化 156
5.6 WF程序实例的挂起 162
5.7 WF程序实例的中止 164
5.8 放弃WF程序实例 165
5.9 WF程序实例的完成 166
5.10 WF程序实例的生命周期 166
5.11 本章小结 175
第6章 事务 176
6.1 TransactionScopeActivity活动 177
6.2 保存点 181
6.3 事务服务 183
6.4 数据的事务化传输 187
6.5 本章小结 188
第7章 进阶话题 189
7.1 依赖属性 189
7.1.1 活动元数据 190
7.1.2 活动数据绑定 195
7.1.3 附着属性 198
7.2 使用XAML定义活动类型 200
7.3 活动组件模型 208
7.4 验证 211
7.4.1 活动验证器 217
7.4.2 复合活动的验证 217
7.4.3 验证选项 219
7.5 编译 220
7.5.1 编译器参数 221
7.5.2 编译器输入 222
7.5.3 验证和编译 223
7.5.4 活动代码生成 224
7.6 设计器序列化 229
7.6.1 代码序列化 231
7.6.2 XAML 序列化 233
7.6.3 集合序列化 234
7.7 本章小结 236
第8章 杂项 237
8.1.2 代码型条件 239
8.1.3 声明性条件 241
8.1.4 规则 243
8.1.5 规则集的执行 247
8.2 动态编辑运行中的WF程序实例 248
8.3 跟踪服务 255
8.4 设计器 261
8.4.1 设计器基类 265
8.4.2 附着属性 269
8.4.3 设计器动作 272
8.4.4 设计器图形 275
8.4.5 设计器布局管理 277
8.4.6 设计器主题 279
8.4.7 工具箱条目 282
8.5 驻留设计器 284
8.5.1 回顾WorkflowView控件 284
8.5.2 动态解析活动设计器 288
8.6 本章小结 290
附录A 活动自动机 291
附录B 控制流模式 29