Analysis and improvement of business process models using spreadsheets