节点文献
工作流正确性问题综述
Survey for correctness problem of workflow system
【摘要】 首先从结构正确性和执行正确性两方面对工作流系统的正确性问题进行了综述。对结构正确性,从模型角度进行了正确性定义、判定依据及判定工具的介绍。对执行正确性,从事务、异常处理两个方面介绍了当前工作流正确性的保障技术。最后,对已有工作流正确性问题的理论和实现技术进行了比较,并总结了这方面的几个研究方向,供研究人员借鉴。
【Abstract】 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.
【关键词】 工作流管理系统；
工作流模型；
事务工作流；
正确性；
异常；
【Key words】 workflow management system； workflow model； transactional workflow； correctness； abortion；
【Key words】 workflow management system； workflow model； transactional workflow； correctness； abortion；
【基金】 广东省科技厅工业科技攻关计划项目(G03-B2070370);广东省教育产学研结合项目(2008B090500193)
- 【文献出处】 计算机应用研究 ,Application Research of Computers , 编辑部邮箱 ,2009年05期
- 【分类号】TP311.52
- 【被引频次】14
- 【下载频次】223