Business Process Management: A Rigorous Approach