基于虚活动转化的工作流建模及执行方法  

A Workflow Modeling and Performing Method Based on the Virtual Activity Transformation

作　　者：刘茜萍[1] 吴家皋[1] 邹志强[1] 

机构地区：[1]南京邮电大学计算机学院,江苏南京210046

出　　处：《南京邮电大学学报（自然科学版）》2011年第5期66-72,113,共8页Journal of Nanjing University of Posts and Telecommunications：Natural Science Edition

基　　金：国家自然科学基金(40801149;61003040);国家高技术研究发展计划(863计划)(2009AA12Z219);江苏省高校自然科学研究基础计划(08KJD520024);南京邮电大学自然科学研究基金(NY207138)资助项目

摘　　要：工作流是一种用以组织业务过程自动有序开展的技术手段,其建模及执行方法应与其所面向的业务过程特征相适应。对具有较大规模复杂选择执行逻辑的一类业务过程而言,需要针对性地研究更加简洁有效的建模方法并提供具体的执行方法。为此,本文提出以虚活动封装复杂选择执行逻辑的工作流预定义方法,并给出算法以构造与工作流相对应的二叉树并基于二叉树形式完成工作流的特殊合理性验证。此外,还基于工作流的满二叉树形式提出动态建模和执行算法以便于引擎自动控制预定义合理工作流的执行。最后通过一个实例验证了本文方法的有效性。Workflow technology is used to implement the automation of business processes.Workflow modeling and performing methods should adapt to specific characteristics of business processes.More straightforward and effective modeling methods and corresponding concrete performing methods are necessary for business processes with large scale of complex conditional performing logic.A workflow modeling and performing method is therefore proposed in this paper based on the virtual activity transformation.The workflow is defined as a quintuple form,where the concrete performing logic among activities is presented by the process algebra expression.Given a process algebra expression,the corresponding binary tree could be constructed through the provided algorithm.Based on the binary tree,the reachable relationship checking algorithm relevant to the special workflow reasonability verification is proposed.Moreover,the dynamic modeling and performing algorithm relevant to the engine implementation is described for verified reasonable workflows.The effectiveness of the proposed method is illustrated through a concrete case study.

关 键 词：工作流 建模 执行 虚活动 进程代数 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]