Data Flow and Validation in Workflow Modelling
Analyzing process models using graph reduction techniques