工作流正确性问题综述.pdfVIP

第26卷第5期 计算机应用研究 V01．26No．5 2009年5月 Researchof Mav2009 Application Computers 工作流正确性问题综述，： 张 民1，郭玉彬h，李西明拍，蒋郁26 (1．聊城大学计算机学院，山东聊城252059；2．华南农业大学a．信息学院；b．现代教育技术中心，广州 510640) 摘要：首先从结构正确性和执行正确性两方面对工作流系统的正确性问题进行了综述。对结构正确性，从模 型角度进行了正确性定义、判定依据及判定工具的介绍。对执行正确性，从事务、异常处理两个方面介绍了当前 工作流正确性的保障技术。最后，对已有工作流正确性问题的理论和实现技术进行了比较，并总结了这方面的 几个研究方向，供研究人员借鉴。 关键词：工作流管理系统；工作流模型；事务工作流；正确性；异常 中图分类号：TP391 文献标志码：A 文章编号：100l-3695(2009)05-1645-05 forcorrectnessofworknow Survey problem system zHANG Yu26 Minl，GuoYu．bin2a，u xi．min孑“，JIANG (1．coZ妇P 加幻盱C缸衙，5D以^饥fM』姆证础啪‰毋，GM，lg墨bⅡ510640。蕊i，ln) sum删lrizedcorrectnessofworkflaw stmcturalcorrectIle8s明dcor- Abs咖ct：This pmblem executing paper sy8tem，including stnlctural t00lsof forworkflowmodel． rectness．To and correctness correctlless，in帅ducedd幽nition，detenninantsjudging Andto transaction andabonion assurance correctness，su舢narized executing technolog)r pmcessingtechnolog)，聃correctnes8 ofwDrnow fieldswo汕to oncorrectnessofworknow technology study sys． system．Atlast，pre∞nted∞r∞re∞arch pmblem “硼． words：workflow model；tran8actional 1【ey managemem8ystem；worknow worI‘flow；correctne88；aboni叩 工作流技术是实现业务过程建模、仿真分析、优化、管理与 程管理等方面的国际会议和期刊论文情况看，当前工作流模型 集成，并最终实现业务过程自动化的核心。目前已在并