%0 Journal Article
%T UML-statecharts Based Verification of Control Flow of the Workflow<br>基于UML-Statecharts的工作流控制结构的验证
%A LU Gong-Zheng
%A RONG Mei
%A ZHANG Guang-Quan
%A <br>陆公正
%A 戎玫
%A 张广泉
%J 计算机科学
%D 2006
%I 
%X Verification of workflow model has been one of the important research fields of workflow. The correctness of the control flow is the basic requirement that the workflow process must satisfy. In this paper, we emphasize on the verification of the control flow. We construct the control flow model by UML-Statecharts, and express that the property the control flow must satisfy by temporal logic. Then we give a theorem and prove it,also according to it give an algorithm of verification of soundness. For the verification of the property about workflow semantics we also give an algorithm.
%K UML-Statecharts<br>工作流
%K 时序逻辑
%K 完全性
%K 模型检测
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=751AE3B8BCA8BBE5&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=94C357A881DFC066&sid=BA79719BCA7341D5&eid=8575BEDA702C4B7C&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8