工作流时序约束模型分析与验证方法.pdfVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software, Vol.18, No.9, September 2007, pp .2 153−2161 http://www.j DOI: 10. 1360/jos1 82153 Tel/Fax : +86-10 © 2007 by Journal of Software. All rights reserved. ∗ 工作流时序约束模型分析与验证方法 + 王 远 , 范玉顺 (清华大学 自动化系,北京 100084) A Method of Time Constraint Workflow Model Analysis and Verification +