一.  概述

企业在进行业务处理时åQŒæ”¿åºœåœ¨˜q›è¡Œå…¬æ–‡å®¡æ‰¹æ—Óž¼Œéƒ½æ˜¯ä»¥æµ½E‹åŞ式而进行的åQŒåœ¨ä¿¡æ¯åŒ–çš„˜q‡ç¨‹ä¸­ï¼Œä¼ä¸šã€æ”¿åºœä¹Ÿž®†è¿™äº›ä¸šåŠ¡å¤„理、公文审批的˜q‡ç¨‹ä¿¡æ¯åŒ–了åQŒæ—©æœŸé€šå¸¸æ˜¯é€šè¿‡½E‹åº¼‹¬ç¼–码的方式来处理这些业务、公文的‹¹è{åQŒéšç€ä¸šåŠ¡ã€å…¬æ–‡çš„复杂的处理情况不断出çŽîC»¥åŠéœ€æ±‚的不断变更åQŒè¿™¿Uç¡¬¾~–码的方式显然已无法应对åQŒè¿™ä¸ªæ—¶å€™å·¥ä½œæµ½Ž¡ç†¾pȝ»Ÿåº”运而生åQŒæŽ€èµ·äº†ä¸€è‚¡å·¥ä½œæµ½Ž¡ç†¾pȝ»Ÿçš„热潮ã€?/span>

那么到底工作‹¹ç®¡ç†ç³»¾lŸèƒ½å¤Ÿå¸¦æ¥ä»€ä¹ˆå¥½å¤„？工作‹¹ç®¡ç†ç³»¾lŸé€šè¿‡å¯¹ä¸šåŠ¡ã€å…¬æ–‡æµè½¬è¿›è¡Œåˆ†æžä»¥åŠæŠ½è±¡ï¼Œž®†ä¸å˜å’Œå˜åŒ–的部分进行划分，用户可轻杄¡š„通过可视化的工具对事™å¹çš„‹¹ç¨‹ã€æµ½E‹çŽ¯èŠ‚涉及的人员(角色)、流½E‹çŽ¯èŠ‚的表单、流½E‹çŽ¯èŠ‚的操作˜q›è¡Œä¿®æ”¹åQŒä»Žè€Œåˆ°è¾¾äº†åº”对不断变化的需求的目的åQŒè€Œå·¥ä½œæµ½Ž¡ç†¾pȝ»Ÿé€šå¸¸æä¾›çš„流½E‹ç›‘控、查询统计模块更是极大程度的为用户优化流½E‹æä¾›æ”¯æŒï¼Œä»¥æé«˜ä¼ä¸šã€æ”¿åºœçš„工作效率ã€?/span>

本文主要描述工作‹¹ç®¡ç†ç³»¾lŸé€šå¸¸çš„结构、参考模型以及通常使用的调度算法ã€?/span>

�  构成

工作‹¹ç®¡ç†ç³»¾lŸï¼Œ½Ž€¿U?/span>WFMSåQŒç»˜q‡å¯¹ä¸šåŠ¡ã€å…¬æ–‡æµè½¬è¿‡½E‹çš„分析以及抽象åQŒå·¥ä½œæµ½Ž¡ç†¾pȝ»Ÿå›´ç»•ä¸šåŠ¡äº¤äº’逻辑、业务处理逻辑以及参与者三个问题进行解冻I¼Œä¸šåŠ¡äº¤äº’逻辑对应的äؓ业务的流转过½E‹ï¼Œåœ¨å·¥ä½œæµ½Ž¡ç†¾pȝ»Ÿä¸­å¯¹åº”的提出了工作流引擎、工作流设计器、流½E‹æ“ä½œæ¥è§£å†³ä¸šåŠ¡äº¤äº’逻辑的问题，业务处理逻辑对应业务‹¹è{˜q‡ç¨‹ä¸­çš„表单、文档等的处理，在工作流½Ž¡ç†¾pȝ»Ÿä¸­å¯¹åº”的提出了表单设计器、与表单的集成来解决业务处理逻辑的问题，参与者对应到的äØ“‹¹è{˜q‡ç¨‹ä¸­çŽ¯èŠ‚对应的人或½E‹åºåQŒåœ¨å·¥ä½œ‹¹ç®¡ç†ç³»¾lŸä¸­é€šè¿‡ä¸Žåº”用程序的集成来解军_‚与者的问题ã€?/span>

工作‹¹ç®¡ç†ç³»¾lŸäؓ方便业务交互逻辑、业务处理逻辑以及参与者的修改åQŒå¤šæ•°é€šè¿‡æä¾›å¯è§†åŒ–çš„‹¹ç¨‹è®¾è®¡å™¨ä»¥åŠè¡¨å•è®¾è®¡å™¨æ¥å®žçŽŽÍ¼Œä¸ºå®žçŽ°å·¥ä½œæµ½Ž¡ç†¾pȝ»Ÿçš„扩展性，多数提供了一¾pÕdˆ—çš?/span>APIã€?/span>

一个完整的工作‹¹ç®¡ç†ç³»¾lŸé€šå¸¸ç”±å·¥ä½œæµå¼•æ“Žã€å·¥ä½œæµè®¾è®¡å™¨ã€æµ½E‹æ“ä½œã€å·¥ä½œæµå®¢æˆ·ç«¯ç¨‹åºã€æµ½E‹ç›‘控、表单设计器、与表单的集成以及与应用½E‹åºçš„集成八个部分组成ã€?/span>

2.1.       工作‹¹å¼•æ“?/span>

工作‹¹å¼•æ“Žä½œä¸ºå·¥ä½œæµ½Ž¡ç†¾pȝ»Ÿçš„核心部分，主要提供了对于工作流定义的解析以及流½E‹æµè½¬çš„支持。工作流定义文äšg描述了业务的交互逻辑åQŒå·¥ä½œæµå¼•æ“Žé€šè¿‡è§£æžæ­¤å·¥ä½œæµå®šä¹‰æ–‡äšg按照业务的交互逻辑˜q›è¡Œä¸šåŠ¡çš„流转，工作‹¹å¼•æ“Žé€šå¸¸é€šè¿‡å‚考某¿Uæ¨¡åž‹æ¥˜q›è¡Œè®¾è®¡åQŒé€šè¿‡è°ƒåº¦½Ž—法来进行流½E‹çš„‹¹è{(‹¹ç¨‹çš„启动、终止、挂赗÷€æ¢å¤ç­‰)åQŒé€šè¿‡å„种环节调度½Ž—法(SPLITã€?/span>ANDã€?/span>OR½{?/span>)来实现对于环节的‹¹è{(环节的合òq¶ã€åˆ†å‰ã€é€‰æ‹©ã€æ¡ä»¶æ€§çš„选择½{?/span>)ã€?/span>

2.2.       工作‹¹è®¾è®¡å™¨

工作‹¹è®¾è®¡å™¨ä¸ºå¯è§†åŒ–的流½E‹è®¾è®¡å·¥å…øP¼Œç”¨æˆ·é€šè¿‡æ‹–放½{‰æ–¹å¼æ¥¾l˜åˆ¶‹¹ç¨‹åQŒåƈ通过对于环节的配¾|®æ¥å®žçŽ°çŽ¯èŠ‚操作、环节表单、环节参与者的配置ã€?/span>

工作‹¹è®¾è®¡å™¨ä¸ºç”¨æˆ·ä»¥åŠå¼€å‘商提供了快速绘制、修æ”ÒŽµ½E‹çš„方式åQŒå·¥ä½œæµè®¾è®¡å™¨çš„好坏军_®šåˆ°å·¥ä½œæµ½Ž¡ç†¾pȝ»Ÿçš„易用性ã€?/span>

2.3.       ‹¹ç¨‹æ“ä½œ

‹¹ç¨‹æ“ä½œæŒ‡æ‰€æ”¯æŒçš„对于流½E‹çŽ¯èŠ‚的操作åQŒå¦‚启动‹¹ç¨‹ã€ç»ˆæ­¢æµ½E‹ã€æŒ‚èµähµ½E‹ã€ç›´‹¹ã€åˆ†‹¹?/span>(单äh办理)、åƈ‹¹?/span>(多äh同时办理)、联审等åQŒè±¡˜q™äº›‹¹ç¨‹æ“ä½œéƒ½æ˜¯å¯ç›´æŽ¥åŸºäºŽå¼•æ“Žæ‰€æä¾›çš„环节调度算法来直接支持的，而在实际的需求中åQŒé€šå¸¸éœ€è¦è‡ªç”Þqš„对于‹¹ç¨‹˜q›è¡Œòq²æ¶‰åQŒå¦‚取回、回退、蟩转、追加、传阅、传阅办理等åQŒè€Œè¿™äº›æµ½E‹æ“ä½œå¯¹äºŽå·¥ä½œæµå¼•æ“Žæ¥è¯´æ˜¯ä¸åˆç†çš„，因此必须单独的去实现ã€?/span>

‹¹ç¨‹æ“ä½œæ”¯æŒçš„好坏直接决定到一个工作流½Ž¡ç†¾pȝ»Ÿçš„实用性ã€?/span>

2.4.       工作‹¹å®¢æˆïL«¯½E‹åº

工作‹¹å®¢æˆïL«¯½E‹åºä¸ºå·¥ä½œæµ¾pȝ»Ÿçš„表现åŞ式，通常使用Web方式˜q›è¡Œå±•çŽ°åQŒé€šè¿‡æä¾›å¾…办列表、已办列表、执行流½E‹æ“ä½œã€æŸ¥çœ‹æµ½E‹åŽ†å²ä¿¡æ¯ç­‰æ¥å±•çŽ°å·¥ä½œæµ¾pȝ»Ÿçš„功能ã€?/span>

2.5.       ‹¹ç¨‹ç›‘控

‹¹ç¨‹ç›‘控通过提供囑ÖŞ化的方式来对‹¹ç¨‹æ‰§è¡Œ˜q‡ç¨‹˜q›è¡Œç›‘控åQŒåŒ…括流½E‹è¿è½¬çŠ¶å†µï¼Œæ¯ä¸ªçŽ¯èŠ‚所耗费的时间等½{‰ï¼Œè€Œé€šè¿‡˜q™äº›å¯ç›¸åº”çš„˜q›è¡Œ‹¹ç¨‹çš„优化，以提高工作效率ã€?/span>

2.6.       表单设计�/span>

表单设计器äؓ可视化的表单设计工具åQŒç”¨æˆ·é€šè¿‡æ‹–放的方式来¾l˜åˆ¶ä¸šåŠ¡æ‰€éœ€çš„表单，òq¶å¯ç›¸åº”的进行表单数据的¾l‘定ã€?/span>

表单设计器äؓ客户以及开发商提供了快速修改表单的æ–ÒŽ³•åQŒè¡¨å•è®¾è®¡å™¨çš„易用与否以及功能的完善与否影响到工作流½Ž¡ç†¾pȝ»Ÿçš„易用性ã€?/span>

2.7.       与表单的集成

通常业务‹¹è{需要表单来表达实际的业务，因此需要与表单˜q›è¡Œé›†æˆæ¥å®žçŽîC¸šåŠ¡æ„ä¹‰ï¼Œä¸Žè¡¨å•çš„集成通常包括表单数据的自动获取、存储、修改，表单域的权限控制、流½E‹ç›¸å…Ïx•°æ®çš„¾l´æŠ¤ä»¥åŠ‹¹ç¨‹çŽ¯èŠ‚表单的绑定ã€?/span>

与表单的集成的好坏媄响到工作‹¹ç®¡ç†ç³»¾lŸæ˜¯å¦èƒ½æé«˜å¼€å‘效率ã€?/span>

2.8.       与应用程序的集成

通过与应用程序的集成来完善工作流½Ž¡ç†¾pȝ»Ÿçš„业务意义，主要涉及到的是与权限¾pȝ»Ÿä»¥åŠ¾l„织机构的集成。流½E‹çŽ¯èŠ‚需要相应的¾l‘定不同的执行角è‰ÔŒ¼Œè€Œæµ½E‹æ“ä½œé€šå¸¸éœ€è¦ä¸Žæƒé™¾pȝ»Ÿã€ç»„¾l‡æœºæž„进行关联ã€?/span>

�  参考模�/span>

工作‹¹ç³»¾lŸé€šå¸¸é€šè¿‡å‚考一些标准的模型来进行设计，主要的有WFMCå’?/span>OMGåQŒåœ¨˜q™é‡Œä¸»è¦ä»‹ç»ä¸€ä¸?/span>WFMCã€?/span>

3.1.       WFMC

WFMC是国际工作流½Ž¡ç†è”盟åQŒå®ƒäº?/span>1993òq´æˆç«‹ï¼Œå‘布了一¾pÕdˆ—的工作流定义、èÊY件接口的草案文本åQŒæ˜¯ç›®å‰ä¸–界上公认的最å…ähƒå¨æ€§çš„工作‹¹æ ‡å‡†åˆ¶å®šæœºæž„，得到了广泛的支持和应用ã€?/span>

2002òq?/span>10æœ?/span>25æ—?/span>åQ?/span>WFMC发布了基äº?/span>XML的流½E‹å®šä¹‰è¯­­a€1.0版的最¾lˆæ–‡æœ¬ï¼ˆWorkflow Process Definition Interface----XML Process Definition Language  文档¾~–号åQ?/span>WFMC-TC-1025åQ‰ï¼Œä»¥åŠæ­¤å‰å‘布的工作流应用软äšg接口规范WFMC-TC-1009, WFMC-TC-1013½{‰ç³»åˆ—æ–‡ä»Óž¼Œæž„成了工作流定义及系¾lŸçš„设计标准ã€?/span>

ä¸ÞZº†å®žçŽ°ä¸åŒå·¥ä½œ‹¹äñ”品之间的互操作，WfMC在工作流½Ž¡ç†¾pȝ»Ÿçš„相å…Ïxœ¯è¯­ã€ä½“¾pȝ»“构及应用¾~–程接口½{‰æ–¹é¢åˆ¶å®šäº†ä¸€¾pÕdˆ—标准。工作流½Ž¡ç†è”盟¾l™å‡ºçš„工作流定义是：工作‹¹æ˜¯æŒ‡æ•´ä¸ªæˆ–部分¾lè¥˜q‡ç¨‹åœ¨è®¡½Ž—机支持下的全自动或半自动化。在实际情况中可以更òq¿æ³›åœ°æŠŠå‡¡æ˜¯ç”Þp®¡½Ž—机软äšg¾pȝ»ŸåQˆå·¥ä½œæµ½Ž¡ç†¾pȝ»ŸåQ‰æŽ§åˆ¶å…¶æ‰§è¡Œçš„过½E‹éƒ½¿UîCؓ工作‹¹ã€?/span>

一个工作流包括一¾l„活动及它们的相互顺序关¾p»ï¼Œ˜q˜åŒ…括过½E‹åŠ‹zÕdŠ¨çš„启动和¾lˆæ­¢æ¡äšgåQŒä»¥åŠå¯¹æ¯ä¸ª‹zÕdŠ¨çš„描˜q°ã€‚工作流½Ž¡ç†¾pȝ»ŸæŒ‡è¿è¡Œåœ¨ä¸€ä¸ªæˆ–多个工作‹¹å¼•æ“Žä¸Šç”¨äºŽå®šä¹‰ã€å®žçŽ°å’Œ½Ž¡ç†å·¥ä½œ‹¹è¿è¡Œçš„一套èÊY件系¾lŸï¼Œå®ƒä¸Žå·¥ä½œ‹¹æ‰§è¡Œè€…（人、应用）交互åQŒæŽ¨˜q›å·¥ä½œæµå®žä¾‹çš„执行，òq¶ç›‘控工作流的运行状态ã€?/span>

WFMC主要提出了五个接口与工作‹¹æ‰§è¡ŒæœåŠ¡ä¸€èµ·å…±åŒç»„成了工作‹¹ç³»¾lŸï¼š

l         接口一(工作‹¹å®šä¹‰äº¤æ?/span>)åQŒç”¨äºŽåœ¨å»ºæ¨¡å’Œå®šä¹‰å·¥å…·ä¸Žæ‰§è¡ŒæœåŠ¡ä¹‹é—´äº¤æ¢å·¥ä½œ‹¹å®šä¹‰ã€‚主要是数据交换格式å’?/span>API。数据交换通过XPDLåQ?/span>API通过WAPIã€?/span>

l         接口äº?/span>(工作‹¹å®¢æˆïL«¯åº”用接口)åQŒç”¨äºŽå·¥ä½œæµå®¢æˆ·ç«¯åº”用访问工作流引擎和工作列表，通过WAPI完成ã€?/span>

l         接口ä¸?/span>(被调用的应用接口)åQŒç”¨äºŽè°ƒç”¨ä¸åŒçš„应用¾pȝ»Ÿã€?/span>

l         接口å›?/span>(工作‹¹ç³»¾lŸäº’操作接口)åQŒç”¨äºŽä¸åŒå·¥ä½œæµ¾pȝ»Ÿä¹‹é—´çš„互操作ã€?/span>

l         接口äº?/span>(¾pȝ»Ÿ½Ž¡ç†å’Œç›‘æŽ?/span>)åQŒç”¨äºŽç³»¾lŸç®¡ç†åº”用访问工作流执行服务ã€?/span>

å›?  核心调度½Ž—法

通常‹¹ç¨‹å¼•æ“Žé‡‡ç”¨çš„核心调度算法主要有FSM以及PetriNet两种åQŒåŸºäºŽè°ƒåº¦ç®—法来完成‹¹ç¨‹çš„流转ã€?/span>

4.1.       FSM(有限状态机)

FSM的定义äؓ包含一¾l„状态集åQ?/span>statesåQ‰ã€ä¸€ä¸ªè“v始状态（start stateåQ‰ã€ä¸€¾l„输入符号集åQ?/span>alphabetåQ‰ã€ä¸€ä¸ªæ˜ ž®„输入符号和当前状态到下一状态的转换函数åQ?/span>transition functionåQ‰çš„计算模型。当输入½W¦å·ä¸ÔŒ¼Œæ¨¡åž‹éšå³˜q›å…¥èµ·å§‹çŠ¶æ€ã€‚它要改变到新的状态，依赖于è{换函数。在有限状态机中，会有有许多变量，例如åQŒçŠ¶æ€æœºæœ‰å¾ˆå¤šä¸ŽåŠ¨ä½œåQ?/span>actionsåQ‰è{æ?/span>(Mealyæœ?/span>)或状态（摩尔机）兌™”的动作，多重起始状态，åŸÞZºŽæ²¡æœ‰è¾“å…¥½W¦å·çš„è{换，或者指定符号和状态（非定有限状态机åQ‰çš„多个转换åQŒæŒ‡‹z„¡»™æŽ¥æ”¶çŠ¶æ€ï¼ˆè¯†åˆ«è€…）的一个或多个状态，½{‰ç­‰ã€?/span>

遵åó@FSM‹¹ç¨‹å¼•æ“Žé€šè¿‡çŠ¶æ€çš„切换来完成流½E‹çš„‹¹è{ã€?/span>

4.2.       PetriNet

信息‹¹çš„一个抽象的、åŞ式的模型。指å‡ÞZ¸€¾pȝ»Ÿçš„静态和动态性质ã€?/span>petrinet通常表示成图。图中有两类用弧彼此相连的结点（¿UîCؓ地点和变换）和指½Cºå…¶åŠ¨æ€æ€§èƒ½çš„标讎ͼˆ¿UîCؓ记号åQ‰ã€?/span>

遵åó@PetriNet‹¹ç¨‹å¼•æ“Žé€šè¿‡ä»¤ç‰Œæ¥å†³å®šæµ½E‹çš„‹¹è{ã€?/span>