%0 Journal Article
%T Survey for correctness problem of workflow system<br>工作流正确性问题综述*
%A ZHANG Min
%A GUO Yu-bin
%A LI Xi-ming
%A JIANG Yub
%A <br>张民
%A 郭玉彬
%A 李西明
%A 蒋郁b
%J 计算机应用研究
%D 2009
%I 
%X 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.
%K workflow management system
%K workflow model
%K transactional workflow
%K correctness
%K abortion<br>工作流管理系统
%K 工作流模型
%K 事务工作流
%K 正确性
%K 异常
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=E382A80C58C1C29D864294E976ADC44A&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=94C357A881DFC066&sid=E521CC33DC22B84E&eid=4BFBB19F1A63A4F0&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=52