Updating workflow models with correct steps and states