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.
展开▼