摘要
首先从结构正确性和执行正确性两方面对工作流系统的正确性问题进行了综述。对结构正确性,从模型角度进行了正确性定义、判定依据及判定工具的介绍。对执行正确性,从事务、异常处理两个方面介绍了当前工作流正确性的保障技术。最后,对已有工作流正确性问题的理论和实现技术进行了比较,并总结了这方面的几个研究方向,供研究人员借鉴。
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.
出处
《计算机应用研究》
CSCD
北大核心
2009年第5期1645-1649,共5页
Application Research of Computers
基金
广东省科技厅工业科技攻关计划项目(G03-B2070370)
广东省教育产学研结合项目(2008B090500193)
关键词
工作流管理系统
工作流模型
事务工作流
正确性
异常
workflow management system
workflow model
transactional workflow
correctness
abortion