%0 Journal Article
%T Study on workflow model checking<br>工作流模型检测研究
%A YAN Zhi-hua
%A LI Cheng
%A ZHENG Yan-ping
%A <br>闫志华
%A 李成
%A 郑艳萍
%J 计算机应用
%D 2007
%I 
%X A method to verify the correctness of workflow model described by WPDL was introduced. We used CTL* to describe the correctness properties of workflow model and the algorithm of Nonemptiness games to verify the correctness. This method has f strong ability in describing the correctness properties, and it is both time and space efficient.
%K workflow
%K model checking
%K temporal logic<br>工作流
%K 模型检测
%K 时序逻辑
%K 工作
%K 流模型
%K 检测研究
%K model
%K checking
%K workflow
%K 检测算法
%K 描述能力
%K 检测方法
%K 算法实现
%K 博弈
%K 公式
%K 检测指标
%K WPDL
%K 检测技术
%K 利用模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=14E16CBD27430512C5587F6E301D64A7&yid=A732AF04DDA03BB3&vid=DB817633AA4F79B9&iid=B31275AF3241DB2D&sid=477F4C97C1F396EF&eid=3E06550FC0157483&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=5