Windows WorkFlow Foundation 入门之二（使用WF开发介绍）

 

二、使用WF开发介绍
       WF允许我们用.net framework来开发自己的工作流程序，它并不是一个可执行程序，但它使得我们能开发自己的工作流应用程序。  
      传统的通用编程语言致力于开发短生命期的程序，它们缺乏对程序运行的持续性和稳固性的内在的支持。WF是一个框架，不是一门语言。它对工作流编程有着深入的理解，从而能很好的处理诸于persistence and compensation这样的工作。  
      WF是灵活的，可扩展的。你可以直接通过代码或markup（？）来编写工作流，可使用两者组合。你可以通过定义可重用的活动来，来实现自定义的工作流模式。
      WF支持模型驱动的工作流开发，它支持自然的可视化设计，同时隐藏了一些系统级的概念，如事务、状态管理以及并发控制。
      开发工作流程序有两件基本的事情，一是定义工作流和它的活动，再就是在程序使用这些工作流。

（一）工作流程模式
      WF支持多种工作流程式，如顺序工作流，以及数据驱动。顺序模式是一直向前执行，它在重复和、可预见的操作（这些操作通常相同）中非常有用。状态机模式由一系列事件驱动的状态组成，数据驱动模式依赖于数据来决定某个活动是否执行。 
      顺序工作流 
      顺序模式是一直向前执行，它在重复和、可预见的操作（这些操作通常相同）中非常有用，例如，一系列的活动以规定的、通常相同的顺序来运行。参见下图。



顺序工作流以按顺序执行的方式来执行活动，直到最后一个活动执行完成。顺序工作流不一定是完全确定的，即使在非正常操作中。例如，你可以使用一个“监听”活动或一个“并发”活动，事件的具体顺序在不同的情况下可以不同。
      状态机工作流 
      在状态机模型中，工作流就是一个状态机，它由一系列的状态组成。其中一个状态指示了开始状态，每个状态都可以接收一系列的事件。基于一件，工作流从一个状态迁移到另一个状态。状态机工作流可以有一个终结状态，当迁移到终结状态时，工作流就完成了。
       下面这幅图是一个状态机工作流的例子。

 
   下面这张表列出了在WF框架的活动集合中与状态机相关的活动
 

活动

说明

EventDrivenActivity

用于依赖于外部事件才能开始执行的状态。EventDrivenActivity必须有一个Activity实现在了IEventActivity 接口，作为其第一个子活动。

SetStateActivity

用于迁移到一个新状态。

StateActivity

代表状态机中的一个状态，可以包含附加的“状态”活动  

StateInitializationActivity

当进一个状态时执行，可以包含其它活动。

StateFinalizationActivity

当离开一个StateActivity时会执行它所包含的活动。 

   
使用活动来控制流程
       WF框架包含不同功能的活动，我们可以这些活动来控制工作流的逻辑流程。  
      下面这张表列出了在WF框架的活动集合中用来控制工作流逻辑流程的活动。

活动  

说明

ListenActivity

可以根据一些事件或超时操作来产生分支。

IfElseActivity

在每个分支上测试同一个条件，并且执行第一个返回True的分支上的活动。

ParallelActivity

可以使工作流同时执行两个以上互不相关的操作。

SuspendActivity

挂起一个操作，可以产生错误用来干预流程。

TerminateActivity

当错误发生时，可以用来立即终止工作流中的一个操作。

WhileActivity

循环执行一个操作，执行指定的条件得到满足。

ConditionedActivityGroup

也被称为CAG。当设定到CAG的条件满足时，会执行CAG包含的子活动。子活的执行也必须满足该子活动设定的条件。

EventDrivenActivity

它是一个包含另一个活动的活动，在指定的事件发生时执行。

 

在工作流中使用条件

      我们可以通过条件来控制工作流的状态。运行时引擎会自动判别一个条件，并根据判别的结果来执行某一些操作。 

      有两种方式来表达工作流中的条件：

      一是代码方式，编写一个Handler返回Bool值；（注：以下译作代码条件）

      二是通过工作流定义中的规则(rule)。（注：以下译作规则条件）

      我们可以在运行的时候动态的更新规则条件来改变工作流的行为。

      我们还可以使用PolicyActivity，通过规则来完成有条件的行为。 

 条件活动

      WF提供了多个使用条件的活动：

