Verification of workflow soundness is a problem that has not been solved well in the workflow research. Many workflow management systems lack of the effective tolls which can guarantee the correctness of workflow. In this paper, a necessary condition of sound workflow based on the event balance is put forward. Theorem of event balance in the workflow execution history is proved. Also the calculation of event balance is introduced in the workflow model in order to analyze the model structure which may destroy the soundness of workf;ow.This method is not bouud to any specific workflow model so that it can be used in a wide range of models.Also this method can be finished in polynomial time.
[1] Luo, Hai-bin, Fan, Yu-shun, Wu, Cheng. The overview of workflow technology. Journal of Software, 2000,11(7):899~907 (in Chinese).
[2] van der Aalst, W.M.P. Verification of workflow nets. In: Azéma, P., ed. Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science 1248, Berlin: Springer-Verlag, 1997. 407~426.
[3] Hofstede, A.H.M., Orlowska, M.E., Rajapakse, J. Verification problems in conceptual workflow specifications. In: Thalheim, B., ed. Proceedings of the 15th International Conference on Conceptual Modeling (ER'96). Lecture Notes in Computer Science 1157, Cottbus: Springer-Verlag, 1996. 73~88.
[4] Bonner, A.J. Workflow, transactions and datalog. In: ACM Symposium on Principles of Database Systems (PODS). 1999. 294~305.
[5] Davulcu, H., Kifer, M., Ramakrishnan, C.R., et al. Logic based modeling and analysis of workflows. In: ACM Symposium on Principles of Database Systems (PODS). 1998. 25~33.