Temporal workflow process model and its soundness verification

被引：3
|
作者：
Yu Y. [1 ]
Tang Y. [1 ]
Pan M.-L. [2 ]
Zheng T.-T. [1 ]
Mai J.-B. [1 ]
机构：
[1] School of Information Science and Technology, Sun Yat-Sen University
[2] School of Software, Sun Yat-Sen University
来源：
Ruan Jian Xue Bao/Journal of Software | 2010年 / 21卷 / 06期
关键词：
Petri net; Process model; Soundness; Temporal workflow;
D O I：
10.3724/SP.J.1001.2010.03608
中图分类号：
学科分类号：
摘要：
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 and their time attributes in one model synthetically. Then, some theorems are proved, which include structural equipollence between TPWF-net and WF-net, and the soundness of free-choice synchronal TPWF-net. It is also proved that well-structured TPWF-net can be decided in polynomial time. Finally, a structured modeling method of TPWF-net and a structure-simplified method of model verification are presented. Temporal workflow makes it more comprehensive to describe and analyze the time-related problems in workflow area. A temporal workflow engine prototype based on TPWF-net has been implemented and applied in some projects supported by local government. © by Institute of Software, the Chinese Academy of Sciences. All rights reserved.
引用
收藏
页码：1233 / 1253
页数：20
相关论文
共 22 条
  • [1] Hollingsworth D., The workflow reference model
  • [2] Yu Y., Tang Y., Tang N., Ye X.P., Liang L., A meta model of temporal workflow and its formalization, Proc. of the 3rd Int'l Conf. on Grid and Cooperative Computing, pp. 987-992, (2004)
  • [3] Yu Y., Tang Y., Liang L., Pan Y., Tang N., Analysis of temporal extension of a workflow meta-model, Mini-Micro System, 27, 8, pp. 1526-1530, (2006)
  • [4] Zhuge H., Cheung T.Y., Pung H.K., A timed workflow process model, The Journal of Systems and Software, 55, pp. 231-243, (2001)
  • [5] Du S.Z., Tan J.R., Lu G.D., An extended time workflow model based on TWF-net and its application, Journal of Computer Research and Development, 40, 4, pp. 524-530, (2003)
  • [6] Eder J., Panagos E., Pozewaunig H., Rabinovich M., Time management in workflow systems, Proc. of the 3rd Int'l Conf. on Business Information Systems, pp. 265-280, (1999)
  • [7] Ling S., Schmidt H., Time Petri nets for workflow modeling and analysis, Proc. of the IEEE Int'l Conf. on System, Man and Cybernetics, pp. 3039-3044, (2000)
  • [8] Li H.F., Fan Y.S., Workflow model analysis based on time constraint Petri nets, Journal of Software, 15, 1, pp. 17-26, (2004)
  • [9] Li W., Zeng G.Z., Wang X.L., A workflow model based on timed Petri net, Journal of Software, 13, 8, pp. 1666-1671, (2002)
  • [10] Zhou J.T., Shi M.L., Ye X.M., A method for semantic verification of workflow processes based on Petri net reduction technique, Journal of Software, 16, 7, pp. 1242-1251, (2005)
123