·         IfElseActivity分支：基于对条件结果的判别。

·         WhileActivity：只要条件保持为True，就会持续的执行它包含的所有活动。条件的值会在每次循环执行时重新进行判别。

·         ConditionedActivityGroup：持续的执行它包含的所有活动直到其条件为真，它包含的每个活动都有一个When条件，只有当When条件为真时，活动才会执行。

      你可以在你创建的工作流中自定义条件。   

      注意：规则条件可以引用public成员（即在你的工作流类中定义的变量或方法），而代码条件可以引用public或private成员。

使用规则条件

       规则条件在条件表达式编辑器中定义，根据工作流状态和数据来确定条件的值。运行时引擎会判别这个条件，从而决定要不要让与之相联的活动执行或使之可用。

      规则条件非常有用，因为你在运行的时候可以修改它们，这意味着你可以不用停止、修改或编译你的工作流就可以改变它的行为。

      可以使用下面的要素来构建规则条件：

·         逻辑操作符，如AND,，OR， NOT

·         算术操作符，如+，-，*，/

·          工作流中的public成员，间接地使用其它程序集中的成员

   对包含复杂类型的变量的嵌套调用，这种变量如：this.Address.State == "WA"

   注意：if关键字会被自动添加到条件语句的前面，但它不会显示在这个语句中。

动态更新规则条件

      你可以通过动态更新规则条件，在工作流运行的时候修改它的行为，而不需要重新编译。
      条件会作为活动的一个属性出现，这些活动诸如：WhileActivity, IfElseActivity, ReplicatorActivity, 和 ConditionedActivityGroup。宿主程序会显式的更新这些条件定义，更新后的条件会在下次条件被判别时使用到。
      因为条件是可序列化的，如果工作注被暂停或终止时，更新后的条件也会被保存。

      重要：任何动态更新只能当前正在运行的实例有效，而不会影响到工新创建的作流实例。
 
使用代码条件 

         要以用C#或VB.net来创建条件。代码条件简单看，是分隔代码的处理器，它为ConditionalEventArgs.Result设置一个布尔值。代码条件被编译后，成为程序集一的部份。运行时引擎执行这个方法，并返回一个一个布尔值作为代码条件的判别结果。

       下面的例子是一个用于判别某个值是否大于10的一个代在条件：

private void EvaluateCondition(object sender, ConditionalEventArgs e) 
{ 
    e.Result = (this.CustomPropertyValue > 10); 
}

WF支持的CodeDOM类型

      WF System.CodeDOM。你可使用这些类型来创建你的表达式，其中一些用于条件(conditions)，一些用于规则(actions)，还有一些能用于两者。

      注意：CodeDOM不支持一元操作符，也不支持不等操作符，如a!=b，你可以换成这样表达：(a==b)==false

   下表列出了WF所支持的CodeDOM类型。

类

用于

CodeAssignStatement

Actions

CodeBinaryOperatorExpression

Conditions

CodeDirectionExpression

Conditions

CodeExpressionStatement

Actions

CodeFieldReferenceExpression

Conditions

CodeMethodInvokeExpression

Conditions

CodeMethodReferenceExpression

Conditions

CodePrimitiveExpression

Conditions

CodePropertyReferenceExpression

Conditions

CodeThisReferenceExpression

Conditions

CodeTypeReference

As part of expressions

CodeTypeReferenceExpression

Conditions

 

CodeBinaryOperatorType

Supported in

Add

Conditions, Actions

BitwiseAnd

Conditions, Actions

BitwiseOr

Conditions, Actions

BooleanAnd

Conditions, Actions

BooleanOr

Conditions, Actions

Divide

Conditions, Actions

GreaterThan

Conditions, Actions

GreaterThanOrEqual

Conditions, Actions

IdentityEquality

Conditions, Actions

IdentityInequality

Conditions, Actions

LessThan

Conditions, Actions

LessThanOrEqual

Conditions, Actions

Modulus

Conditions, Actions

Multiply

Conditions, Actions

Subtract

Conditions, Actions

ValueEquality

Conditions, Actions