%0 Journal Article
%T A Method of Time Constraint Workflow Model Analysis and Verification<br>工作流时序约束模型分析与验证方法
%A WANG Yuan
%A FAN Yu-Shun
%A <br>王远
%A 范玉顺
%J 软件学报
%D 2007
%I 
%X In order to describe the temporal aspect of workflow model and verify the temporal consistency,a method based on temporal logic and model checking for modeling and verifying time constraint workflows is presented.By this method,the first order logic is used to model workflow including its basic temporal information, temporal logic is used to model the time constraints,and model checking is used to analyze and verify the temporal consistency.The method can be used to verify any time constraints that can be described by temporal logic.Also the method can offer a counterexample of workflow instance to the time constraint which can not pass the verification. Finally,the method is validated through a case study.
%K workflow
%K time constraints
%K verification
%K temporal logic<br>工作流
%K 时序约束
%K 验证
%K 时序逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=4E6BEFB947B11877&yid=A732AF04DDA03BB3&vid=13553B2D12F347E8&iid=9CF7A0430CBB2DFD&sid=8BA849EBE34B1882&eid=8CE64D83ED9F3237&journal_id=1000-9825&journal_name=软件学报&referenced_num=5&reference_num=15