Graph Based Workflow Validation
Content Management Systems in the field of content production and publishing need to monitor the progress of large numbers of simultaneously evolving workflows. In order to make such systems adaptive to the varying needs of their organizations, the utilization of a graphical editor for workflows has been proposed, thus generating the hazard of the specification of erroneous and invalid workflows. In this paper we provide a formal modeling for workflows and then, based on it, we explain how the validity of a simple workflow can be evaluated through the examination of the transitive closure of its graph. Continuing to the more general case, we develop a problem transformation methodology that allows for all workflows to be validated using a transitive closure examination approach. The Python implementation of our methodology is provided as is freely to all interested parties.
KeywordsTransitive Closure Content Management System Graphic Artist Dummy Node Multiple Graph
- 3.W. M. P. van der Aalst, M. Weske, G. Wirtz, Advanced topics in workflow management: issues, requirements, and solutions, Journal of Integrated Design and Process Science 7(3), 2003.Google Scholar
- 4.M. M. Compton, S. Wolfe, Intelligent validation and routing of electronic forms in adistributed workflow environment, Proceedings of the Tenth Conference on Artificial Intelligence for Applications, 1994.Google Scholar
- 5.S. Sadiq, M. Orlowska, W. Sadiq, C. Foulger, Data flow and validation in workflow modeling, Proceedings of the 15th Australasian database conference, 2004.Google Scholar
- 6.M. Wallace, S. Kollias, Two Algorithms For Fast Incremental Transitive Closure Of Sparse Fuzzy Binary Relations, International Journal of Computational Methods, in press.Google Scholar