Simulation, verification and automated composition of web services