摘要
为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法。针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述。在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法。最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性。
To describe business processes more clearly,a workflow model with extended directed graph as well as the verification for the model is proposed.Firstly,to improve the workflow model with directed graph,the definition and description with graphical symbol of the workflow model with extended directed graph are put forward.Then,the method,in which Pi-calculus is used for analyzing as well as verifying the accuracy of the workflow model with extended directed graph,is also introduced.And the method is based on the accurate description of the model with Pi-calculus.Finally,by an experiment,in which both the model and its verification method are analyzed and verified carefully,the validity and the accuracy of the model and its verification method is proved.
出处
《计算机工程与设计》
CSCD
北大核心
2010年第10期2399-2404,共6页
Computer Engineering and Design
基金
工信部2007电子信息产业发展基金项目(工信部运[2007]97号)
作者简介
作者简介：王金朋（1984--），男，河北沧州人，硕士研究生，研究方向为工作流、面向服务的体系结构；
侯贵宾（1968--），男，硕士，高级工程师，研究方向为计算机应用技术；
邓成玉（1950--），男，教授，研究方向为工作流、数据库理论及应用、数据挖掘技术；
刘永山（1963--），男，河北张家口人，教授，博士生导师，研究方向为数据库理论、计算机应用技术。E-mail：fpwjp@sina．com
