工作流正确性问题综述  

Survey for correctness problem of workflow system

作　　者：张民[1] 郭玉彬[2] 李西明[3] 蒋郁[3] 

机构地区：[1]聊城大学计算机学院,山东聊城252059 [2]华南农业大学信息学院,广州510640 [3]华南农业大学现代教育技术中心,广州510640

出　　处：《计算机应用研究》2009年第5期1645-1649,共5页Application Research of Computers

基　　金：广东省科技厅工业科技攻关计划项目(G03-B2070370);广东省教育产学研结合项目(2008B090500193)

摘　　要：首先从结构正确性和执行正确性两方面对工作流系统的正确性问题进行了综述。对结构正确性,从模型角度进行了正确性定义、判定依据及判定工具的介绍。对执行正确性,从事务、异常处理两个方面介绍了当前工作流正确性的保障技术。最后,对已有工作流正确性问题的理论和实现技术进行了比较,并总结了这方面的几个研究方向,供研究人员借鉴。This paper summarized correctness problem of workflow system, including structural correctness and executing correctness. To structural correctness, introduced definition, determinants and judging tools of correctness for workflow model. And to executing correctness, summarized transaction technology and abortion processing technology as correctness assurance technology of worflow system. At last, presented some research fields worth to study on correctness problem of workflow system.

关 键 词：工作流管理系统 工作流模型 事务工作流 正确性 异常 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]