时态工作流过程模型及其合理性验证-软件学报.PDF

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.21, No.6, June 2010, pp.1233− 1253 doi: 10.3724/SP.J.1001.2010.03608 Tel/Fax: +86-10 © by Institute of Software , the Chinese Academy of Sciences . All rights reserved. ∗ 1+ 1+ 2 1 1 , , , , 1( , 510275) 2( , 510275) Temporal Workflow Process Model and Its Soundness Verification 1+ 1+ 2 1 1 YU Yang , TANG Yong , PAN Mao-Lin , ZHENG Ting-Ting , MAI Jian-Bin 1(School of Information Science and Technology, Sun Yat-Sen University, Guangzhou 510275, China) 2(School of Software, Sun Yat-Sen University, Guangzhou 510275, China) + Corresponding author: E-mail: yuy@, issty@ Yu Y, Tang Y, Pan ML, Zheng TT, Mai JB. Temporal workflow process model and its soundness verification. Journal of Software, 2010,21(6):1233−1253. /1000-9825/3608.htm Abstract : To improve workflow products, handling of the validity of information, temporal workflow is presented as a new concept by introducing time into workflow concept model as a dimension, which leads to time attributes being assigned to all workflow basic concepts and relationships between them. Based on the research on the expression and calculation of temporal information and the process meta-model of temporal workflow, through mapping the concepts in the meta-model into the elements of Petri Net, a temporal workflow process model, TPWF-net, is presented, which can describe the process, resource, case