Modelling business processes for the purpose of redesign