Why Do We Actually Need the Pi-Calculus for Business Process Management?