Metagraph transformations and workflow analysis

Although workflow and process management have become important areas of research and development, there are no methods available yet for formal modeling and analysis of workflow systems. Available systems are largely limited to graphical visualization of workflows. The authors have developed an approach to formal analysis of workflows represented using a graph theoretic construct called a metagraph. They show how certain graph-theoretic transformations on a workflow metagraph can be used to derive orthogonal metagraph representations that facilitate analysis of various dependencies between workflow components