Design and Control of Workflow Processes: Business Process Management for the Service Industry (Lecture Notes in Computer Science, Band 2617)