为了使工作流引擎的功能进一步完善，实现更加复杂的业务逻辑的控制流转，更好地服务于企业应用，针对工作流引擎推进过程中的m选n问题，提出了两种解决方案，方案一使用节点栈来解决m选n转入节点的复杂判断，方案二提出了一种通用的模型转换方法，将m选n转换为单选和并行。方案一已成功应用于具体项目中，证明了其可行性和有效性。4100计算机应用研究图6所示,它违反了解决方案一b)的前提条件,即图中出现了转换为单选和并行的问题,但是引发的另外一个问题是如何将内循环,而且不能向良好定义模型转换。模型中的所有n选n节点进行自动转换,因为在实际应用中不能让业务用户手动完成如此复杂的转换。这也是笔者下步要进行的工作之一。3应用实现图5增加颹拟节点F后的流程模型图6带有内循环的流程模型通常情况下,工作流模型都是存储在XⅦL文件中的89幸运的是,实际的业务流程并不具有随意性,它会更多地为查找某个节点的最近m选n转出节点所进行的搜索是一个考虑那些特殊节点(如图6中的G节点)对其他节点(如节点树型搜索。因为解析XML文件比解析一条数据库记录要复杂B、C、D等)的影响,会更多地关心业务的完整性,会融入更多得多,所以为了提高效率,可以将流程模型转换成数据库记录的管理规则,所以,那些不满足解决方案一前提而且不能向良存储在数据库中,专门用一个字段存储节点栈。这样所进行的好定义模型转换的流程并不一定会在业务中出现,或者是很少搜索是在已经排好序的数据上作的线性查找。在服务器启动见。这是笔者在多年开发电力营销系统时的一个发现。当然,时,把数据库中的流程记录加载到内存中,这样引擎在使用时若真的山现了违反方案一前提的流程,那就需要特殊处理了。就很方便,并且效率也得到了保证。2.1.3存在的问题解决方案一已经成功应用于陕西省电力公司重点项目该方案虽然能够解决大部分的工作流程,但是,正像前文《电力营销系统》和《电网安全生产管理系统》,证明了所提方分析的那样,也有些情况无法解决:a)明显违反前提条件的案的可行性和有效性。沇程,或者无法向良好定义转换的流程,无法使用该种方案;b)此方案难以处理带有跳转控制的情况,如在图5中,如果A4结束语节点处理完后,要强制跳转到C节点执行,那么在F节点的m选n转入将会无法处理。因此,引入第二种解决方案。当出现随着企业对信息系统的建设要求越来越高,工作流系统对这些不能处理的情况时,可以采用方案二来解决。应用系统的实现越来越重要,应用系统对工作流管理系统的要求也越来越高。工作流管理系统不仅要实现简单的顺序业务2.2解决方案二的流转,而且要实现基于复杂判断的业务流转。本文针对业务2.2.1模型转换的实现流程中的π选n问题提出了两种解决方案,其方案一通过构m选n转出、转人处理是本文提出的难点问题,如果能够建节点栈,解决了m选n转入情况的复杂判断问题该方案已把任意流程中的m选n转出、转入都替换成单选转出、转入和经成功用于具体项日得以验证;方案二是一个较为通用的解决并行转出、转人,那么,本文的问题也就迎刃而解。方法,旨在通过将流程模型屮的m选n转换为单选和并行来定理1对于任意给定的m选n转出,总能够把它转换为加以解决。下一步的研究工作将是方案二中模型转换的自动并行转出和单选转出的组合方式,即用并行转出和单选转出的化,力争使所提方案更加高效和通用。组合替代m选n转出。同理,m选n转入也总能够用并行转参考文献入和单选转入来替代。[1]东方易维,工作流反思系统之为什么用不起来[FB/O1]证明设m选n节点i有k条路径转出,把这k条路径上(2007-10-16)「2008-10-111.htp;/ww.soft6.com/tech/9的条件分别命名为t1,2,…,t,则m选n转出可表示为t1OR93645.htmt2OR…ORt。因为从m选n转出节点总会转出到一条路径2]北京思维加速软什有限公司. Business业务架构平台[EB/OL上,即至少有一个条件成立,亦即tORt2OR…ORt的值永(2007)[2008-10-11]http://www.justepcom/products/platform,真,那么或t1为真,或t2为真,或(1≤j≤k)为真,或多个条件work l hunl同时为真。据此,OR2OR…ORt=(41XOR4)AND(2[31闻立杰,王建民,孙家广,月着色P建模工作流模式[J,计XOR-12)…AND(4XOR=4)=TRU。由此可见,OR可以算机科学,2006,33(6):135-139转换为XOR和AND的组合,即m选n转出(转入)可以转换41余路,周国富,珍,,于P图的工作流模式一工作流为并行转出(转入)和单选转出(转入)。[5 Van der AALST W MP, Ter HOFSTEDE A H M, KIE PUSZEWSKI例如,根据定理1,可以将图7转换为图8。B, et al. Advanced workflow patterns[ C]// Proc of the 7th Interna在图8中,A节点并行转出,节点单选转出(把原A节点tional Conference on Cooperative Information Sys2000. Berlin上到B的条件移到A到B上,而A到B′上的条件则取它的条pringer,2000:18-29件的非值),冋理A到A"的路径同样处理,而D节点此时为并16」张亮,姚淑珍.基于Peli网的工作流模式研究[J.计算机集成行转人。制造系统,2006,12(1):54-58I7 Van der AALST W MP. Patterns and XPDL: a critical evaluation ofS<10, BS<10Bthe XML process definition language EB/OL].(2005-02-04S1≥10B[2008-10-13.http://wwwis.wintue.nl-wrdaalst/puhlica-tions/p201. pdfS,>0[8 Open source workflow engines willen in Java[ EB/OL].(2005)2008-10-14http://www.35dx.com/html/java/6/java5176.ht-图7节点A为m选n转出,节点D为m选n转入图8只包含单选和并行的流程nl[9 HOLLINCSWORTH D. The workflow reference model 10 vears an2.2.2存在的问题EB/OL].(2004-06-18)[2008-10-13]htp://ww. epicentral从理论上,方案二能够将流程模型中的所有m选n冋题info/know ledgebasc/ articles/workflowrefmodel/view