到目前为止,我们所讨论的工作流都是顺序工作流,而WF还支持另外一种工作流机制-状态机(State-Machine)工作流,本节就来介绍这些在状态机工作流中工作的活动.
一个状态机是由一系列状态(State)组成的.譬如,用来模拟软件bug跟踪的状态机工作流也许会包含以下四个状态:开启,分配,关闭和延期,工作流总是处于其中一个状态中.状态机的执行完全依靠事件来驱动.只有当工作流接收到适当的事件,才可以从当前的状态转换到一个新的状态.一个状态机必须包含一个起始状态和一个可选的结束状态.当工作流转换到结束状态时,工作流就完成了.
状态机工作流适合于模拟由外部决策来驱动执行的工作流.当我们做出了决策,比如关闭一个bug,我们需要一个本地通信服务来为工作流触发事件.工作流知道当前所处状态和可能将要转换到的状态.譬如,我们规定一个开启的bug必须在关闭之前被分配给相关人员,但它也可以从开启状态直接转换到延期状态.我们在建立一个状态机时,第一步就是定义这些状态.
State活动用来表示状态机的一个状态.例如我们的bug跟踪工作流将会包含4个State活动,分别代表开启,关闭,延期和分配这四种状态.和顺序工作流有所不同的是我们可以把这些活动拖放到设计器的任何位置,因为状态机并不会以特定的顺序从这个活动移动到下一个活动,而是由我们来定义合适的状态转换.
每个状态机工作流都需要一个起始状态(Initial State).我们可以使用工作流本身的InitialStateName属性来设置起始状态.还可以根据需要设置CompletedStateName属性来指定工作流的结束状态.
我们可以为这些活动添加下面将要介绍的子活动.需要注意的是,我们还可以在State活动中嵌套State活动,嵌套的状态允许子状态继承父状态的事件和行为.这部分将会在以后的章节中详细介绍.
StateInitialization活动是一个顺序复合活动.作为状态的起始活动,状态机切换到一个状态后, 会首先执行这个活动的子活动.状态中只能包含一个起始活动,当我们添加了这个活动之后,就可以双击它来编辑它的子活动.
和起始活动类似,StateFinalization活动也是一个顺序复合活动.作为状态的结束活动,状态机转换到当前状态之外时,这个活动就会被执行.状态中也只能包含一个结束活动.
EventDriven活动也是一个顺序复合活动.只有当事件到达的时候EventDriven户活动才会被执行.EventDriven活动的第一个子活动必须实现IEventActivity接口(譬如HandleExternalEvent活动).还记得Listen活动吗?与之类似,State活动可以包含多个EventDriven活动.例如OpenState状态就包含2个EventDriven活动-一个用来处理BugAssigned事件,另一个用来处理BugDeferred事件.我们不允许OpenState处理BugClosed事件,因为我们不需要在bug没有被分配之前就转换到关闭状态中.
在下图中,双击OpenState的EventDriven活动来配置BugAssigned事件的处理程序.我们将使用之前介绍过的HandleExternalEvent活动来处理这个事件(包含定义BugAssigned事件的接口必定被ExternalDataExchange特性修饰).处理完外部事件之后,我们将从当前的状态转换到另外的状态,这就得借助EventDriven的一个子活动-SetState活动.
SetState活动的作用是转换状态机到新的状态.在上图中,我们处理了BugAssigned事件.当bug被分配后,我们希望状态转换到AssignedState,实现状态间的转换很简单,我们只需要设置SetState活动的TargetStateName属性为AssignedState即可.而下一个状态-AssignedState活动也包含它自己的EventDriven活动以及用来转换到其它状态的SetState活动 (当然,状态最终还是会转换到ClosedState).
状态机的工作流视图会检查SetState活动并通过状态之间的连接线来表示它们的关系.例如下边的状态机工作流,我们可以看到,只有AssignedState会转换到ClosedState.