Business process modeling and simulation: state of the art and MSaaS opportunities