Business processes modelling and diagnosis