Stav dette: Business process management: a rigorous approach