Towards Validating Cloud Service Providers Using Business Process Modelling and Simulation