Design and control of workflow processes : business process management for the service industry