基于Pi-演算的扩展有向图工作流模型及验证  

Workflow model with extend directed graph and verification based on Pi-calculus

作　　者：王金朋[1] 侯贵宾 邓成玉[1] 刘永山[1] 

机构地区：[1]燕山大学信息科学与工程学院,河北秦皇岛066004 [2]秦皇岛港股份有限公司技术中心,河北秦皇岛066004

出　　处：《计算机工程与设计》2010年第10期2399-2404,共6页Computer Engineering and Design

基　　金：工信部2007电子信息产业发展基金项目(工信部运[2007]97号)

摘　　要：为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法。针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述。在用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.

关 键 词：工作流 工作流模型 有向图 PI-演算 模型验证 

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